A combined interval and floating-point comparator/selector

Proceedings of the International Conference on Application-Specific Systems, Architectures and Processors

Volumn 2002-January, Issue , 2002, Pages 208-217

  Akkas, A ^a  

^a KOÇ UNIVERSITY   (Turkey)

Author keywords

Application software; Computer errors; Computerized monitoring; Delay estimation; Digital arithmetic; Integral equations; Nonlinear equations; Robustness; Software tools; Very large scale integration

Indexed keywords

APPLICATION PROGRAMS; COMPARATORS (OPTICAL); COMPUTER AIDED SOFTWARE ENGINEERING; COMPUTER SOFTWARE; DIGITAL ARITHMETIC; INTEGRAL EQUATIONS; NONLINEAR EQUATIONS; NUMERICAL METHODS; ROBUSTNESS (CONTROL SYSTEMS); VLSI CIRCUITS;

COMPUTER ERRORS; DELAY ESTIMATION; DESIGN AND IMPLEMENTATIONS; FLOATING POINTS; INTERVAL ARITHMETIC; INTERVAL SELECTION; NUMERICAL ERRORS; ROBUST METHODS;

COMPUTER ARCHITECTURE;

EID: 10044265225     PISSN: 10636862     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/ASAP.2002.1030720     Document Type: Conference Paper

References (34)

1. R. E. Moore, Interval Analysis. Prentice Hall, 1966.
2. M. E. Jerrell, "Global Optimization Using Interval Arithmetic," Computational Economics, vol. 7, pp. 55-62, 1994.
3. E. Hansen, Global Optimization Using Interval Analysis. Marcel Dekker, 1992.
4. R. B. Kearfott, A Review of Techniques in the Verified Solution of Constrained Global Optimization, vol. 3. 1992.
5. K. Braune, "Standard Functions for Real and Complex Point and Interval Arguments with Dynamic Accuracy," in Scientific Computing with Automatic Result Verification (U. Kulisch and H. J. Stetter, eds.), pp. 159-184, Springer-Verlag, 1989.
6. J. Schroder, "Verification of Polynomial Roots by Closed Coupling of Computer Algebra and Self-Validating Numerical Methods," in Contributions to Computer Arithmetic and Self-Validating Numerical Methods (C. Ullrich, ed.), pp. 259-269, J. C. Baltzer, 1990.
7. H. J. Stetter, "Validated Solution of Initial Value Problem for ODE," in Computer Arithmetic and Self-Validating Numerical Methods (C. Ullrich, ed.), pp. 171-187, Academic Press, 1990.
8. O. Caprani, K. Madsen, and O. Stauning, "Enclosing Solutions of Integral Equations," in International Journal of Reliable Computing. Supplement to the International Workshop on Applications of Interval Computations (V. Kreinovich, ed.), pp. 45-51, 1995.
9. A. Neumaier, Interval Methods for Systems of Equations. Cambridge University Press, 1990.
10. E. Hyvonen and S. D. Pascale, "A New Basis for Spreadsheet Computing," AI Magazine, vol. 21, no. 4, pp. 83-92, 2000.
11. R. B. Kearfott and V. Kreinovich, eds., Applications of Interval Computations: An Introduction. Kluwer Academic 1996.
12. R. E. Moore, Reliability in Computing: The Role of Interval Methods in Scientific Computations. Academic Press, 1988.
13. G. Alefeld and J. Herzberger, Introduction to Interval Computations Academic Press, 1983.
14. G. F. Corliss, "Industrial Applications of Interval Techniques," in Computer Arithmetic and Self-Validating Numerical Methods (C. Ullrich, ed.), pp. 91-113, Academic Press, 1990.
15. G. W. Walster, "Interval Arithmetic: The New Floating-Point Arithmetic Paradigm," Available at http://www.mscs.mu.edu/~globsol/walster-papers.html/.
16. R. B. Kearfott, M. Dawande, K. Du, and C. Hu, "A Portable FORTRAN 77 Elementary Function Library," Interval Computations, vol. 3, pp. 96-105, 1992.
17. R. B. Kearfott, M. Dawande, K. Du, and C. Hu, "Algorithm 737: INTLIB: A Portable FORTRAN 77 Interval Standard Function Library," ACM Transactions on Mathematical Software, vol. 20, pp. 447-459, 1994.
18. O. Knuppel, "PROFIL/BIAS - A Fast Interval Library," Computing, vol. 53, pp. 277-288, 1994.
19. E. Hyvonen and S. D. Pascale, "InC++ Library Family for Interval Computations," in International Journal of Reliable Computing. Supplement to the International Workshop on Applications of Interval Computations (V. Kreinovich, ed.), pp. 85-90, 1995.
20. R. Klatte, U. Kulisch, M. Neaga, D. Ratz, and C. Ullrich, PASCAL-XSC: Language Reference with Examples. Springer-Verlag, 1991.
21. R. Klatte, U. Kulisch, A. Wiethoff, C. Lawo, and M. Rauch, C-XSC: A C++ Class Library for Extended Scientific Computing. Springer-Verlag, 1993.
22. W. V. Valter, "ACRITH-XSC: A Fortran-like Language for Verified Scientific Computing," in Scientific Computing with Automatic Result Verification (E. Adams and U. Kulisch, eds.), pp. 45-70, Academic Press, 1993.
23. J. S. Ely, "The VPI Software Package for Variable Precision Interval Arithmetic," Interval Computations, vol. 2, pp. 135-153, 1993.
24. M. J. Schulte, V. Zelov, A. Akkas, and J. C. Burley, "The Interval-Enhanced GNU Fortran Compiler," Reliable Computing, vol. 5, no. 3, pp. 311-322, 1999.
25. "Interval Arithmetic in the Forte[tm] Fortran 95 Compiler," Available at http://www.sun.com/forte/fortran/interval/.
26. D. Chiriaev and G. W. Walster, "Interval Arithmetic Specification," tech. rep., Sun Microsystems, Inc., 1998. Available at http://www.mscs.mu.edu/~globsol/walster-papers.html/.
27. M. J. Schulte and E. E. Swartzlander, Jr. "A Hardware Design and Arithmetic Algorithms for a Variable-Precision, Interval Arithmetic Coprocessor," in Proceedings of the 12th Symposium on Computer Arithmetic, pp. 163-171, July 1995.
28. M. J. Schulte and E. E. Swartzlander, Jr., "A Family of Variable-Precision, Interval Arithmetic Processors," IEEE Transactions on Computers, vol. 49, pp. 387-398, May 2000.
29. J. E. Stine, Design Issues for Accurate and Reliable Arithmetic. PhD thesis, Lehigh University, Bethlehem, PA, USA, 2001.
30. A. Akkas, Instruction Set Enhancements for Reliable Computations. PhD thesis, Lehigh University, Bethlehem, PA, USA, 2001.
31. R. Kolla, A. Vodopivec, and J. Wolff von Gudenberg, "The IAX Architecture : Interval Arithmetic Extension," Tech. Rep. 225, Universitat Wurzburg, 1999.
32. J. E. Stine and M. J. Schulte, "A Combined Interval and Floating-point Multiplier," in 8th Great Lakes Symposium on VLSI, pp. 208-213, February 1998.
33. J. E. Stine and M. J. Schulte, "A Combined Interval and Floating-point Divider," in Thirty-Second Asilomar Conference on Signals, Systems and Computers, pp. 218-222, November 1998.
34. Institute of Electrical and Electronics Engineers, "ANSI/IEEE 754-1985 Standard for Binary Floating-Point Arithmetic," 1985.