Department of Mathematics, Physics and Computer Science (Oranim Campus)

167 Article
19 Conference contribution
4 Conference article
2 Chapter
More

1 results

Filter

2005
Solving constraints on the invisible bits of the intermediate result for floating-point verification
Aharoni, M., Asaf, S., Maharik, R., Nehama, I., Nikulshin, I. & Ziv, A., 2005, p. 76-83. 8 p.
Research output: Contribution to conference › Paper › peer-review

Open Access