The pitfalls of verifying floating-point computations

Published in: CoRR (2007)

Keyphrases

floating point
fixed point
square root
sparse matrices
floating point arithmetic
model checking
three dimensional
instruction set
interval arithmetic
search space
data management
fast fourier transform