Jean-Claude Laprie. Dependability---its attributes, impairments and means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictability Dependable Computing Systems, ESPRIT Basic Research Series, pages 3--24. Springer, 1995. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
Rejuvenation and Failure Detection in Partitionable Systems - Fetzer, Högstedt (2001) (Correct)
....or a driver failure. between the gateway and the LAN fails. In our target system we can often repair failures by rejuvenating the GW, i.e. by either rebooting or by powercycling the GW. We distinguish between soft and hard failures. While these terms are defined in a general way in [12], we use them in this paper in a very specific way. A soft failure is a failure that can be repaired by rejuvenation. We call all other failures hard . In our system, soft failures are often permanent failures in the sense that without rejuvenation the system will never recover. Our main ....
J.-C. Laprie. Dependability: Its attributes, impairments and means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictably Dependable Computing Systems, pages 3--24. Springer, 1995.
Lightweight Crash Recovery in a Wide-area Location Service - Ballintijn, van Steen.. (1998) (1 citation) (Correct)
....of RPCs thus results in some nodes performing their part of the update operation, while other nodes do not. This may result in inconsistencies in the tree. Figure 5 shows how a partly executed delete operation creates such an inconsistency. 4. 1 Assumptions Our model assumes a fail silent system [12]. That is, the node just stops sending messages and crashes; no erroneous messages are sent before the crash. The node is rebooted after a finite amount of time. Since the focus of this research is on resolving inconsistencies in the distributed search tree, we assume that no media failures occur. ....
J.-C. Laprie. Dependability -- Its Attributes, Impairments and Means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood (ed.), Predictably Dependable Computing Systems, pages 3--24. Springer-Verlag, Berlin, 1995.
Formal Verification of Time-Triggered Systems - Pike (2006) (Correct)
No context found.
Jean-Claude Laprie. Dependability---its attributes, impairments and means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictability Dependable Computing Systems, ESPRIT Basic Research Series, pages 3--24. Springer, 1995.
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
No context found.
Jean-Claude Laprie. Dependability---its attributes, impairments and means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictability Dependable Computing Systems, ESPRIT Basic Research Series, pages 3--24. Springer, 1995.
Abstractions for Fault-Tolerant Distributed System.. - Pike, Maddalon, Miner.. (2004) (Correct)
No context found.
Jean-Claude Laprie. Dependability---its attributes, impairments and means. In B. Randell, J.-C. Laprie, H. Kopetz, and B. Littlewood, editors, Predictability Dependable Computing Systems, ESPRIT Basic Research Series, pages 3--24. Springer, 1995.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC