|
Search the dblp DataBase
Abraham Ziv:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
Publications of Author
- 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. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2005, pp:76-83 [Conf]
- Abraham Ziv
Sharp ULP rounding error bound for the hypotenuse function. [Citation Graph (0, 0)][DBLP] Math. Comput., 1999, v:68, n:227, pp:1143-1148 [Journal]
- Merav Aharoni, Ron Maharik, Abraham Ziv
Solving Constraints on the Intermediate Result of Decimal Floating-Point Operations. [Citation Graph (0, 0)][DBLP] IEEE Symposium on Computer Arithmetic, 2007, pp:38-45 [Conf]
Search in 0.001secs, Finished in 0.001secs
|