TY  - RPRT
TI  - Wanted: Floating-Point Add Round-off Error instruction
AU  - Marat Dukhan
AU  - Richard Vuduc
AU  - Jason Riedy
PY  - 2016
UR  - https://arxiv.org/abs/1603.00491
ID  - 1603.00491
ER  -