Rechnerarchitektur und Rechnerentwurf - winter term 03/04
overview
| description |
Recent work, especially from the field CAD for integrated circuits and systems, is presented. December 08 2003, Ruediger Ebendt: "Algorithms for the computation of optimal variable orderings of BDDs" December 15 2003, Harald Hiss: "On the proof of security properties based on the CVS server model" January 26 2004, Markus Degen: "Implementation of a schematic viewer for the visualization of RT-level designs" February 02 2004, Bettina Braitling: "Modelling of bridging faults: An overview with focus on the resistive model" February 09 2004, Felix Klaedtke: "Some Ideas on an Automata-Based Approach of Linear Hybrid System Verification" |
| comment |
Graduate Seminar |