Exploiting Data Flow Information in Algorithm-Based Fault Tolerance. - Ragini Shamsunder; Daniel J. Rosenkrantz; S. S. Ravi (FTCS, 1993)