3389 search results - page 229 / 678 » Real-Time and Fault-Tolerant Systems |
155
click to vote
ISPA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. Current solutions for fault-tolerance in HPC systems focus on dealing with the result of a failure. However, most are unable to handle runtime system configuration change...
147
click to vote
HPDC
2000
IEEE
15 years 11 months ago
2000
IEEE
In this paper we present a robust software infrastructure for metacomputing. The system is intended to be used by others as a building block for large and powerful computational g...
186
click to vote
VLDB
1990
ACM
15 years 10 months ago
1990
ACM
Real-time database systems incorporate the notion of a deadline into the database system model. USUally, deadlines are associated with transactions, and the system attempts to exe...
193
click to vote
DSRT
2005
IEEE
16 years 7 days ago
2005
IEEE
Timed automata provide useful state machine based representations for the validation and verification of realtime control systems. This paper introduces an algorithmic methodolog...
199
click to vote
RTSS
2005
IEEE
16 years 5 days ago
2005
IEEE
This paper presents a local algorithm for solving the universal parametric real-time model-checking problem. The problem may be phrased as follows: given a real-time system and te...