Chun Gong Rami G. Melhem Rajiv Gupta Loop Transformations for Fault Detection in Regular Loops on Massively Parallel Systems. 1238-1249 1996 7 IEEE Trans. Parallel Distrib. Syst. 12 http://doi.ieeecomputersociety.org/10.1109/71.553273 db/journals/tpds/tpds7.html#GongMG96