242 search results - page 33 / 49 » Computing bounds for fault tolerance using formal techniques |
106
click to vote
SC
2009
ACM
15 years 4 months ago
2009
ACM
This paper presents a new distributed computing framework for Many Task Computing (MTC) applications, based on the Extensible Messaging and Presence Protocol (XMPP). A lightweight...
ISQED
2009
IEEE
15 years 4 months ago
2009
IEEE
— With continued scaling, reliability is emerging as a critical challenge for the designers of digital circuits. The challenge stems in part from the lack of computationally efï¬...
IPPS
1998
IEEE
15 years 1 months ago
1998
IEEE
A real-time system must execute functionally correct computations in a timely manner. In order to guarantee that all tasks accepted in the system will meet their timing requiremen...
TC
1998
14 years 9 months ago
1998
—Preventive maintenance of operational software systems, a novel technique for software fault tolerance, is used specifically to counteract the phenomenon of software “aging.â€...
77
Voted
TSMC
2010
14 years 4 months ago
2010
Computer system reliability is conventionally modeled and analyzed using techniques such as fault tree analysis (FTA) and reliability block diagrams (RBD), which provide static rep...