252 search results - page 49 / 51 » Dynamic Symbolic Execution of Distributed Concurrent Objects |
ISCAPDCS
2003
13 years 8 months ago
2003
Grid technologies and infrastructures facilitate distributed resource sharing and coordination in dynamic, heterogeneous, multi-institutional environments. A replica catalog is a ...
CORR
2004
Springer
13 years 7 months ago
2004
Springer
- This paper describes an approach to the design of a population of cooperative robots based on concepts borrowed from Systems Theory and Artificial Intelligence The research has b...
HPDC
2010
IEEE
13 years 8 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...
OOPSLA
2004
Springer
14 years 25 days ago
2004
Springer
As improvements in processor speed continue to outpace improvements in cache and memory speed, poor locality increasingly degrades performance. Because copying garbage collectors ...
BPM
2006
Springer
13 years 11 months ago
2006
Springer
Service Science is a new term for a new paradigm which aims at the solution of an obvious problem: How to make the increasing fusion of business and IT successful in a dynamically ...