Generating instruction streams using abstract CSP
Yoav Katz, Michal Rimon, et al.
DATE 2012
This paper suggests a technique for analyzing the performance of checkpointing schemes with task duplication. We show how this technique can be used to derive the average execution time of a task and other important parameters related to the performance of checkpointing schemes. The analysis results are used to study and compare the performance of four existing checkpointing schemes. Our comparison results show that, in general, the number of processors used, not the complexity of the scheme, has the most effect on the scheme performance. © 1998 IEEE.
Yoav Katz, Michal Rimon, et al.
DATE 2012
Jehoshua Bruck, Danny Dolev, et al.
Journal of Parallel and Distributed Computing
Noga Alon, Jehoshua Bruck, et al.
ISIT 1991
Allon Adir, Eli Almog, et al.
IEEE Design and Test of Computers