Остановите войну!
for scientists:
default search action
Search dblp
Full-text search
- > Home
Please enter a search query
- 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.
Author search results
no matches
Venue search results
no matches
Refine list
refine by author
- no options
- temporarily not available
refine by venue
- no options
- temporarily not available
refine by type
- no options
- temporarily not available
refine by access
- no options
- temporarily not available
refine by year
- no options
- temporarily not available
Publication search results
found 30 matches
- 2007
- Bernd Becker:
AVACS -- Automatic Verification and Analysis of Complex Systems. MBMV 2007: 79-80 - Claudia Blank:
Employment of Property Checking for Functional Hardware Verification in an Industrial Setting. MBMV 2007: 191-192 - Axel G. Braun, Joachim Gerlach, Wolfgang Rosenstiel:
Eine SystemC-basierte Heuristik zur Performanzoptimierung datenflussorientierter Applikationen. MBMV 2007: 49-58 - Martin Braun, Minh D. Nguyen, Hans Eveking, Martin Schickel, Wolfgang Kunz:
Methoden zur Verifikation von Kommunikationsstrukturen. MBMV 2007: 223-232 - Rainer Dorsch, Jürgen Ruf:
Transaction Modeling and RTL Simulation Analysis. MBMV 2007: 1-8 - Görschwin Fey, Daniel Große, Stephan Eggersglüß, Robert Wille, Rolf Drechsler:
Formal Verification on the Word Level using SAT-like Proof Techniques. MBMV 2007: 81-90 - Raffaella Gentilini, Klaus Schneider, Alexander Dreyer:
Combining Interval Arithmetic and Three-Valued Temporal Logics for the Verification of Analog Systems. MBMV 2007: 121-130 - Christoph Grimm, Rüdiger Schroll, Florian Brame, Klaus Waldschmidt:
Top-Down Design analog/digitaler Systeme mit SystemC-AMS. MBMV 2007: 131-140 - Daniel Jelkmann, Karsten Albers, Frank Slomka:
Improved Feasibility Tests for Asynchronous Real-Time Periodic Task Sets. MBMV 2007: 69-78 - Reimund Klemm, Javier Prieto Sabugo, Hendrik Ahlendorf, Gerhard P. Fettweis:
Using LISATek for the Design of an ASIP Core including Floating Point Operations. MBMV 2007: 161-169 - Stephan Kubisch, Harald Widiger, Ronald Hecht, Dirk Timmermann, Martin Siemroth:
Architektur einer flexiblen, wiederverwendbaren Testbench zur Verifikation paketverarbeitender Hardware in SystemC. MBMV 2007: 9-18 - Stefan Lämmermann, Jörg Behrend, Roland J. Weiss, Jürgen Ruf, Thomas Kropf, Wolfgang Rosenstiel:
UML/SysML-Systemanalyse zur Generierung von formalen Verifikationseigenschaften für verschiedene Abstraktionsebenen. MBMV 2007: 29-38 - Djones Lettnin, Pradeep Kumar Nalla, Jürgen Ruf, Roland J. Weiss, Axel G. Braun, Joachim Gerlach, Thomas Kropf, Wolfgang Rosenstiel:
Semiformal Verification of Temporal Properties in Embedded Software. MBMV 2007: 19-28 - Erik Markert, Sven Kühn, Jan Langer, Göran Herrmann, Ulrich Heinkel:
Ein SystemC-AMS nach VHDL-AMS Konverter. MBMV 2007: 151-160 - Valerij Matrose:
Clusteringverfahren zur effektiven Nutzung der Logikressourcen hierarchischer FPGA-Architekturen. MBMV 2007: 263-272 - Friedrich Mayer-Lindenberg:
A design language supporting mixed processor and FPGA systems. MBMV 2007: 233-242 - Silvio Misera, André Sieber:
Hardwarenahe Fehlersimulation mit effektiven SystemC-Modellen. MBMV 2007: 39-48 - Tobias Nopper, Christoph Scholl:
Counterexample Generation for Incomplete Designs. MBMV 2007: 193-202 - Evgeny Pavlenko, Markus Wedler, Dominik Stoffel, Wolfgang Kunz:
Arithmetic Constraints in SAT-based Property Checking. MBMV 2007: 91-100 - Oliver Piepenstock:
Enhanced VerilogA VCO Model for PLL Lock-in Simulations. MBMV 2007: 141-150 - Martin Radetzki:
Modellierung auf der Transaktionsebene unter Nutzung des Entwurfsmusters des aktiven Objekts. MBMV 2007: 181-190 - Philipp Reinkemeier, Kim Grüttner, Wolfgang Nebel:
Eine Fallstudie zur dynamischen Rekonfiguration von Hardware: "Pain or Gain?". MBMV 2007: 243-252 - Jens Schönherr:
Ein Schritt zur formalen Verifikation auf der Transaktionsebene. MBMV 2007: 213-222 - Abdulhadi Shoufan, Ralf Laue, Sorin A. Huss:
Secure Multicast Rekeying: A Case Study for HW/SW-Codesign. MBMV 2007: 171-180 - Martin Streubühr, Carsten Riedel, Christian Haubelt, Jürgen Teich:
System Level Modeling and Performance Simulation for Dynamic Reconfigurable Computing Systems in SystemC. MBMV 2007: 59-68 - André Sülflow, Görschwin Fey, Rolf Drechsler:
Verbesserte SAT basierte Fehlerdiagnose durch Widerspruchanalyse. MBMV 2007: 101-110 - Katharina Weinberger, Slava Bulach, Wolfgang Rosenstiel:
Property Set Exhaustiveness Estimation Approach for BMC-based Formal Hardware Verification. MBMV 2007: 111-119 - Ralf Wimmer, Marc Herbstritt, Bernd Becker:
Forwarding, Splitting, and Block Ordering to Optimize BDD-based Bisimulation Computation. MBMV 2007: 203-212 - Peter Zipf, Yang Qiao, Manfred Glesner:
Ein Beitrag zur automatischen Erzeugung dynamisch rekonfigurierbarer Hardwarestrukturen. MBMV 2007: 253-262 - Christian Haubelt, Jürgen Teich:
Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV), Erlangen, Germany, March 5-7, 2007. Berichte aus der Informatik, Shaker 2007, ISBN 978-3-8322-5956-3 [contents]
loading more results
failed to load more results, please try again later
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.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
retrieved on 2024-05-02 02:40 CEST from data curated by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint