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