David Boland, George A. Constantinides. Automated Precision Analysis: A Polynomial Algebraic Approach. In Ron Sass, Russell Tessier, editors, 18th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, FCCM 2010, Charlotte, North Carolina, USA, 2-4 May 2010. pages 157-164, IEEE Computer Society, 2010. [doi]
Abstract is missing.