Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter


Oberseminar Rechnerarchitektur und Systementwurf - Sommersemester 05

Übersicht


Beschreibung Es werden aktuelle Arbeiten, insbesondere aus dem Bereich CAD für integrierte Schaltungen und Systeme, vorgestellt.

Montag, 18. Juli 2005: Tobias Schubert - "Über die Parallelisierung des SAT-Solver MIRA"
Donnerstag, 30. Juni - Freitag, 1. Juli, Blockseminar Fachschaftshaus Schauinsland
Erika Abraham - "Bounded Model Checking für hybride Systeme"
Jochen Eisinger - "Deciding First-Order Logic with Real Addition: An Automata-Based Approach"
Thomas Kmieciak - "Symmetrieausnutzung bei And-Inverter-Graph-basierten Bounded Model Checking"
Ilia Polian - "Transiente Fehler und Online-BIST"
Shanshan Yang - "Simulation von transienten Fehlern"
Alejandro Czutro - "Test auf Signalintegrität"
Thomas Eschbach - "Aktueller Stand der Schaltkreisvisualisierung"
Marc Herbstritt - "Bounded Invariant Checking for Blackbox Designs"
Tobias Nopper - "Symbolic Model Checking for Incomplete Designs - Entwicklungen und Ideen"
Matthias Büche - "Fehlerdiagnose"
Frank Schmiedle - "Dependability Analysis, Error detection - Diagnosis by Black Box Model Checking"
Piet Engelke - "Evaluation des Aggressor-Victim-Bridging-Fehlermodells"
Thomas Fiehn - "Testmethoden für reversible und Quantenschaltkreise"
Ralf Wimmer - "Symbolische Berechnung von Branching Bisimulation"
Matthew Lewis - "Speedup Techniques Utilized in the MIRA SAT Solver"
Montag, 11.April 2005: Markus Degen - "Uebertragen von Klauseln im Kontext von Planen als Erfuellbarkeit" (Diplomarbeitsvortrag)
Kommentar Oberseminar