Department Informatik

Reparallelization and Migration of OpenMP Applications in Grid Environments (2009) Klemm M Thesis Modeling and Efficient Simulation of Complex System-on-a-Chip Architectures (2009) Kupriyanov O Thesis Designing Heterogeneous ECU Networks via Compact Architecture Encoding and Hybrid Timing Analysis (2009) Glaß M, Lukasiewycz M, Teich J, Bordoloi U, Chakraborty S Conference contribution OXDBS Erweiterung einer nativen XML-Datenbank um die Validierung und Konsistenzprüfung gegen eine OWL-Ontologie (2009) Neumann C, Lenz R, Hanisch S, Schiemann B Conference contribution Tapir: Language Support to Reduce the State Space in Model-Checking (2009) Veldema R, Philippsen M Conference contribution, Original article Speeding up a Lattice Boltzmann Kernel on nVIDIA GPUs (2009) Habich J, Zeiser T, Hager G, Wellein G Conference contribution A Scenario-Centric Approach for the Definition of the Formal Test Specifications of Reactive Systems (2009) Entin V, Siegl S, Kern A, Reichel M, Meyer-Wegener K Conference contribution, Original article Incorporating graceful degradation into embedded system design (2009) Glaß M, Haubelt C, Lukasiewycz M, Teich J Conference contribution, Conference Contribution Impact of loop tiling on the controller logic of acceleration engines (2009) Dutta H, Zhai J, Hannig F, Teich J Conference contribution, Conference Contribution CODES+ISSS 2007 guest editors' introduction (2009) Dutt N, Teich J Journal article, Editorial