Eliminating Unstable Tests in Floating-Point Programs.

Laura Titolo César A. Muñoz Marco A. Feliú Mariano M. Moscato

Published in: CoRR (2018)

Keyphrases

floating point
fixed point
square root
fast fourier transform
instruction set
sparse matrices
floating point arithmetic
interval arithmetic
computer vision
bayesian networks