Oberseminar Rechnerarchitektur und Systementwurf - winter term 06/07
overview
| description |
Recent work, especially from the field CAD for integrated circuits and systems, is presented. Mar 30 2007: Alexander Kortus: "Entwicklung eines probabilistischen Model Checkers für Discrete-time Markov Chains mit exakter Arithmetik" Mar 30 2007: Georges Morbé: "Korrektheitsbeweis für einen semi-symbolischen Algorithmus für Paritätsspiele" Feb 16 2007: Larissa Wissmann: "Modellierung realer Zugfahrpäne und formale Analyse durch Modellprüfung" Feb 07 2007: Short progress talks of the assistants Jan 17 2007: Stefan Disch: "Combinational Equivalence Checking Using Incremental SAT Solving, Output Ordering, and Resets" Jan 15 2007: Short progress talks of the assistants Dec 20 2006: Damian Nowroth: "Metriken fuer akzeptables Verhalten in der Bildverarbeitung" Nov 07 2006: Jochen Eisinger: "Yices" Nov 06 2006: Stefan Kupferschmid: "Verwendung der Craigschen Interpolanten in der Modellprüfung" October 30 2006: Natalia Kalinnik: "Kompositionelles BMC fuer Lineare Hybride Automaten" October 04 2006: Massimo Narizzano: "QBF Solving @ Starlab" |
| comment |
Graduate seminar |