Solving constraints on the intermediate result of decimal floating-point operations
- Merav Aharoni
- Ron Maharik
- et al.
- 2007
- ARITH 2007
Publications
11 results for Abraham Ziv
Solving constraints on the invisible bits of the intermediate result for floating-point verification
- Merav Aharoni
- Sigal Asaf
- et al.
- 2005
- ARITH 2005
Solving range constraints for binary floating-point instructions
- Abraham Ziv
- Merav Aharoni
- et al.
- 2003
- ARITH 2003
Solving the generalized mask constraint for test generation of binary floating point add operation
- Abraham Ziv
- Laurent Fournier
- 2003
- Theoretical Computer Science
Fast Evaluation of Elementary Mathematical Functions with Correctly Rounded Last Bit
- Abraham Ziv
- 1991
- ACM Transactions on Mathematical Software (TOMS)
On the optimality and efficiency of common random numbers
- S. Gal
- R.Y. Rubinstein
- et al.
- 1984
- Mathematics and Computers in Simulation
A stable method for the evaluation of a polynomial and of a rational function of one variable
- Abraham Ziv
- 1983
- Numerische Mathematik
Relative distance-an error measure in round-off error analysis
- Abraham Ziv
- 1982
- Mathematics of Computation
Inclusion relations between power methods and matrix methods of limitation
- Abraham Ziv
- 1977
- Trans. Am. Math. Soc.
Inclusion relations between power methods of limitation
- Abraham Ziv
- 1976
- Pacific Journal of Mathematics