4 citations · 4 across the 1 of their papers we have counts for
1 paper
Yaqi Zhang, Ralph Nathan, Daniel J. Sorin
In this paper, we use reduced precision checking (RPC) to detect errors in floating point arithmetic. Prior work explored RPC for addition and multiplication. In this work, we exte…