Jing Yu María Jesús Garzarán Marc Snir Efficient software checking for fault tolerance. 1-5 2008 IPDPS http://dx.doi.org/10.1109/IPDPS.2008.4536435 conf/ipps/2008 db/conf/ipps/ipdps2008.html#YuGS08