Publication | Closed Access
Communication-based prevention of useless checkpoints in distributed computations
87
Citations
28
References
2000
Year
Cluster ComputingEngineeringDistributed ComputingFormal MethodsFault ToleranceParallel ProgrammingComputer ScienceParallel ComputingFault-tolerant MessagingFormal VerificationDistributed Computations
| Year | Citations | |
|---|---|---|
Page 1
Page 1