617 search results - page 82 / 124 » Debugging distributed programs using controlled re-execution |
107
click to vote
IPPS
1996
IEEE
15 years 6 months ago
1996
IEEE
To maintain the integrity of the US nuclear stockpile without detonating nuclear weapons, the DOE needs the results of computer-simulations that overwhelm the world's most po...
188
click to vote
CONPAR
1994
15 years 6 months ago
1994
The Rewrite Rule Machine (RRM) is a massively parallel MIMD/SIMD computer designed with the explicit purpose of supporting veryhigh-level parallel programming with rewrite rules. T...
122
click to vote
CONCUR
2006
Springer
15 years 6 months ago
2006
Springer
We describe an incomplete but sound and efficient livelock freedom test for infinite state asynchronous reactive systems. The method s a system into a set of simple control flow cy...
96
Voted
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
Several recent language designs have offered a unified language for programming a distributed system, with explicit notation of locations; we call these “location-aware” lan...
116
click to vote
CDC
2008
IEEE
15 years 8 months ago
2008
IEEE
— The goal of this paper is to develop modeling techniques for complex systems for the purposes of control, estimation, and inference: (i) A new class of Hidden Markov Models is ...