Xuanhua Li Donald Yeung Application-Level Correctness and its Impact on Fault Tolerance. 181-192 2007 HPCA http://doi.ieeecomputersociety.org/10.1109/HPCA.2007.346196 conf/hpca/2007 db/conf/hpca/hpca2007.html#LiY07