Processor support for interval arithmetic

[1]  Earl E. Swartzlander,et al.  Software and Hardware Techniques for Accurate, Self-Validating Arithmetic , 1996 .

[2]  Tom R. Halfhill.  Beyond Pentium II , 1997 .

[3]  S. Vassiliadis,et al.  SCISM: A scalable compound instruction set machine , 1994, IBM J. Res. Dev..

[4]  David A. Patterson,et al.  Computer Architecture: A Quantitative Approach , 1969 .

[5]  Siegfried M. Rump,et al.  Algorithms for verified inclusions—theory and practice , 1988 .

[6]  George F. Corliss.  Industrial Applications of Interval Techniques , 1990, Computer Arithmetic and Self-Validating Numerical Methods.

[7]  Ulrich W. Kulisch,et al.  C++ Toolbox for Verified Computing I , 1995 .

[8]  Earl E. Swartzlander,et al.  Variable-precision, interval arithmetic coprocessors , 1996, Reliab. Comput..

[9]  Earl E. Swartzlander,et al.  A variable-precision interval arithmetic processor , 1994, Proceedings of IEEE International Conference on Application Specific Array Processors (ASSAP'94).

[10]  Ruby B. Lee.  Accelerating multimedia with enhanced microprocessors , 1995, IEEE Micro.

[11]  Anne M. Holler.  Optimization for a superscalar out-of-order machine , 1996, Proceedings of the 29th Annual IEEE/ACM International Symposium on Microarchitecture. MICRO 29.

[12]  Vladik Kreinovich,et al.  Applications of Interval Computations: An Introduction , 1996 .

[13]  Bruce W. Char,et al.  A Tutorial Introduction to Maple , 1986, J. Symb. Comput..

[14]  G. Corliss,et al.  C-Xsc: A C++ Class Library for Extended Scientific Computing , 1993 .

[15]  Evgenija D. Popova,et al.  Interval operations involving NaNs , 1996, Reliab. Comput..

[16]  M. Tremblay,et al.  UltraSparc I: a four-issue processor supporting multimedia , 1996, IEEE Micro.

[17]  G. Alefeld,et al.  Introduction to Interval Computation , 1983 .

[18]  Earl E. Swartzlander,et al.  Hardware design and arithmetic algorithms for a variable-precision, interval arithmetic coprocessor , 1995, Proceedings of the 12th Symposium on Computer Arithmetic.

[19]  Kenneth C. Yeager.  The Mips R10000 superscalar microprocessor , 1996, IEEE Micro.

[20]  G. William Walster,et al.  Stimulating Hardware and Software Support for Interval Arithmetic , 1996 .

[21]  Earl E. Swartzlander,et al.  A processor for staggered interval arithmetic , 1995, Proceedings The International Conference on Application Specific Array Processors.

[22]  G. William Walster.  Philosophy and practicalities of interval arithmetic , 1988 .

[23]  David A. Patterson,et al.  Computer Architecture - A Quantitative Approach, 5th Edition , 1996 .

[24]  Uri C. Weiser,et al.  MMX technology extension to the Intel architecture , 1996, IEEE Micro.

[25]  Chenyi Hu,et al.  Algorithm 737: INTLIB—a portable Fortran 77 interval standard-function library , 1994, TOMS.