Login / Signup
Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification.
Merav Aharoni
Sigal Asaf
Ron Maharik
Ilan Nehama
Ilya Nikulshin
Abraham Ziv
Published in:
IEEE Symposium on Computer Arithmetic (2005)
Keyphrases
</>
floating point
interval arithmetic
sparse matrices
fixed point
square root
linear constraints
image segmentation
general purpose
fast fourier transform
instruction set
linear relaxation
floating point arithmetic