Tools
Sorted by:
Try your query at:
 |
 |
 |
 |
 |
 |
Results 1 - 10
of
21
The Perl Debugger
- Linux J. 2005
, 2005
"... Sticking in extra print statements is one way to debug your Perl code, but a full-featured debugger can give you more information. Debugging is an annoying necessity in any language, whether it's debugging your own code or somebody else's that you've been given to make work on your sy ..."
Abstract
-
Cited by 1 (0 self)
- Add to MetaCart
Sticking in extra print statements is one way to debug your Perl code, but a full-featured debugger can give you more information. Debugging is an annoying necessity in any language, whether it's debugging your own code or somebody else's that you've been given to make work on your
ESD: A System Software Debugger Based On Execution Synthesis
"... Debugging is one of the hardest and most time-consuming activities in developing system software. Bug reports rarely provide much more than a coredump of the failed program, and the developer is required to turn into a detective to de-termine how the program arrived to the failure point. ESD is a to ..."
Abstract
- Add to MetaCart
tool for automating most of this detective work. Without requiring any program modifications or execution tracing, ESD finds a feasible execution of the program that exhibits the reported bug. It then replays this execution deterministi-cally in a regular debugger, like gdb, in a way that is trans
Execution Synthesis: A Technique for Automated Software Debugging
- In Proceedings of Eurosys
, 2010
"... Debugging real systems is hard, requires deep knowledge of the code, and is time-consuming. Bug reports rarely provide sufficient information, thus forcing developers to turn into detectives searching for an explanation of how the program could have arrived at the reported failure point. Execution s ..."
Abstract
-
Cited by 64 (0 self)
- Add to MetaCart
required program inputs that cause the bug to manifest. The synthesized execution can be played back deterministically in a regular debugger, like gdb. This is particularly useful in debugging concurrency bugs. Our technique requires no runtime tracing or program modifications, thus incurring no runtime
Componential set-based analysis
- ACM Transactions on Programming Languages and Systems
, 1997
"... Set-based analysis (SBA) produces good predictions about the behavior of functional and objectoriented programs. The analysis proceeds by inferring constraints that characterize the data flow relationships of the analyzed program. Experiences with MrSpidey, a static debugger based on SBA, indicate t ..."
Abstract
-
Cited by 118 (12 self)
- Add to MetaCart
Set-based analysis (SBA) produces good predictions about the behavior of functional and objectoriented programs. The analysis proceeds by inferring constraints that characterize the data flow relationships of the analyzed program. Experiences with MrSpidey, a static debugger based on SBA, indicate
Regular Paper 1 Accelerating Robot Development through Integral Analysis of Human-Robot Interaction
"... Abstract—The development of interactive robots is a complicated process, involving a plethora of psychological, technical, and contextual influences. To design a robot capable of operating 'intelligently ' in everyday situations, one needs a profound understanding of human-robot interactio ..."
Abstract
- Add to MetaCart
-robot interaction. We propose an approach based on integral analysis of multimodal data to pursue this understanding and support interdisciplinary research and development in the field of robotics. To adopt this approach, a software tool named Interaction Debugger was developed that features user
Practical object-oriented back-in-time debugging
- In 22nd European Conference on Object-Oriented Programming (ECOOP’08), volume 5142 of LNCS
, 2008
"... Abstract. Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the “omniscient ” approaches that try to remember all previous states are impractical because they consume too much space or they are far too slow. Several approaches rely on heuristics to l ..."
Abstract
-
Cited by 23 (6 self)
- Add to MetaCart
Abstract. Back-in-time debuggers are extremely useful tools for identifying the causes of bugs. Unfortunately the “omniscient ” approaches that try to remember all previous states are impractical because they consume too much space or they are far too slow. Several approaches rely on heuristics
Debugging Multi-Threaded Programs with
- IEEE Software
, 1991
"... this paper, when we say two events are concurrent, we mean they are causally independent, but not necessarily actually simultaneous. PAs are analogous to Finite State Automata (FSAs), which recognize regular expressions. But in PAs, each transition is labeled with both a program event and its set of ..."
Abstract
- Add to MetaCart
this paper, when we say two events are concurrent, we mean they are causally independent, but not necessarily actually simultaneous. PAs are analogous to Finite State Automata (FSAs), which recognize regular expressions. But in PAs, each transition is labeled with both a program event and its set
ARMLang: A Language and Compiler for Programming Reconfigurable Mesh Many-Cores
- in Proc. of the Int. Parallel and Distributed Processing Symposium, Reconfigurable Architectures Workshop (RAW). IEEE
, 2009
"... Abstract—The reconfigurable mesh serves as a theoretical model for massively parallel computing, but has recently been investigated as a practical architecture for many-cores with light-weight, circuit-switched interconnects. There is a lack of programming environments, including languages, compiler ..."
Abstract
-
Cited by 1 (1 self)
- Add to MetaCart
, compilers, and debuggers for reconfigurable meshes. In this paper, we present the new language ARMLang for the specification of lockstep programs on regular processor arrays, in particular reconfigurable meshes. Lockstep synchronization is achieved by path equalization and barrier synchronization, both
Modular and polymorphic set-based analysis: Theory and practice
, 1996
"... Set-based analysis (SBA) produces good predictions about the behavior of functional and object-oriented programs. The analysis proceeds by inferring constraints that characterize the data flow relationships of the analyzed program. Experiences with Rice's program development environment, which ..."
Abstract
-
Cited by 13 (2 self)
- Add to MetaCart
includes a static debugger based on SBA, indicate that SBA can deal with programs of up to a couple of thousand lines of code. However, SBA does not cope with larger programs because it generates large systems of constraints for these programs. These constraint systems are at least linear, and possibly
Designing of QCA Schemes by Boundary Functions
"... A novel universal QCA gate is introduced and called a boundary comparator. This gate implements a Boolean function in its boundary form, as a superposition of elementary boundary functions or as threshold functions having weights equal to integer powers of 2. An array of the boundary comparators is ..."
Abstract
- Add to MetaCart
is called Comparator based Programmable Array (CPA) and forms a homogeneous regular structure programmable for implementing any logic function. The paper describes a) presenting a Boolean function in its boundary form; b) structure of the boundary comparator, and c) structure of the CPA. The proposed CPA
Results 1 - 10
of
21
