| 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) |
