Oberseminar Rechnerarchitektur und Systementwurf - Summer term 07
overview
| description |
Recent work, especially from the field CAD for integrated circuits and systems, is presented. September 14 2007: Vanessa Struve: "01X-Brute-Force Lifting fuer Gegenbeispiele beim Bounded Model Checking von Blackbox Designs" June 25 2007: Bettina Braitling: "Bit-parallele Simulation von resistiven Brückenfehlern" June 13 2007: Ben Kremer: "Implementation und Evaluation von Algorithmen zur Minimierung von symbolisch dargstellten Automaten" June 4 2007: Eric Nyaben: "Evaluierung unterschiedlicher SAT-Solver und SAT-Instanzen hinsichtlich des Verhaltens des dynamischen Klauseln-zuVariablen-Verhaeltnisses" April 12 2007: Nils Langner: "Erstellung und Erprobung eines USB Profils für Sick Geräte mit der internen Kommunikationsschnittstelle NAPI" April 5 2007: Johannes Traub: "Umsetzung eines SAT/LP-Algorithmus auf moderne SAT- und LP-Solver" |
| comment |
Graduate seminar |