Department Informatik

The Structure of a Type-Safe Operating System (2003) Golm M Thesis Using test plans for bayesian modeling (2003) Deventer R, Denzler J, Niemann H, Kreis O Conference contribution, Conference Contribution A variational multigrid for computing the optical flow (2003) Kalmoun EM, Rüde U Other publication type A lexicon for Metaphors and Idioms (2003) Dormeyer R, Fischer I Conference contribution, Original article Accelerating Design Space Exploration (2003) Haubelt C, Teich J Conference contribution The EMBASSI Speech Corpus (2003) Haderlein T, Nöth E Other publication type Hierarchical hybrid grids: A framework for efficient multigrid on high performance architectures (2003) Bergen B, Hülsemann F Other publication type Solving hierarchical optimization problems using MOEAs (2003) Teich J, Haubelt C, Mostaghim S, Tyagi A Book chapter / Article in edited volumes SAT-based techniques in system synthesis (2003) Haubelt C, Teich J, Feldmann R, Monien B Conference contribution, Conference Contribution Fault tolerance analysis of distributed reconfigurable systems using SAT-based techniques (2003) Feldmann R, Haubelt C, Monien B, Teich J Conference contribution