![](https://dblp1.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp1.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp1.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp1.uni-trier.de/img/search.dark.16x16.png)
default search action
11. MBMV 2008: Freiburg, Germany
- Christoph Scholl, Stefan Disch:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Freiburg, Germany, March 3-5, 2008. Shaker 2008 - Ralph Görgen, Frank Oppenheimer, Andreas Schallenberg, Wolfgang Nebel:
Analyse und Optimierung von dynamisch rekonfigurierbaren Systemen mittels Ereignisvisualisierung. MBMV 2008: 1-10 - Henning Kleen, Frank Oppenheimer, Wolfgang Nebel:
Effizienzanalyse synthetisierter Hardware-Software-Kommunikation am Beispiel eines hardwarebeschleunigten MPEG-Audio-Dekoders. MBMV 2008: 11-20 - Matthias Müller, Joachim Gerlach, Wolfgang Rosenstiel:
Abstrakte Modellierung von Hardware/Software-Systemen unter Berücksichtigung von RTOS-Funktionalität. MBMV 2008: 21-30 - Henning Zabel, Wolfgang Müller:
Präzises Interrupt Scheduling in abstrakten RTOS Modellen in SystemC. MBMV 2008: 31-39 - Martin Oberkönig, Martin Schickel, Hans Eveking:
Eine quantitative Vollständigkeitsanalyse für Eigenschaftssätze. MBMV 2008: 41-50 - Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz, Oliver Wienand, Evgeny Karibaev:
Modeling of Custom-Designed Arithmetic Components for ABL Normalization. MBMV 2008: 51-60 - Bernard Schmidt, Slava Bulach, Katharina Weinberger, Markus Wedler:
Formale Verifikation einer Hardware-Implementierung des LIN-Protokoll Kontrollers. MBMV 2008: 61-70 - Benjamin Lutz, Christian Köllner, Klaus D. Müller-Glaser:
Eine durchgängige und werkzeuggestützte Entwicklungsumgebung für eingebettete Hardware/Software Systeme. MBMV 2008: 71-80 - Michael Vogel, Mario Schölzel:
Automatic Generation of Cycle Accurate SystemC Models for Application Specific Clustered VLIW Processors. MBMV 2008: 81-90 - Valerij Matrose:
Platzierverfahren zur effizienten Nutzung der lokalen Verdrahtungsressourcen hierarchischer FPGA-Architekturen. MBMV 2008: 91-98 - Ralf Wimmer, Alexander Kortus, Marc Herbstritt, Bernd Becker:
The Demand for Reliability in Probabilistic Verification. MBMV 2008: 99-108 - Jens Gladigau, Frank Blendinger, Christian Haubelt, Jürgen Teich:
Symbolische Modellprüfung Aktor-orientierter High-level SystemC-Modelle mit Intervalldiagrammen. MBMV 2008: 109-118 - Andreas Morgenstern, Klaus Schneider, Sven Lamberti:
Generating Deterministic $\omega$-Automata for most LTL Formulas by the Breakpoint Construction. MBMV 2008: 119-128 - Frank Hannig, Holger Ruckdeschel, Jürgen Teich:
The PAULA Language for Designing Multi-Dimensional Dataflow-Intensive Applications. MBMV 2008: 129-138 - Martin Streubühr, Michael Jäntsch, Christian Haubelt, Jürgen Teich, Axel Schneider:
Semi-Automatic Generation of mixed Hardware/Software Prototypes from Simulink Models. MBMV 2008: 139-148 - Carsten Gremzow:
Simulation and Profiling of Virtual Instruction Set Architectures for HW/SW Co Design. MBMV 2008: 149-158 - André Sülflow, Görschwin Fey, Roderick Bloem, Rolf Drechsler:
Debugging Design Errors by Using Unsatisfiable Cores. MBMV 2008: 159-168 - Daniel Große, Robert Wille, Ulrich Kühne, Rolf Drechsler:
Using Contradiction Analysis for Antecedent Debugging in Bounded Model Checking. MBMV 2008: 169-178 - Jens Brandt, Klaus Schneider, Adrian Willenbücher:
Hardware Acceleration for Model Checking. MBMV 2008: 179-187
![](https://dblp1.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.