@INPROCEEDINGS {8196,
author={Paula Prata Sousa and J. Silva},
doi={},
booktitle={Annual International Symp. on Fault Tolerant Computing - FTCS},
title={Algorithm Based  Fault Tolerance versus Result-Checking for Matrix Computations},
year={1999},
month={June},
volume={1},
pages={4-11} 
}