20126 search results - page 338 / 4026 » Timed Transition Systems |
135
Voted
IPPS
1998
IEEE
15 years 9 months ago
1998
IEEE
Traditional reliability measures for computer systems can be classi ed into Computer-Centric or Application-Centric categories. The former concentrate on the hardware resources whi...
172
click to vote
HASE
2008
IEEE
15 years 5 months ago
2008
IEEE
Designing safety-critical systems is a complex process, and especially when the design is carried out at different f abstraction where the correctness of the design at one level i...
198
click to vote
EMSOFT
2001
Springer
15 years 9 months ago
2001
Springer
Software has become strategic to developing effective distributed real-time and embedded (DRE) systems. Next-generation DRE systems, such as total ship computing environments, coo...
148
click to vote
ICCAD
2003
IEEE
16 years 1 months ago
2003
IEEE
We investigate an integrated approach to fault tolerance and dynamic power management in real-time embedded systems. Fault tolerance is achieved via checkpointing and power manage...
125
Voted
DSN
2007
IEEE
15 years 11 months ago
2007
IEEE
A quorum system is a collection of sets (quorums) of servers, where any two quorums intersect. Quorumbased protocols underly modern edge-computing architectures and throughput-sca...