194 search results - page 7 / 39 » OCP: a distributed real time commit protocol |
APLAS
2007
ACM
13 years 11 months ago
2007
ACM
This paper studies types and probabilistic bisimulations for a timed -calculus as an effective tool for a compositional analysis of probabilistic distributed behaviour. The types c...
PRDC
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper describes the implementation of a processorgroup membership protocol in an experimental real-time network. The protocol is appropriate for fault-tolerant distributed sy...
FTDCS
1999
IEEE
13 years 12 months ago
1999
IEEE
: Group communication in real-time computing systems has been a subject of research for almost two decades but it is not yet a mature technological field. The purpose of this paper...
IPPS
2008
IEEE
14 years 1 months ago
2008
IEEE
This paper presents general techniques for formally modeling, simulating, and model checking real-time resource-sharing protocols in Real-Time Maude. The “scheduling subset” o...
DATE
2008
IEEE
13 years 9 months ago
2008
IEEE
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...