Skip to search form
Skip to main content
Skip to account menu
Semantic Scholar
Semantic Scholar's Logo
Search 233,343,757 papers from all fields of science
Search
Sign In
Create Free Account
Debugger
Known as:
Debugger front end
, Debugger (computer)
, GNU Debugger front-end
Expand
A debugger or debugging tool is a computer program that is used to test and debug other programs (the "target" program). The code to be examined…
Expand
Wikipedia
(opens in a new tab)
Create Alert
Alert
Related topics
Related topics
49 relations
AQtime
Adobe GoLive
Android
Assertion (software development)
Expand
Papers overview
Semantic Scholar uses AI to extract papers important to this topic.
2014
2014
Transalg: a Tool for Translating Procedural Descriptions of Discrete Functions to SAT (Tool Paper)
I. Otpuschennikov
,
A. Semenov
,
S. Kochemazov
arXiv.org
2014
Corpus ID: 13332131
In this paper we present the Transalg system, designed to produce SAT encodings for discrete functions, written as programs in a…
Expand
2012
2012
Report of experiments and evidence for ASC L2 milestone 4467 : demonstration of a legacy application's path to exascale.
Brian W. Barrett
,
R. Barrett
,
+22 authors
Kyle B. Wheeler
2012
Corpus ID: 60613579
This report documents thirteen of Sandia's contributions to the Computational Systems and Software Environment (CSSE) within the…
Expand
2009
2009
DeLLIS: A Data Mining Process for Fault Localization
Peggy Cellier
,
M. Ducassé
,
S. Ferré
,
O. Ridoux
International Conference on Software Engineering…
2009
Corpus ID: 6267728
Most fault localization methods aim at totally ordering program elements from highly suspicious to innocent. This ignores the…
Expand
2008
2008
Learning ActionScript 3.0
Rich Shupe
,
Zevan. Rosser
2008
Corpus ID: 60067086
In this book, authors Rich Shupe and Zevan Rosser share the knowledge they've gained from their years as multimedia developers…
Expand
2007
2007
Automatic Retargeting of Binary Utilities for Embedded Code Generation
Alexandro Baldassin
,
P. Centoducatte
,
+4 authors
Olinto J. V. Furtado
IEEE Computer Society Annual Symposium on VLSI
2007
Corpus ID: 14679430
Contemporary SoC design involves the proper selection of cores from a reference platform. Such selection implies the design…
Expand
2007
2007
RMTool: Component-Based Network Management System for Wireless Sensor Networks
H. Cha
,
Inuk Jung
4th IEEE Consumer Communications and Networking…
2007
Corpus ID: 2334235
This paper introduces a component-based network management system for wireless sensor networks. The research is motivated by a…
Expand
Review
2005
Review
2005
A Survey of Reverse Engineering Tools for the 32-Bit Microsoft Windows Environment
Raymond Canzanese
,
M. Oyer
,
Spiros Mancoridis
,
M. Kam
2005
Corpus ID: 8910765
The formation of carbon on metals exposed to hydrocarbons in a thermal cracking process is reduced by contacting such metals with…
Expand
2005
2005
Automated Correctness Analysis of MPI Programs with Intel(r) Message Checker
V. Samofalov
,
V. Krukov
,
B. Kuhn
,
S. Zheltov
,
Alexander V. Konovalov
,
J. Desouza
International Conference on Parallel Computing
2005
Corpus ID: 11121917
c © 2006 by John von Neumann Institute for Computing Permission to make digital or hard copies of portions of this work for…
Expand
1997
1997
Defthms About Zip and Tie: Reasoning about Powerlists in ACL2
Ruben Gamboa
1997
Corpus ID: 16760783
In [Mis94], Misra introduced the powerlist data structure, which is well suited to express recursive, data-parallel algorithms…
Expand
1992
1992
The design and implementation of HoME
K. Ogata
,
S. Kurihara
,
Mikio Inari
,
N. Doi
ACM-SIGPLAN Symposium on Programming Language…
1992
Corpus ID: 3666100
HoME is a version of Smalltalk which can be efficiently executed on a multiprocessor and can be executed in parallel by combining…
Expand
By clicking accept or continuing to use the site, you agree to the terms outlined in our
Privacy Policy
(opens in a new tab)
,
Terms of Service
(opens in a new tab)
, and
Dataset License
(opens in a new tab)
ACCEPT & CONTINUE