Oberseminar Rechnerarchitektur und Systementwurf - Wintersemester 06/07
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt. 30.03.2007: Alexander Kortus: "Entwicklung eines probabilistischen Model Checkers für Discrete-time Markov Chains mit exakter Arithmetik" 30.03.2007: Georges Morbé: "Korrektheitsbeweis für einen semi-symbolischen Algorithmus für Paritätsspiele" 16.02.2007: Larissa Wissmann: "Modellierung realer Zugfahrpäne und formale Analyse durch Modellprüfung" 07.02.2007: Short Progress Talks der Mitarbeiter 17.01.2007: Stefan Disch: "Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets" 15.01.2007: Short Progress Talks der Mitarbeiter 20.12.2006: Damian Nowroth: "Metriken fuer akzeptables Verhalten in der Bildverarbeitung" 07.11.2006: Jochen Eisinger: "Yices" 06.11.2006: Stefan Kupferschmid: "Verwendung der Craigschen Interpolanten in der Modellprüfung" 30.10.2006: Natalia Kalinnik: "Kompositionelles BMC fuer Lineare Hybride Automaten" 04.10.2006: Massimo Narizzano: "QBF Solving @ Starlab" |
| Kommentar |
Oberseminar |