• case-insensitive prefix search: default
  e.g., sig matches "SIGIR" as well as "signal"
• exact word search: append dollar sign ($) to word
  e.g., graph$ matches "graph", but not "graphics"
• boolean and: separate words by space
  e.g., codd model
• boolean or: connect words by pipe symbol (|)
  e.g., graph|network

Update May 7, 2017: Please note that we had to disable the phrase search operator (.) and the boolean not operator (-) due to technical problems. For the time being, phrase search queries will yield regular prefix search result, and search terms preceded by a minus will be interpreted as regular (positive) search terms.

found 20 matches

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