The pitfalls of verifying floating-point computations.

Published in: ACM Trans. Program. Lang. Syst. (2008)

Keyphrases

floating point
square root
fixed point
instruction set
interval arithmetic
model checking
computer science
fast fourier transform
sparse matrices
image segmentation
reinforcement learning
data processing
access control
fine grained