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

Integrated Modeling Using Finite State Machines and Dataflow Graphs (2013) Falk J, Haubelt C, Zebelein C, Teich J Book chapter / Article in edited volumes A Rule-Based Quasi-Static Scheduling Approach for Static Islands in Dynamic Dataflow Graphs (2013) Falk J, Zebelein C, Haubelt C, Teich J Book chapter / Article in edited volumes Reliable Energy-Efficient Dynamic TDMA MAC Protocol for Wireless Body Area Networks (2013) Pourmohseni B, Eshghi M Journal article Model-Based Representation of Schedules for Dataflow Graphs (2013) Zebelein C, Haubelt C, Falk J, Teich J Conference contribution 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