Остановите войну!
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 115 matches
- 2005
- Kevin Camera, Hayden Kwok-Hay So, Robert W. Brodersen:
An integrated debugging environment for reprogrammble hardware systems. AADEBUG 2005: 111-116 - Yoonsik Cheon, Gary T. Leavens:
A contextual interpretation of undefinedness for runtime assertion checking. AADEBUG 2005: 149-158 - Valentin Dallmeier, Christian Lindig, Andreas Zeller:
Lightweight bug localization with AMPLE. AADEBUG 2005: 99-104 - Omar El-Khatib, Enrico Pontelli, Tran Cao Son:
Justification and debugging of answer set programs in ASP. AADEBUG 2005: 49-58 - Alex Ho, Steven Hand:
On the design of a pervasive debugger. AADEBUG 2005: 117-122 - Naveen Kumar, Bruce R. Childers, Mary Lou Soffa:
Tdb: a source-level debugger for dynamically translated programs. AADEBUG 2005: 123-132 - Ludovic Langevine, Mireille Ducassé:
A tracer driver for hybrid execution analyses. AADEBUG 2005: 143-148 - Donglin Liang, Kai Xu:
Debugging object-oriented programs with behavior views. AADEBUG 2005: 133-142 - Christian Lindig:
Random testing of C calling conventions. AADEBUG 2005: 3-12 - Ian MacLarty, Zoltan Somogyi, Mark Brown:
Divide-and-query and subterm dependency tracking in the mercury declarative debugger. AADEBUG 2005: 59-68 - Borislav Nikolik:
Convergence debugging. AADEBUG 2005: 89-98 - Bernhard Peischl, Franz Wotawa:
Error traces in model-based debugging of hardware description languages. AADEBUG 2005: 43-48 - Adrian Pop, Peter Fritzson:
Debugging natural semantics specifications. AADEBUG 2005: 77-82 - William W. Pugh:
Keynote talk: Advice to bug hunters. AADEBUG 2005: 1-2 - Steven P. Reiss:
Specifying and checking component usage. AADEBUG 2005: 13-22 - Yasushi Saito:
Jockey: a user-space library for record-replay debugging. AADEBUG 2005: 69-76 - Alex Shye, Matthew Iyer, Vijay Janapa Reddi, Daniel A. Connors:
Code coverage testing using hardware performance monitoring support. AADEBUG 2005: 159-163 - Chad D. Sterling, Ronald A. Olsson:
Automated bug isolation via program chipping. AADEBUG 2005: 23-32 - Bjorn De Sutter, Bruno De Bus, Michiel Ronsse, Koen De Bosschere:
Backtracking and dynamic patching for free. AADEBUG 2005: 83-88 - Remko Tronçon, Gerda Janssens:
Analyzing & debugging ILP data mining query execution. AADEBUG 2005: 105-110 - Xiangyu Zhang, Haifeng He, Neelam Gupta, Rajiv Gupta:
Experimental evaluation of using dynamic slices for fault location. AADEBUG 2005: 33-42 - Clinton Jeffery, Jong-Deok Choi, Raimondas Lencevicius:
Proceedings of the Sixth International Workshop on Automated Debugging, AADEBUG 2005, Monterey, California, USA, September 19-21, 2005. ACM 2005, ISBN 1-59593-050-7 [contents] - 2003
- Michiel Ronsse, Koen De Bosschere:
Proceedings of the Fifth International Workshop on Automated Debugging, AADEBUG 2003, Ghent, Belgium, September 8-10, 2003. 2003 [contents] - 2000
- Srikanth Sankaran Adayapalam:
In Search of Yeti: Footprint Analysis with Wildebeest. AADEBUG 2000 - Yasuhiro Ajiro, Kazunori Ueda:
Kima- An automated error correction system for concurrent logic programs. AADEBUG 2000 - Mikhail Auguston:
Assertion checker for the C programming language based on computations over event traces. AADEBUG 2000 - Holger Cleve, Andreas Zeller:
Finding Failure Causes through Automated Testing. AADEBUG 2000 - Gérard Ferrand, Willy Lesaint, Alexandre Tessier:
Value Withdrawal Explanation in CSP. AADEBUG 2000 - Michael Gerndt:
Towards automatic performance debugging tools. AADEBUG 2000 - Ángel Herranz-Nieva, Juan José Moreno-Navarro:
Generation of and Debugging with Logical Pre and Post-Conditions. AADEBUG 2000
skipping 85 more matches
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-18 18:07 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