2007 | ||
---|---|---|
3 | EE | Merav Aharoni, Ron Maharik, Abraham Ziv: Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. IEEE Symposium on Computer Arithmetic 2007: 38-45 |
2005 | ||
2 | EE | Merav Aharoni, Sigal Asaf, Ron Maharik, Ilan Nehama, Ilya Nikulshin, Abraham Ziv: Solving Constraints on the Invisible Bits of the Intermediate Result for Floating-Point Verification. IEEE Symposium on Computer Arithmetic 2005: 76-83 |
1999 | ||
1 | Abraham Ziv: Sharp ULP rounding error bound for the hypotenuse function. Math. Comput. 68(227): 1143-1148 (1999) |
1 | Merav Aharoni | [2] [3] |
2 | Sigal Asaf | [2] |
3 | Ron Maharik | [2] [3] |
4 | Ilan Nehama | [2] |
5 | Ilya Nikulshin | [2] |