194 search results - page 23 / 39 » A Problem-Specific Fault-Tolerance Mechanism for Asynchronou... |
HASE
2008
IEEE
15 years 23 days ago
2008
IEEE
Live migration provides transparent load-balancing and fault-tolerant mechanism for applications. When a Virtual Machine migrates among hosts residing in two networks, the network...
110
click to vote
ISCA
2011
IEEE
14 years 3 months ago
2011
IEEE
With technology scaling, manufacture-time and in-field permanent faults are becoming a fundamental problem. Multi-core architectures with spares can tolerate them by detecting an...
CONCUR
1998
Springer
15 years 3 months ago
1998
Springer
Abstract. This paper introduces a compositional Hoare logics for reasoning about the correctness of systems composed of a dynamically evolving collection of processes (also called ...
ASPLOS
2006
ACM
15 years 5 months ago
2006
ACM
The sustained push toward smaller and smaller technology sizes has reached a point where device reliability has moved to the forefront of concerns for next-generation designs. Sil...
107
click to vote
FM
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Many long-lived and distributed systems must remain available yet evolve over time, due to, e.g., bugfixes, feature extensions, or changing user requirements. To facilit...