Compiler-assisted Full Checkpointing. - Chung-Chi Jim Li; Elliot M. Stewart; W. Kent Fuchs (Softw. Pract. Exp., 1994)