124 search results - page 1 / 25 » Distributed Monitoring of Concurrent and Asynchronous System... |
CONCUR
2003
Springer
14 years 11 months ago
2003
Springer
In this paper we study the diagnosis of distributed asynchronous systems with concurrency. Diagnosis is performed by a peer-to-peer distributed architecture of supervisors. Our app...
FM
2009
Springer
15 years 15 days ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...
CONCUR
2009
Springer
14 years 3 months ago
2009
Springer
Convergence is often the key liveness property for distributed systems that interact with physical processes. Techniques for proving convergence (asymptotic stability) have been ex...
SIMPAR
2010
14 years 4 months ago
2010
From exploring planets to cleaning homes, the reach and versatility of robotics is vast. The integration of actuation, sensing and control makes robotics systems powerful, but comp...
PPOPP
2010
ACM
15 years 3 months ago
2010
ACM
This poster is a case study on the application of a novel programming model, called Concurrent Collections (CnC), to the implementation of an asynchronous-parallel algorithm for c...