Lee D. McFearin

Publication Activity (10 Years)

Years Active: 2001-2006
Publications (10 Years): 0

Publications

David W. Matula, Lee D. McFearin
A formal model and efficient traversal algorithm for generating testbenches for verification of IEEE standard floating point division. DATE (2006)
Peter-Michael Seidel, Lee D. McFearin, David W. Matula
Secondary Radix Recodings for Higher Radix Multipliers. IEEE Trans. Computers 54 (2) (2005)
David W. Matula, Lee D. McFearin
A p×p bit fraction model of binary floating point division and extremal rounding cases. Theor. Comput. Sci. 291 (2) (2003)
David W. Matula, Alex Fit-Florea, Lee D. McFearin
Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup. ASAP (2002)
Lee D. McFearin, David W. Matula
Generation and Analysis of Hard to Round Cases for Binary Floating Point Division. IEEE Symposium on Computer Arithmetic (2001)
Lee D. McFearin, David W. Matula
Selecting A Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division. ICCD (2001)
Peter-Michael Seidel, Lee D. McFearin, David W. Matula
Binary Multiplication Radix-32 and Radix-256. IEEE Symposium on Computer Arithmetic (2001)