Rigorous floating-point mixed-precision tuning.

Wei-Fan Chiang Mark Baranowski Ian Briggs Alexey Solovyev Ganesh Gopalakrishnan Zvonimir Rakamaric

Published in: POPL (2017)

Keyphrases

floating point
square root
fixed point
sparse matrices
floating point arithmetic
instruction set
higher order
fast fourier transform
image segmentation
interval arithmetic