617 search results - page 22 / 124 » Debugging distributed programs using controlled re-execution |
EMSOFT
2005
Springer
14 years 3 months ago
2005
Springer
This paper is about the modular compilation and distribution of a sub-class of Simulink programs [9] across networks using bounded FIFO queues. The problem is first addressed mat...
OPODIS
2003
13 years 11 months ago
2003
Abstract. We present and motivate the definition and use of the language and environment dSL, an imperative and event driven language designed to program distributed industrial co...
PACT
1997
Springer
14 years 1 months ago
1997
Springer
This paper argues for an alternative way of designing coordination models for parallel and distributed environments based on a complete symmetry between and decoupling of producers...
HVC
2005
Springer
14 years 3 months ago
2005
Springer
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence ...
ICSE
2004
IEEE-ACM
14 years 10 months ago
2004
IEEE-ACM
Dynamic slicing is a well-known program debugging technique. Given a program P and input I, it finds all program statements which directly/indirectly affect the values of some var...