Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

Symbolic system synthesis using answer set programming (2013) Andres B, Gebser M, Schaub T, Haubelt C, Reimann F, Glaß M Conference contribution Automatic Success Tree-Based Reliability Analysis for the Consideration of Transient and Permanent Faults (2013) Aliee H, Glaß M, Reimann F, Teich J Conference contribution Strategies for finding good local guides in multi-objective particle swarm optimization (MOPSO) (2013) Mostaghim S, Teich J Conference contribution, Conference Contribution Run-time adaption for highly-complex multi-core systems (2013) Henkel J, Narayanan V, Parameswaran S, Teich J Conference contribution, Conference Contribution Symbolic Parallelization of Loop Programs for Massively Parallel Processor Arrays (2013) Teich J, Tanase AP, Hannig F Conference contribution Code Generation for GPU Accelerators from a Domain-Specific Language for Medical Imaging (2013) Membarth R Thesis Szenarienbasierte Integration von Diagnosefunktionalität in E/E Architekturen (2013) Reimann F, Glaß M, Teich J, Abelein U Conference contribution Accuracy and Performance Analysis of Harris Corner Computation on Tightly-Coupled Processor Arrays (2013) Sousa É, Tanase AP, Hannig F, Teich J Conference contribution Transactor-based Prototyping of Heterogeneous Multiprocessor System-On-Chip Architectures (2013) Boppu S, Lari V, Hannig F, Teich J Conference contribution Invasive Computing - Common Terms and Granularity of Invasion (2013) Teich J, Schröder-Preikschat W, Herkersdorf A Authored book