Solving Range Constraints for Binary Floating-Point Instructions.

Avi Ziv Merav Aharoni Sigal Asaf

Published in: IEEE Symposium on Computer Arithmetic (2003)

Keyphrases

floating point
sparse matrices
interval arithmetic
linear relaxation
fixed point
square root
instruction set
non binary
linear constraints
fast fourier transform
constraint programming
set partitioning
linear program
constraint satisfaction
fine grained
higher order
floating point arithmetic
integer program