166 search results - page 11 / 34 » Application of redundant computation in program debugging |
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
119
click to vote
IPPS
2007
IEEE
15 years 9 months ago
2007
IEEE
HPC scientific computational models are notoriously difficult to develop, debug, and maintain. The reasons for this are multifaceted — including difficulty of parallel programm...
160
Voted
OPODIS
2003
15 years 4 months ago
2003
Detecting whether a finite execution trace (or a computation) of a distributed program satisfies a given predicate, called predicate detection, is a fundamental problem in distr...
111
click to vote
PLDI
2005
ACM
15 years 8 months ago
2005
ACM
Faults that occur in production systems are the most important faults to fix, but most production systems lack the debugging facilities present in development environments. TraceB...
120
click to vote
CL
2000
Springer
15 years 7 months ago
2000
Springer
Abstract. This paper proposes to promote constraints to first-class status. In contrast to constraint propagation, which performs inference on values of variables, first-class co...