2212 search results - page 83 / 443 » Coordinating Open Distributed Systems |
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
ICSE
2003
IEEE-ACM
14 years 9 months ago
2003
IEEE-ACM
We have developed an infrastructure for end-to-end run-time monitoring, behavior/performance analysis, and dynamic adaptation of distributed software. This infrastructure is prima...
HPCC
2007
Springer
14 years 3 months ago
2007
Springer
OpenMP is a portable shared memory programming interface that promises high programmer productivity for multithreaded applications. It is designed for small and middle sized shared...
IPPS
2006
IEEE
14 years 2 months ago
2006
IEEE
Execution of MPI applications on Clusters and Grid deployments suffers from node and network failure that motivates the use of fault tolerant MPI implementations. Two category tec...
SEKE
2010
Springer
13 years 7 months ago
2010
Springer
— Large-scale applications, in the form of workflows, may require the coordinated usage of resources spreading across multiple administrative domains. Scalable solutions need a d...