Kang, Shin-Haeng; Park, Hae-woo; Kim, Sungchan; Oh, Hyunok; Ha, Soonhoi Optimal checkpoint selection with dual-modular redundancy hardening. (English) Zbl 1360.68057 IEEE Trans. Comput. 64, No. 7, 2036-2048 (2015). Editorial remark: No review copy delivered. MSC: 68M07 Mathematical problems of computer architecture 68M15 Reliability, testing and fault tolerance of networks and computer systems PDF BibTeX XML Cite \textit{S.-H. Kang} et al., IEEE Trans. Comput. 64, No. 7, 2036--2048 (2015; Zbl 1360.68057) Full Text: DOI