Browsing Computer Engineering / Bilgisayar Mühendisliği by Type "report"
Now showing items 1-3 of 3
(Izmir Institute of Technology, 2017)This handbook includes a part of the lecture notes of CENG 311 Computer Architecture course given in the undergraduate program of the Department of Computer Engineering at Izmir Institute of Technology. One aim of this ...
(INRIA, 2006-05)We present a formal approach to implement and certify fault-tolerance in real-time embedded systems. The fault-intolerant initial system consists of a set of independent periodic tasks scheduled onto a set of fail-silent ...
(2016-12-02)This report presents the transformation of behavioral VHDL programs to Timed Automata.