617 search results - page 21 / 124 » Debugging distributed programs using controlled re-execution |
175
click to vote
SIGSOFT
2007
ACM
16 years 6 months ago
2007
ACM
Checkpointing and replaying is an attractive technique that has been used widely at the operating/runtime system level to provide fault tolerance. Applying such a technique at the...
163
click to vote
ICFP
1997
ACM
15 years 10 months ago
1997
ACM
This paper describes the development of the programming language Erlang during the period 1985-1997. Erlang is a concurrent programming language designed for programming large-sca...
193
click to vote
CASES
2007
ACM
15 years 10 months ago
2007
ACM
Instruction Set Simulators (ISSes) are important tools for cross-platform software development. The simulation speed is a major concern and many approaches have been proposed to i...
155
click to vote
ICLP
2007
Springer
15 years 9 months ago
2007
Springer
We present a static analysis that infers both upper and lower bounds on the usage that a logic program makes of a set of user-definable resources. The inferred bounds will in gener...
166
click to vote
ROBOCOMM
2007
IEEE
16 years 6 days ago
2007
IEEE
—A self-reconfigurable robot is a robotic device that can change its own shape. Self-reconfigurable robots are commonly built from multiple identical modules that can manipulat...