default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID2. MBMV 1999: Braunschweig, Germany
- Matthias Mutz, Nikolaus Lange:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Braunschweig, Germany, February 22-24, 1999. Shaker 1999 - Holger Hinrichsen, Gerd Ritter, Hans Eveking:
Automatische Synthese und Verifikation von RISC-Prozessoren. MBMV 1999: 1-10 - Christian Blumenröhr:
A Formal Approach to Specify and Synthesize at the System Level. MBMV 1999: 11-20 - Bernd Stöhr, Utz G. Baitinger:
Eine neue Methode zur Spezifikation von komplexen Steuerwerken unter der Randbedingung der Synthese und eines kurzen Entwurfszyklus. MBMV 1999: 21-30 - Klaus Schneider, George Logothetis:
Abstraction of Systems with Counters for Symbolic Model Checking. MBMV 1999: 31-40 - Rolf Drechsler, Marc Herbstritt, Bernd Becker:
Grouping Heuristics for Word-Level Decision Diagrams. MBMV 1999: 41-50 - Thomas Lock, Michael Mendler:
Äquivalenz von annotierten Kontrollflussgraphen zur Darstellung von HLS-Ein-und Ausgaben bei Verwendung pfadbasierter Einplanungsverfahren. MBMV 1999: 51-60 - Matthias Mutz, Sebastian Steibl:
Formale Verifikation der Architekturverbesserung eines Viterbi Decoder IP Blocks. MBMV 1999: 61-70 - Frank Heuschen, Holger Schmitt, Klaus Waldschmidt:
Formale Modellierung der Partitionierung eines gemischt analog/digitalen Systems. MBMV 1999: 71-80 - Tom Barthel, Dietmar Müller, Jan Pauliuk:
Beschreibungsmittel und Werkzeuge für Spezifikationen heterogener Systeme. MBMV 1999: 81-90 - Jürgen Ruf, Thomas Kropf:
Modeling Real-Time Systems with I/O-Interval Structures. MBMV 1999: 91-100 - Christoph Clauß, André Schneider, Peter Schwarz:
Objektorientierte Beschreibung elektrischer Schaltelemente mit Modelica. MBMV 1999: 101-110 - Joachim Gerlach, Thilo Klöpfer, Wolfgang Rosenstiel:
Algorithmischer Ansatz zur automatisierten Entwurfsraum-Exploration auf hoher Abstraktionsebene. MBMV 1999: 111-120 - Heiko Henkelmann, C. Bruennlein, Walter Anheier:
Effiziente Methoden zum Zahlenvergleich und zur Vorzeichenerkennung in Restklassensystemen. MBMV 1999: 121-130 - Karlheinz Agsteiner, Dieter Monjau, Bernt Naumann, Mathias Sporer:
Ein kompositioneller Ansatz zur Synthese von Datenpfaden. MBMV 1999: 131-140 - Cordula Hansen, Matthias Uhlmann, Wolfgang Rosenstiel:
An Interface Description Model for Reuse of Algorithmic Hardware Specifications. MBMV 1999: 141-149 - Cristina Barna, Wolfgang Rosenstiel:
Description and Classification of VHDL Objects in the Reuse Management System. MBMV 1999: 150-159 - Dirk Ziegenbein, Kai Richter, Rolf Ernst, Lothar Thiele, Jürgen Teich:
SPI -- An Internal Representation for Heterogeneously Specified Embedded Systems. MBMV 1999: 160-169 - Tommy Kuhn, Wolfgang Rosenstiel, Udo Kebschull:
Beschreibung und Simulation von Hardware/Software-Systemen mit Java. MBMV 1999: 170-181 - Matthias Meixner, Jürgen Becker, Thomas Hollstein, Manfred Glesner:
Object-oriented Specification Approach for Synthesis of Hardware-/Software Systems. MBMV 1999: 182-191
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-09-28 01:33 CEST 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:
