Sciweavers

503 search results - page 28 / 101
» Live Debugging of Distributed Systems
Sort
View
CONCUR
1997
Springer
14 years 2 months ago
Modularity for Timed and Hybrid Systems
Abstract. In a trace-based world, the modular speci cation, veri cation, and control of live systems require each module to be receptive that is, each module must be able to meet i...
Rajeev Alur, Thomas A. Henzinger
PDPTA
1996
13 years 11 months ago
A Taxonomy of Distributed Debuggers Based on Execution Replay
This paper presents a taxonomy of parallel and distributed debuggers based on execution replay. Programming of distributed and parallel systems is a complex task. Amongst the many...
Carl Dionne, Marc Feeley, Jocelyn Desbien
DEBS
2009
ACM
14 years 2 months ago
Soft state in the XSiena publish/subscribe system
This paper presents our experiences with building of the soft state XSiena publish/subscribe system. We provide a brief overview of our approach towards the soft state in publish/...
Zbigniew Jerzak, Christof Fetzer, Robert Wojcicki
SEC
2003
13 years 11 months ago
Security, Fault-Tolerance and their Verification for Ambient Systems
For the emerging ambient environments, in which interconnected intelligent devices will surround us to increase the comfort of our lives, fault tolerance and security are of paramo...
Jaap-Henk Hoepman
EUROPAR
2008
Springer
13 years 11 months ago
Fault-Tolerant Partial Replication in Large-Scale Database Systems
We investigate a decentralised approach to committing transactions in a replicated database, under partial replication. Previous protocols either reexecute transactions entirely an...
Pierre Sutra, Marc Shapiro