Oberseminar Rechnerarchitektur und Systementwurf - Sommersemester 07
Übersicht
| Beschreibung |
Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt. 14. September 2007: Vanessa Struve: "01X-Brute-Force Lifting fuer Gegenbeispiele beim Bounded Model Checking von Blackbox Designs" 25. Juni 2007: Bettina Braitling: "Bit-parallele Simulation von resistiven Brückenfehlern" 13. Juni 2007: Ben Kremer: "Implementation und Evaluation von Algorithmen zur Minimierung von symbolisch dargstellten Automaten" 4. Juni 2007: Eric Nyaben: "Evaluierung unterschiedlicher SAT-Solver und SAT-Instanzen hinsichtlich des Verhaltens des dynamischen Klauseln-zuVariablen-Verhaeltnisses" 12. April 2007: Nils Langner: "Erstellung und Erprobung eines USB Profils für Sick Geräte mit der internen Kommunikationsschnittstelle NAPI" 5. April 2007: Johannes Traub: "Umsetzung eines SAT/LP-Algorithmus auf moderne SAT- und LP-Solver" |
| Kommentar |
Oberseminar |