Department Informatik

An Open Alternative for SMT-based Verification of SCADE Models (2014) Basold H, Günther H, Huhn M, Milius S Conference contribution Fine-grained Change Detection in Structured Text Documents (2014) Dohrn H, Riehle D Conference contribution, Original article Scoring and Re-Ranking of ASR Hypotheses Using Phoneme Error Models (2014) Hacker M, Nöth E Conference contribution White Paper: Programming Abstractions for Data Locality (2014) Tate A, Kamil A, Dubey A, Größlinger A, Chamberlain B, Goglin B, Edwards CH, et al. Conference contribution The Invasive Network on Chip - A Multi-Objective Many-Core Communication Infrastructure (2014) Weichslgartner A, Teich J Conference contribution Non-Intrusive Integration of Advanced Diagnosis Features in Automotive E/E-Architectures (2014) Abelein U, Cook A, Engelke P, Glaß M, Reimann F, Gómez LR, Russ T, et al. Conference contribution Multi-Variant-based Design Space Exploration for Automotive Embedded Systems (2014) Graf S, Glaß M, Teich J, Lauer C Conference contribution Multi-Objective Distributed Run-time Resource Management for Many-Cores (2014) Wildermann S, Glaß M, Teich J Conference contribution Minimizing Scrubbing Effort through Automatic Netlist Partitioning and Floorplanning (2014) Schmidt B, Ziener D, Teich J Conference contribution Massively Parallel Processor Architectures for Resource-aware Computing (2014) Lari V, Tanase AP, Hannig F, Teich J Conference contribution