4 citations · 4 across the 1 of their papers we have counts for
1 paper · 1 filter
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…