|
|
|
Proseminar: Entwurfsmethoden - winter term 08/09
time / place
- 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
|
|
