D. Manivannan Chi Zhang Performance of communication-induced checkpointing algorithms. 129-136 2003 18 Comput. Syst. Sci. Eng. 3 db/journals/csse/csse18.html#ManivannanZ03