2 search results - page 1 / 1 » Decomposing Partial Order Execution Graphs to Improve Messag... |
IPPS
2007
IEEE
13 years 11 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...
FASE
2006
Springer
13 years 8 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...