Login / Signup
Abraham Ziv
Publication Activity (10 Years)
Years Active: 1991-2007
Publications (10 Years): 0
</>
Publications
</>
Merav Aharoni
,
Ron Maharik
,
Abraham Ziv
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations.
IEEE Symposium on Computer Arithmetic
(2007)
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)
Abraham Ziv
Sharp ULP rounding error bound for the hypotenuse function.
Math. Comput.
68 (227) (1999)
Abraham Ziv
Fast evaluation of elementary mathematical functions with correctly rounded last bit.
ACM Trans. Math. Softw.
17 (3) (1991)