Rechnerarchitektur und Rechnerentwurf - winter term 04/05

overview

description

Recent work, especially from the field CAD for integrated circuits and systems, is presented.

08.11.2004 Matthew Lewis "A Soft Error Emulation System for Logic Circuits"

29.11.2004 Ralf Wimmer "Lineare Optimierung und Separierung mit BDDs"

01.12.2004 Alejandro Czutro "Evolutionary Optimization in Code-Based Test Compression"

08.12.2004 Stefan Spinner "A System for Determining the Impact of Mechanical Stress on the Reliability of MEMS"

??.??.2004 Erika Abraham-Mumm "Bounded model checking fuer lineare hybride

comment

Graduate Seminar