An efficient algorithm-based fault detection and recovery on multiprocessor systems | IEEE Conference Publication | IEEE Xplore