Oberseminar Rechnerarchitektur und Systementwurf - winter term 05/06
overview
| description |
Recent research work, especially from the field CAD for integrated circuits and systems, is presented. 14.11.2005 Stefan Spinner: "Electromechanical Waferprober for characterization of Microstructure" 28.11.2005 Thomas Kmieciak: "Strukturelles Lernen beim Bounded Model Checking unter Verwendung von AND/INV-Graphen" |
| comment |
graduate seminar |