Algorithm-based fault-tolerant programming in scientific computation on multiprocessors | IEEE Conference Publication | IEEE Xplore