Conference paper
Solving range constraints for binary floating-point instructions
Abraham Ziv, Merav Aharoni, et al.
ARITH 2003
No abstract available.
Abraham Ziv, Merav Aharoni, et al.
ARITH 2003
Abraham Ziv
Mathematics of Computation
Abraham Ziv, Laurent Fournier
Theoretical Computer Science
Abraham Ziv
ACM Transactions on Mathematical Software (TOMS)