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

An Architecture Description Language for Massively Parallel Processor Architectures (2006) Kupriyanov O, Hannig F, Kissler D, Teich J, Schaffer R, Merker R Conference contribution Timing Analysis of Systems of Communicating Tasks with Internal State (2006) Teich J Other publication type Assertion-Based Verification of Transaction Level Models (2006) Niemann B, Haubelt C Conference contribution Modeling of Interconnection Networks in Massively Parallel Processor Architectures (2006) Kupriyanov O, Hannig F, Kissler D, Teich J, Lallet J, Sentieys O, Pillement S Other publication type Reconfigurable Computing Architectures (2006) Reimann F Conference contribution Automatic Model-Based Design Space Exploration for Embedded Systems - A System Level Approach (2005) Haubelt C Thesis Automatische Verification von ADeVA-Spezifikationen (2005) Dinkel T, Haubelt C, Heinkel U, Schlichter T, Teich J Conference contribution Evaluation of Watermarking methods for FPGA-based IP-cores (2005) Ziener D, Teich J Other publication type Online hardware/software partitioning in networked embedded systems (2005) Streichert T, Haubelt C, Teich J Conference contribution, Conference Contribution Distributed HW/SW-partitioning for embedded reconfigurable networks (2005) Streichert T, Haubelt C, Teich J Conference contribution, Conference Contribution