Abstract is missing.
- Analyse und Optimierung von dynamisch rekonfigurierbaren Systemen mittels EreignisvisualisierungRalph Görgen, Frank Oppenheimer, Andreas Schallenberg, Wolfgang Nebel. 1-10
- Effizienzanalyse synthetisierter Hardware-Software-Kommunikation am Beispiel eines hardwarebeschleunigten MPEG-Audio-DekodersHenning Kleen, Frank Oppenheimer, Wolfgang Nebel. 11-20
- Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-FunktionalitätMatthias Müller, Joachim Gerlach, Wolfgang Rosenstiel. 21-30
- Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemCHenning Zabel, Wolfgang Müller 0003. 31-39
- Eine quantitative Vollständigkeitsanalyse für EigenschaftssätzeMartin Oberkönig, Martin Schickel, Hans Eveking. 41-50
- Modeling of Custom-Designed Arithmetic Components for ABL NormalizationEvgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev. 51-60
- Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll KontrollersBernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler. 61-70
- Eine durchgängige und werkzeuggestützte Entwicklungsumgebung für eingebettete Hardware/Software SystemeBenjamin Lutz, Christian Köllner, Klaus D. Müller-Glaser. 71-80
- Automatic Generation of Cycle Accurate SystemC Models for Application Specific Clustered VLIW ProcessorsMichael Vogel, Mario Schölzel. 81-90
- Platzierverfahren zur effizienten Nutzung der lokalen Verdrahtungsressourcen hierarchischer FPGA-ArchitekturenValerij Matrose. 91-98
- The Demand for Reliability in Probabilistic VerificationRalf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker. 99-108
- Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit IntervalldiagrammenJens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich. 109-118
- Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint ConstructionAndreas Morgenstern, Klaus Schneider, Sven Lamberti. 119-128
- The PAULA Language for Designing Multi-Dimensional Dataflow-Intensive ApplicationsFrank Hannig, Holger Ruckdeschel, Jürgen Teich. 129-138
- Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink ModelsMartin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider. 139-148
- Simulation and Profiling of Virtual Instruction Set Architectures for HW/SW Co DesignCarsten Gremzow. 149-158
- Debugging Design Errors by Using Unsatisfiable CoresAndré Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler. 159-168
- Using Contradiction Analysis for Antecedent Debugging in Bounded Model CheckingDaniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler. 169-178
- Hardware Acceleration for Model CheckingJens Brandt, Klaus Schneider, Adrian Willenbücher. 179-187