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 |