Regime Inference for Sound Floating-Point Optimizations.

Robert Rabe Anastasiia Izycheva Eva Darulova

Published in: ACM Trans. Embed. Comput. Syst. (2021)

Keyphrases

floating point
fixed point
sparse matrices
square root
instruction set
bayesian networks
floating point arithmetic
fast fourier transform
image segmentation
high quality