×

zbMATH — the first resource for mathematics

Optimal checkpoint selection with dual-modular redundancy hardening. (English) Zbl 1360.68057
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
Full Text: DOI