@article{weko_59661_1, author = "Satoshi,Fukumoto and Naoto,Kaio and Shunji,Osaki", title = "Optimal Checkpointing Policies Using the Checkpointing Density", journal = "Journal of Information Processing ", year = "1992", volume = "15", number = "1", pages = "97--92", month = "mar" }