617 search results - page 23 / 124 » Debugging distributed programs using controlled re-execution |
SPRINGSIM
2010
13 years 8 months ago
2010
This paper presents how the DUP System, a straightforward POSIX-compatible framework that enables programminglanguage-agnostic parallel and distributed stream processing, can be u...
LOPSTR
2004
Springer
14 years 3 months ago
2004
Springer
We propose an analysis for detecting procedures and goals that are deterministic (i.e. that produce at most one solution), or predicates whose clause tests are mutually exclusive (...
SIGSOFT
2010
ACM
13 years 7 months ago
2010
ACM
This paper presents Basset, a tool for systematic testing of JVM-based actor programs. The actor programming model offers a promising approach for developing reliable concurrent a...
SAFECOMP
1999
Springer
14 years 2 months ago
1999
Springer
During the last decade, the synchronous approach has proved to meet industrial needs concerning the development of Distributed Control Systems (DCS): as an example, Schneider Elect...
IPPS
2007
IEEE
14 years 4 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...