Sciweavers

88 search results - page 5 / 18
» Debugging by Diagnosing Assumptions
Sort
View
CCGRID
2003
IEEE
14 years 21 days ago
MAGNET: A Tool for Debugging, Analyzing and Adapting Computing Systems
As computing systems grow in complexity, the cluster and grid communities require more sophisticated tools to diagnose, debug and analyze such systems. We have developed a toolkit...
Mark K. Gardner, Wu-chun Feng, Michael Broxton, Ad...
FOSSACS
2005
Springer
14 years 28 days ago
Fault Diagnosis Using Timed Automata
Fault diagnosis consists in observing behaviours of systems, and in detecting online whether an error has occurred or not. In the context of discrete event systems this problem has...
Patricia Bouyer, Fabrice Chevalier, Deepak D'Souza
DAC
2009
ACM
14 years 8 months ago
Debugging strategies for mere mortals
Recent improvements in design verification strive to automate error detection and greatly enhance engineers' ability to detect functional errors. However, the process of diag...
Valeria Bertacco
WWW
2005
ACM
14 years 8 months ago
Debugging OWL ontologies
As an increasingly large number of OWL ontologies become available on the Semantic Web and the descriptions in the ontologies become more complicated, finding the cause of errors ...
Bijan Parsia, Evren Sirin, Aditya Kalyanpur
AADEBUG
2005
Springer
14 years 29 days ago
Jockey: a user-space library for record-replay debugging
Jockey is an execution record/replay tool for debugging Linux programs. It records invocations of system calls and CPU instructions with timing-dependent effects and later replays...
Yasushi Saito