Sharp ULP rounding error bound for the hypotenuse function von Ziv, Abraham

Volltext

Solving the generalized mask constraint for test generation of binary floating point add operation: Real Numbers and Computers von ZIV, Abraham, FOURNIER, Laurent

Volltext

Relative distance---an error measure in round-off error analysis von Ziv, Abraham

Volltext

Solving the generalized mask constraint for test generation of binary floating point add operation von Ziv, Abraham, Fournier, Laurent

Volltext

Fast evaluation of elementary mathematical functions with correctly rounded last bit von ZIV, A

Volltext

Application of Free Impinging Streams to the Combustion of Gas and Pulverized Coal von ABRAHAM, ZIV, LUZZATIO, KFIR, TAMIR, ABRAHAM

Volltext

Generation of test cases with range constraints for floating point add and subtract instructions von ZIV ABRAHAM

Volltext bestellen

Application of iron oxide anoparticles in neuronal tissue engineering von Ziv-Polat, Ofra, Margel, Shlomo, Shahar, Abraham

Volltext

GENERATION OF TEST CASES WITH RANGE CONSTRAINTS FOR FLOATING POINT ADD AND SUBTRACT INSTRUCTIONS von ZIV ABRAHAM

Volltext bestellen

Generation of test cases with range constraints for floating point add and subtract instructions von ZIV ABRAHAM

Volltext bestellen

Generation of test cases with range constraints for floating point add and subtract instructions von Ziv, Abraham

Volltext bestellen

Generation of test cases with range constraints for floating point add and subtract instructions von ZIV ABRAHAM

Volltext bestellen

Generation of test cases with range constraints for floating point add and subtract instructions von Ziv, Abraham

Volltext bestellen

Converting Approximate Error Bounds into Exact Ones von Ziv, Abraham

Volltext

GENERATION OF TEST CASES WITH RANGE CONSTRAINTS FOR FLOATING POINT ADD AND SUBTRACT INSTRUCTIONS von ZIV ABRAHAM

Volltext bestellen

GENERATION OF TEST CASES WITH RANGE CONSTRAINTS FOR FLOATING POINT ADD AND SUBTRACT INSTRUCTIONS von ZIV ABRAHAM

Volltext bestellen

Generation of test cases with range constraints for floating point add and subtract instructions von ZIV ABRAHAM

Volltext bestellen

Solving constraints on the invisible bits of the intermediate result for floating-point verification von Aharoni, M., Asaf, S., Maharik, R., Nehama, I., Nikulshin, I., Ziv, A.

Volltext

Relative Distance--An Error Measure in Round-Off Error Analysis von Ziv, Abraham

Volltext

A stable method for the evaluation of a polynomial and of a rational function of one variable von ZIV, A

Volltext