Oberseminar Rechnerarchitektur und Systementwurf - Wintersemester 05/06
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt. 14.11.2005 Stefan Spinner: "Electromechanical Waferprober for characterization of Microstructure" 28.11.2005 Thomas Kmieciak: "Strukturelles Lernen beim Bounded Model Checking unter Verwendung von AND/INV-Graphen" |
| Kommentar |
Oberseminar |