An efficient method to reduce roundoff error in matrix multiplication with algorithm-based fault tolerance | IEEE Conference Publication | IEEE Xplore