Automated precision analysis: A polynomial algebraic approach

Proceedings - IEEE Symposium on Field-Programmable Custom Computing Machines, FCCM 2010

Volumn , Issue , 2010, Pages 157-164

  Boland, David ^a   Constantinides, George A ^a  

^a IMPERIAL COLLEGE LONDON   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRAIC APPROACHES; CONJUGATE GRADIENT ALGORITHMS; DOUBLE PRECISION; EXECUTION TIME; FINITE PRECISION; GENERAL PURPOSE PROCESSORS; IEEE STANDARDS; KEY FACTORS; NUMBER REPRESENTATION; NUMBER SYSTEM; PRECISION ANALYSIS; SOFTWARE IMPLEMENTATION;

COMPUTERS; CONJUGATE GRADIENT METHOD; PROGRAM PROCESSORS; SPECIFICATIONS;

ALGORITHMS;

EID: 77954308601     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/FCCM.2010.32     Document Type: Conference Paper

References (23)

1. G. A. Constantinides, P. Y. K. Cheung, and W. Luk, Synthesis And Optimization Of DSP Algorithms. Norwell, MA, USA: Kluwer Academic Publishers, 2004.
2. A. Buttari, J. Dongarra, J. Kurzak, P. Luszczek, and S. Tomov, "Using mixed precision for sparse matrix computations to enhance the performance while achieving 64-bit accuracy," ACM Trans. Math. Softw., vol. 34, no. 4, pp. 1-22, 2008.
3. Nvdia, "Tesla c1060 computing processor board," Tech. Rep., January 2007. [Online]. Available: http://www.nvidia.com/docs/IO/43395/BD-04111- 001-v05.pdf.
4. J. A. Kahle, M. N. Day, H. P. Hofstee, C. R. Johns, T. R. Maeurer, and D. Shippy, "Introduction to the cell multiprocessor," IBM J. Res. Dev., vol. 49, no. 4/5, pp. 589-604, 2005.
5. B. Holland, K. Nagarajan, C. Conger, A. Jacobs, and A. D. George, "RAT: a methodology for predicting performance in application design migration to FPGAs," in Proc. Workshop on High-performance reconfigurable computing technology and applications. New York, NY, USA: ACM, 2007, pp. 1-10.
6. G. Constantinides, P. Cheung, and W. Luk, "Wordlength optimization for linear digital signal processing," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 22, no. 10, pp. 1432-1442, Oct. 2003.
7. D. Boland and G. Constantinides, "An FPGA-based implementation of the MINRES algorithm," in Proc. Int. Conf. Field Programmable Logic and Applications, Sept. 2008, pp. 379-384.
8. A. Lopes and G. Constantinides, "A high throughput FPGA-based floating point conjugate gradient implementation," Re-configurable Computing: Architectures, Tools and Applications, pp. 75-86, 2008.
9. R. E. Moore, Interval Analysis. Englewood Cliff, NJ: Prentice-Hall, 1966.
10. A. B. Kinsman and N. Nicolici., "Finite precision bit-width allocation using SAT-modulo theory," in Proc. Int. Conf. DATE, 2009.
11. G. Constantinides, P. Cheung, and W. Luk, "Optimum wordlength allocation," in Proc. IEEE Symp. on Field-Programmable Custom Computing Machines, 2002, pp. 219-228.
12. D.-U. Lee A. Gaffar R. Cheung O. Mencer W. Luk and G. Constantinides "Accuracy-guaranteed bit-width optimization" IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems vol. 25 no. 10 pp. 1990-2000 Oct. 2006.
13. M. L. Chang and S. Hauck, "Précis: A design-time precision analysis tool," in Proc. IEEE Symp. on Field-Programmable Custom Computing Machines. Washington, DC, USA: IEEE Computer Society, 2002, pp. 229-238.
14. H. Choi and W. Burleson, "Search-based wordlength optimization for VLSI/DSP synthesis," in Proc. Workshop on VLSI Signal Processing, VII, 1994, pp. 198-207.
15. Z. Zhao and M. Leeser, "Precision modeling and bit-width optimization of floating-point applications," in High Performance Embedded Computing, 2003, pp. 141-142.
16. K.-I. Kum and W. Sung, "Combined word-length optimization and high-level synthesis of digital signal processing systems," IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, vol. 20, no. 8, pp. 921-930, Aug 2001.
17. J. de Figueiredo, Luiz Henrique Stolfi, "Affine arithmetic: concepts and applications," Numerical Algorithms, vol. 37, no. 1, pp. 147-158, 2004.
18. R. E. Moore and F. Bierbaum, Methods and Applications of Interval Analysis. Soc for Industrial & Applied Math, 1979.
19. B. Einarsson, Handbook on Accuracy and Reliability in Scientific Computation. Soc for Industrial & Applied Math, 2005, ch. 10, p. 195240.
20. L. H. D. Figueiredo and J. Stolfi, "Affine arithmetic: Concepts and applications," Numerical Algorithms, vol. 37, no. 1, pp. 147-158, 2003.
21. N. J. Higham, Accuracy and Stability of Numerical Algorithms, 2nd ed. Philadelphia, PA, USA: Soc for Industrial & Applied Math, 2002.
22. D. Handelman, "Representing polynomials by positive linear functions on compact convex polyhedra," Pac. J. Math, vol. 132, no. 1, pp. 35-62, 1988.
23. L. Fousse, G. Hanrot, V. Lefèvre, P. Pélissier, and P. Zimmermann, "MPFR: A multiple-precision binary floating-point library with correct rounding," ACM Trans. Math. Softw., vol. 33, no. 2, June 2007.