Solving Range Constraints for Binary Floating-Point Instructions

Avi Ziv, Merav Aharoni, Sigal Asaf. Solving Range Constraints for Binary Floating-Point Instructions. In 16th IEEE Symposium on Computer Arithmetic (Arith-16 2003), 15-18 June 2003, Santiago de Compostela, Spain. pages 158-164, IEEE Computer Society, 2003. [doi]

Authors

Avi Ziv

This author has not been identified. Look up 'Avi Ziv' in Google

Merav Aharoni

This author has not been identified. Look up 'Merav Aharoni' in Google

Sigal Asaf

This author has not been identified. Look up 'Sigal Asaf' in Google