Uni-Logo
English       Login
Rechnerarchitektur
        Startseite         |         Institut für Informatik         |         Technische Fakultät
 
Veranstaltung
Übersicht  |  Zeit/Ort  |  Veranstalter
Materialien
Vorlesungsmaterial
Leistungsnachweis
Prüfungskriterien


Proseminar: Entwurfsmethoden - Wintersemester 05/06

Zeit / Ort


Vorlesung Vorstellung des Proseminars am Montag, 24.10. (Semesterbeginn), von 16-17.30 Uhr in Raum 101-026

Mi, 14 - 16 Uhr, Raum 51-00-034
Übungen Zeitplan:

  • 24.10.05: Vorstellung des Proseminars
  • 26.10.05: Vergabe der Themen
  • 02.11.05: Einführungsvorlesung
  • 09.11.05: Fragestunde
  • 16.11.05: Fragestunde
  • 23.11.05: OBDDs und Variablenordnungen
  • 30.11.05: OKFDDs und Zerlegungstypen (Ziaie, Najib)
  • 07.12.05: SAT-Techniken (Meyer, Jan)
  • 14.12.05: And-Inverter-Graphen (Fuchs, Markus)
  • 21.12.05: Arithmetische Schaltkreise (Teil 1) (Struve, Vanessa)
  • 11.01.06: Arithmetische Schaltkreise (Teil 2) (Bertsch, Holger)
  • 18.01.06: Partitionierung von (Hyper-)Graphen (Spyra, Damian)
  • 25.01.06: Globales Routing (Wehrle, Dennis)
  • 01.02.06: Lineare Optimierung mit dem Simplex-Verfahren (Benites, Guillermo)
  • 08.02.06: Ganzzahlige lineare Optimierung (1) (Emler, Jessica)
  • 15.02.06: Ganzzahlige lineare Optimierung (2) (Wiedermann, Norbert)