-
4
-
-
0344119459
-
Pipelined Multiplicative Division with IEEE Rounding
-
Oct
-
Guy Even and Peter-M. Seidel, Pipelined Multiplicative Division with IEEE Rounding, in proceedings of ICCD-03, pp. 240-245, Oct. 2003.
-
(2003)
proceedings of ICCD-03
, pp. 240-245
-
-
Even, G.1
Peter-M2
-
5
-
-
9244233329
-
A Parametric Error Analysis of Goldschmidt's Division Algorithm
-
Feb
-
Guy Even, Peter-Michael Seidel, and Warren Ferguson, "A Parametric Error Analysis of Goldschmidt's Division Algorithm", Journal of Computer and System Sciences, Volume 70, Issue 1, pages 118-139. Feb. 2005.
-
(2005)
Journal of Computer and System Sciences
, vol.70
, Issue.1
, pp. 118-139
-
-
Even, G.1
Seidel, P.-M.2
Ferguson, W.3
-
6
-
-
0038305296
-
-
Barry Lee and Neil Burgess, Parameterisable Floating-point Operations on FPGA, Thirty-Sixth Asilomar Conference on Signals, Systems and Computers, 2, pp. 1064.1068, 2002.
-
Barry Lee and Neil Burgess, Parameterisable Floating-point Operations on FPGA, Thirty-Sixth Asilomar Conference on Signals, Systems and Computers, Vol. 2, pp. 1064.1068, 2002.
-
-
-
-
8
-
-
47349119040
-
-
Leeser, M. and Wang, X., Variable precision floating-point division and square root, Proceedings of the 8th Annual High Performance Embedded Computing Workshop, HPEC 2004, pp. 47-48. 2004.
-
Leeser, M. and Wang, X., Variable precision floating-point division and square root, Proceedings of the 8th Annual High Performance Embedded Computing Workshop, HPEC 2004, pp. 47-48. 2004.
-
-
-
-
9
-
-
34047131764
-
A formal model and efficient traversal algorithm for generating test benches for verification of IEEE standard floating point division
-
D. W. Matula and L. D. McFearin, A formal model and efficient traversal algorithm for generating test benches for verification of IEEE standard floating point division. in Proceedings of the Design Automation and Test in Europe (DATE) Conference, 1134-1138, 2006.
-
(2006)
Proceedings of the Design Automation and Test in Europe (DATE) Conference
, pp. 1134-1138
-
-
Matula, D.W.1
McFearin, L.D.2
-
10
-
-
33846985251
-
-
Morris, G.R. and Prasanna, V.K., An FPGA-Based Floating-Point Jacobi Iterative Solver, 8th International Symposium on Parallel Architectures, Algorithms and Networks, ISPAN 2005. pp. 420.427, 2005.
-
Morris, G.R. and Prasanna, V.K., An FPGA-Based Floating-Point Jacobi Iterative Solver, 8th International Symposium on Parallel Architectures, Algorithms and Networks, ISPAN 2005. pp. 420.427, 2005.
-
-
-
-
13
-
-
47349119558
-
-
D.M. Russinoff. A mechanically checked proof of IEEE compliance of a register-transfer-level specification of the AMD-K7 floating-point multiplication, division, and square root instructions. LMS Journal of Computation and Mathematics, 1:148.200, December 1998.
-
D.M. Russinoff. A mechanically checked proof of IEEE compliance of a register-transfer-level specification of the AMD-K7 floating-point multiplication, division, and square root instructions. LMS Journal of Computation and Mathematics, 1:148.200, December 1998.
-
-
-
|