Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien Rechnerarchitektur und Rechnerentwurf - Wintersemester 04/05
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt. 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" 20.12.2004 Michael Kreutzer "Skalierbare und robuste Dienstfindung in mobilen Ad-hoc-Netzen" ??.??.2004 Erika Abraham-Mumm "Bounded model checking fuer lineare hybride Systeme" |
| Kommentar |
Oberseminar |