![](/img/cover-not-exists.png)
[IEEE 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Cape Cod, MA, USA (27-29 June 2005)] 17th IEEE Symposium on Computer Arithmetic (ARITH'05) - Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification
Aharoni, M., Asaf, S., Maharik, R., Nehama, I., Nikulshin, I., Ziv, A.Year:
2005
Language:
english
DOI:
10.1109/ARITH.2005.38
File:
PDF, 177 KB
english, 2005