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

A Design Methodology for Hardware Acceleration of Adaptive Filter Algorithms in Image Processing (2006) Dutta H, Hannig F, Heigl B, Hornegger H, Teich J Conference contribution Performance Analyses of Embedded Real-time Operating Systems using High-precision Counters (2006) Köker K, Membarth R, German R Conference contribution Automatic Test Case Generation with Model Checker NuSMV (2006) Bunin G, Schneider A, Haubelt C, Langer J, Heinkel U Conference contribution Formalizing TLM with Communicating State Machines (2006) Niemann B, Haubelt C Conference contribution Efficient Representation and Simulation of Model-Based Designs in SystemC (2006) Falk J, Haubelt C, Teich J Conference contribution A Dynamically Reconfigurable Weakly Programmable Processor Array Architecture Template (2006) Kissler D, Hannig F, Kupriyanov O, Teich J Conference contribution Improving system level design space exploration by incorporating SAT-solvers into multi-objective evolutionary algorithms (2006) Schlichter T, Lukasiewycz M, Haubelt C, Teich J Conference contribution, Conference Contribution A highly parameterizable parallel processor array architecture (2006) Kissler D, Kupriyanov O, Hannig F, Teich J Conference contribution, Conference Contribution Higher-dimensional packing with order constraints (2006) Teich J, Fekete SP, Köhler E Journal article Improving Automatic Design Space Exploration by Integrating Symbolic Techniques into Multi-Objective Evolutionary Algorithms (2006) Haubelt C, Schlichter T, Teich J Journal article