Login / Signup

Leveraging Accelerated Simulation for Floating-Point Regression.

John PaulElena GuralnikAnatoly KoyfmanAmir NahirSubrat Panda
Published in: Haifa Verification Conference (2012)
Keyphrases