Proseminar: Entwurfsmethoden - Wintersemester 08/09

Zeit / Ort

Vorlesung

Vorbesprechung und Themenvergabe:

22.10.2008, 11 Uhr c.t., Lehrstuhlbesprechungsraum Geb. 51, Erdgeschoss (zwischen Fachschaftsraum und Hardwarepool)

Abgabe der Vortragsfolien:

bis zum 22. Januar 2009

Abgabe der schriftlichen Ausarbeitung:

bis zum 31. Januar 2009

VortrУЄge:

Donnerstag, 12. Februar 2009: 09:00-10:00Т Т Т Т Т SAT

10:15-11:15Т Т Т Т Т Testen

11:30-12:30Т Т Т Т Т Fehlersimulation

12:45-13:45Т Т Т Т Т Testmustergenerierung
Freitag, 13. Februar 2009: 09:00-10:00Т Т Т Т Т Arithmetik 2

10:15-11:15Т Т Т Т Т Lineare Optimierung

11:30-12:30Т Т Т Т Т Ganzzahlige lineare Optimierung
Montag, 16. Februar 2009: 09:00-10:00Т Т Т Т Т OBDDs 1

10:15-11:15Т Т Т Т Т OBDDs 2

11:30-12:30Т Т Т Т Т (FR)AIGs