Ilya Nikulshin

Publication Activity (10 Years)

Years Active: 2005-2005
Publications (10 Years): 0

Publications

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)