504 search results - page 19 / 101 » Adaptable Fault Tolerance Requirements on Component Models |
112
click to vote
ENTCS
2007
15 years 1 months ago
2007
This paper promotes compositional reasoning in the context of safety-critical systems, and demonstrates a safety-oriented component model using an application from the automotive ...
91
Voted
SIGOPSE
1990
ACM
15 years 6 months ago
1990
ACM
We propose group communication as an efficient mechanism to support fault tolerance. Our approach is based on an efficient reliable broadcast protocol that requires on average onl...
177
click to vote
ICDE
1997
IEEE
16 years 3 months ago
1997
IEEE
The design of programsfor broadcastdisks which incorporatereal-time and fault-tolerance requirements is considered. A generalized model for real-time fault-tolerant broadcast disk...
119
click to vote
RTAS
2008
IEEE
15 years 8 months ago
2008
IEEE
We build on PTIDES, a programming model for distributed embedded systems that uses discrete-event (DE) models as program specifications. PTIDES improves on distributed DE executi...
129
Voted
WADS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. Algorithms dealing with massive data sets are usually designed for I/O-efficiency, often captured by the I/O model by Aggarwal and Vitter. Another aspect of dealing with ...