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

Formalizing TLM with Communicating State Machines (2007) Niemann B, Haubelt C, Uribe M, Teich J Book chapter / Article in edited volumes A SystemC-based Design Methodology for Digital Signal Processing Systems (2007) Haubelt C, Falk J, Keinert J, Schlichter T, Streubühr M, Deyhle A, Hadert A, Teich J Journal article Simulative buffer analysis of local image processing algorithms described by windowed synchronous data flow (2007) Keinert J, Haubelt C, Teich J Conference contribution, Conference Contribution Reliability-aware system synthesis (2007) Teich J Conference contribution, Conference Contribution Modeling of interconnection networks in massively parallel processor architectures (2007) Kupriyanov O, Hannig F, Kissler D, Teich J, Lallet J, Sentieys O, Pillement S Conference contribution Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (2007) Haubelt C, Teich J Authored book Synthese zuverlässiger und flexibler Systeme (2007) Glaß M, Lukasiewycz M, Haubelt C, Streichert T, Teich J Conference contribution Exploration, Partitioning and Simulation of Reconfigurable Systems (2007) Dittmann F, Rammig F, Streubühr M, Haubelt C Journal article Design space exploration of reliable networked embedded systems (2007) Streichert T, Glaß M, Haubelt C, Teich J Journal article Communication Aware Optimization of the Task Binding in Hardware/Software Reconfigurable Networks (2007) Streichert T, Strengert C, Koch D, Teich J, Haubelt C Journal article