A new algorithm-based fault tolerance technique for computing matrix operations. - Dali L. Tao; Eugene Foo; Carlos R. P. Hartmann (SPDP, 1991)