457 search results - page 27 / 92 » Distributed verification with LoLA |
PVM
2009
Springer
14 years 2 months ago
2009
Springer
EDOC
2002
IEEE
14 years 17 days ago
2002
IEEE
IPPS
2010
IEEE
13 years 5 months ago
2010
IEEE
CONCUR
2010
Springer
13 years 8 months ago
2010
Springer
Reliability is a critical issue in many multi-organizational distributed applications, be they web services, financial protocols, scientific computing infrastructure, and software ...
FMSD
2006
13 years 7 months ago
2006
Synchronous specifications are appealing in the design of large scale hardware and software systems because of their properties that facilitate verification and synthesis. When the...