default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID11. 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
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.
last updated on 2024-11-15 19:19 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
