 | 2006 |
|---|
| 7 |       | 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: 1134-1138 |
| 2005 |
|---|
| 6 | | Peter-Michael Seidel,
Lee D. McFearin,
David W. Matula:
Secondary Radix Recodings for Higher Radix Multipliers.
IEEE Trans. Computers 54(2): 111-123 (2005) |
| 2003 |
|---|
| 5 |  | 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): 159-182 (2003) |
| 2002 |
|---|
| 4 | | David W. Matula,
Alex Fit-Florea,
Lee D. McFearin:
Evaluating Products of Non Linear Functions by Indirect Bipartite Table Lookup.
ASAP 2002: 120-129 |
| 2001 |
|---|
| 3 | | Lee D. McFearin,
David W. Matula:
Selecting A Well Distributed Hard Case Test Suite for IEEE Standard Floating Point Division.
ICCD 2001: 89-97 |
| 2 | | 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: 119-127 |
| 1 | | Peter-Michael Seidel,
Lee D. McFearin,
David W. Matula:
Binary Multiplication Radix-32 and Radix-256.
IEEE Symposium on Computer Arithmetic 2001: 23-32 |
