Rechnerarchitektur und Rechnerentwurf - Wintersemester 03/04
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt. 08. Dezember 2003, Ruediger Ebendt: "Algorithmen zur Bestimmung optimaler Variablenordnungen von BDDs" 15. Dezember 2003, Harald Hiss: "Beweis von Sicherheitseigenschaften am Modell von CVS Server" 26. Januar 2004, Markus Degen: "Implementierung eines Schematic Viewers zur Visualisierung von Designs auf RT-Ebene" 02. Februar 2004, Bettina Braitling: "Modellierung von Bridging Faults: Eine Uebersicht mit Schwerpunkt auf dem resistiven Modell" 09. Februar 2004, Felix Klaedtke: "Some Ideas on an Automata-Based Approach of Linear Hybrid System Verification" |
| Kommentar |
Oberseminar |