cajole
发表于 2025-4-1 03:44:49
Optimal Message-Driven Implementation of Omega with Mute Processese an efficient message-driven implementation of Ω. Our algorithm is efficient in the sense that not all processes have to send messages forever, which is an improvement to previous message-driven failure detector implementations.
Vo2-Max
发表于 2025-4-1 08:55:50
Incremental Synthesis of Fault-Tolerant Real-Time Programsnonmasking fault-tolerant program. Furthermore, we introduce sound and complete algorithms for adding soft/hard-failsafe fault-tolerance. For reasons of space, our results on addition of soft/hard-masking fault-tolerance are presented in a technical report.
Colonnade
发表于 2025-4-1 14:15:13
Recovery Oriented Programmingming language with the purpose of allowing addition of predicates and recovery actions. We suggest a design for a tool that extends the Java programming language. In addition to that, we provide a correctness proof scheme for proving that the code combined with the predicates and the recovery action