Efficient search for inputs causing high floating-point errors.

Wei-Fan Chiang Ganesh Gopalakrishnan Zvonimir Rakamaric Alexey Solovyev

Published in: PPOPP (2014)

Keyphrases

np complete
floating point
efficient search
fixed point
square root
similarity search
search problems
sparse matrices
instruction set
data structure
general purpose
higher order
domain specific
interval arithmetic