TY  - RPRT
TI  - Reduced Precision Checking to Detect Errors in Floating Point Arithmetic
AU  - Yaqi Zhang
AU  - Ralph Nathan
AU  - Daniel J. Sorin
PY  - 2015
UR  - https://arxiv.org/abs/1510.01145
ID  - 1510.01145
ER  -