Concept
Messagerie instantanée
Publications associées (86)
Replicated Processes in Manetho
This paper presents the processreplication protocol of Manetho, a system whose goal is to provide efficient, applicationtransparent fault tolerance to longrunning distributed computations. Manetho uses a new negative acknowledgment multicast protocol t ...
1992Manetho: Transparent Rollback-Recovery with Low Overhead, Limited Rollback, and Fast Output Commit
Manetho is a new transparent rollback_recovery protocol for long-running distributed computations. It uses a novel combination of antecedence graph maintenance, uncoordinated check pointing, and sender-based message logging. Manetho simultaneously achieves ...
1992Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing
Message logging and check pointing can provide fault tolerance in distributed systems in which all process communication is through messages. This paper presents a general model for reasoning about recovery in these systems. Using this model_ we prove that ...
1990Recovery in Distributed Systems Using Optimistic Message Logging and Checkpointing
In a distributed system using message logging and checkpointing to provide fault tolerance, there is always a unique maximum recoverable system state, regardless of the message logging protocol used. The proof of this relies on the observation that the set ...
1988Sender-Based Message Logging
Sender-based message logging, a low-overhead mechanism for providing transparent fault-tolerance in distributed systems, is described. It differs from conventional message logging mechanisms in that each message is logged in volatile memory on the machine ...
1987Towards Peak Torque Minimization for Modular Self-Folding Robots
Jamie Paik, Christoph Heinrich Belke, Meibao Yao
Modular self-folding robots are versatile systems that can change their own shape from two-dimensional patterns at instant commands. This reconfigurability is commonly restrained by power limitation in autonomous environments, The robotic systems with insu ...
IEEE0