Publication | Closed Access

Blocking vs. non-blocking coordinated checkpointing for large-scale fault tolerant MPI Protocols

Fault-tolerant NetworkEngineeringByzantine FaultNon-blocking Coordinated CheckpointingFormal MethodsSystems EngineeringFault ToleranceFault RecoveryParallel ProgrammingComputer ScienceParallel ComputingFault-tolerant MessagingFormal Verification