2 search results - page 1 / 1 » Decomposing Partial Order Execution Graphs to Improve Messag... |
84
Voted
IPPS
2007
IEEE
15 years 6 months ago
2007
IEEE
In message-passing parallel applications, messages are not delivered in a strict order. In most applications, the computation results and the set of messages produced during the e...
104
Voted
FASE
2006
Springer
15 years 4 months ago
2006
Springer
We present an algorithm for automatic testing of distributed programs, such as Unix processes with inter-process communication and Web services. Specifically, we assume that a prog...