Department Informatik

Software-Tests mit der FAUmachine (2005) Sieh V Conference contribution 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 A Lightweight Formal Method for the Prediction of Non-Functional System Properties (2005) Barner J Thesis Input Abstraction Layer - Design and Implementation of an Extended Input Interface (2005) Hönig T Thesis Changing Labels in the Double-Pushout Approach Can Be Treated Categorically (2005) Schneider HJ Book chapter / Article in edited volumes Automated Generation and Evaluation of Dataflow-Based Test Data for Object-Oriented Software (2005) Oster N Conference contribution, Original article Partial Configuration Design and Implementation Challenges on Xilinx Virtex FPGAs (2005) Ahmadinia A, Bobda C, Majer M, Kurapati R, Niyonkuru A Conference contribution Performance of Scientific Applications on Modern Supercomputers (2005) Deserno F, Hager G, Brechtefeld F, Wellein G Conference contribution SPI-Workbench – Modellierung, Analyse und Optimierung eingebetteter Systeme (2005) Haubelt C, Jersak M, Richter K, Strehl K, Ziegenbein D, Ernst R, Teich J, Thiele L Book chapter / Article in edited volumes