457 search results - page 63 / 92 » Distributed verification with LoLA |
SPAA
2005
ACM
14 years 1 months ago
2005
ACM
One approach in verifying the correctness of a multiprocessor system is to show that its execution results comply with the memory consistency model it is meant to implement. It ha...
GLOBECOM
2007
IEEE
13 years 11 months ago
2007
IEEE
Accurate and systematic channel simulation technique is critical for performance verification of digital transceiver design over wireless channels. Despite the abundant results on ...
WWW
2007
ACM
14 years 8 months ago
2007
ACM
This paper reports a safe regression test selection (RTS) approach that is designed for verifying Web services in an end-to-end manner. The Safe RTS technique has been integrated ...
TAICPART
2006
IEEE
14 years 1 months ago
2006
IEEE
Testing compositions of web services is complex, due to their distributed nature and asynchronous behaviour. However, research in this field is scarce. We propose a new testing me...
VLDB
2005
ACM
14 years 1 months ago
2005
ACM
A key challenge facing the designers of serviceoriented applications is ensuring that the autonomous services that make up these distributed applications always finish in consiste...