Efficient diagnosis in algorithm-based fault tolerant multiprocessor systems | IEEE Conference Publication | IEEE Xplore