Implementation Specific Verification of Divide and Square Root Instructions - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Elena Guralnik, Ariel J. Birnbaum, Anatoly Koyfman, Avi Kaplan. Implementation Specific Verification of Divide and Square Root Instructions. In Javier D. Bruguera, Marius Cornea, Debjit Das Sarma, John Harrison, editors, 19th IEEE Symposium on Computer Arithmetic, ARITH 2009, Portland, Oregon, USA, 9-10 June 2009. pages 114-121, IEEE Computer Society, 2009. [doi]

This author has not been identified. Look up 'Elena Guralnik' in GoogleThis author has not been identified. Look up 'Ariel J. Birnbaum' in GoogleThis author has not been identified. Look up 'Anatoly Koyfman' in GoogleThis author has not been identified. Look up 'Avi Kaplan' in Google

runs on WebDSL