Department Informatik

OXDBS - Extension of a native XML Database System with Validation by Consistency Checking of OWL-DL Ontologies (2010) Neumann C, Fischer T, Lenz R Conference contribution, Original article Software Design of a Massively Parallel Rigid Body Framework (2010) Iglberger K Thesis Dynamische Simulation von Halbleiterlasern basierend auf neuartigen Finiten Elementen (2010) Berneker B Thesis Actor-oriented Modeling of Driver Assistance Systems for Efficient Multi-Core ECU Implementation (2010) Kiesel R, Löhlein O, Terzis A, Streubühr M, Haubelt C, Teich J Conference contribution LIKWID performance tools (2010) Eitzinger J, Hager G, Wellein G, Meier M Conference contribution Digitale Hardware/Software-Systeme: Spezifikation und Verifikation (2010) Haubelt C, Teich J Authored book New Directions for FPGA IP Core Watermarking and Identification (2010) Ziener D, Teich J Conference contribution Integrating Hardware/Firmware Verification Efforts Using SystemC High-Level Models (2010) Falk J, Zebelein C, Haubelt C, Teich J, Dorsch R Conference contribution Storyboard: Optimistic Deterministic Multithreading (2010) Kapitza R, Schunter M, Cachin C, Stengel K, Distler T Conference contribution An Orthogonal Matching Pursuit Algorithm for Image Denoising on the Cell Broadband Engine (2010) Bartuschat D, Stürmer M, Köstler H Conference contribution