1268 search results - page 37 / 254 » Verifying distributed systems: the operational approach |
CAV
2007
Springer
14 years 1 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
HIPC
2005
Springer
14 years 3 months ago
2005
Springer
The performance of parallel applications running on large clusters is known to degrade due to the interference of kernel and daemon activities on individual nodes, often referred t...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
ity Abstraction for Declarative Networking Applications Juan A. Navarro P?erez, Andrey Rybalchenko, and Atul Singh Max Planck Institute for Software Systems (MPI-SWS) Declarative N...
EDBT
2008
ACM
13 years 11 months ago
2008
ACM
A large class of applications require real-time processing of continuous stream data resulting in the development of data stream management systems (DSMS). Since many of these app...
CCGRID
2006
IEEE
14 years 4 months ago
2006
IEEE
With the increasing number of processors in modern HPC(High Performance Computing) systems, there are two emergent problems to solve. One is scalability, the other is fault tolera...