a query on hardware support for interval arithmetic

[Mike Schulte]

Friends:

A bibliography on papers that relate to Hardware Support for Accurate and 
Reliable Computing (including support for interval arithmetic) can be 
accessed from my research team's homepage at
   http://www.eecs.lehigh.edu/~caar/hwpg.html
The link to the bibliography is at the bottom of this page. 

Best regards,

Mike
-----------------------------------------------------------------------
Michael Schulte, Assistant Professor
Dept. of EECS, Lehigh University
Bethlehem, PA 18015
Email: schulteaeecs.lehigh.edu
Phone: (610)-758-5036
FAX: (610)-758-6279
Office: 326 Packard Lab
Personal Homepage: http://www.eecs.lehigh.edu/~mschulte
Research Homepage: http://www.eecs.lehigh.edu/~caar

> From owner-reliable_computingainterval.usl.edu Sun Apr  5 15:32 EDT 1998
> To: reliable_computingainterval.usl.edu
> Subject: a query on hardware support for interval arithmetic
> Cc: John_Fungeaccm.sc.intel.com
> Sender: owner-reliable_computingainterval.usl.edu
> Content-Type: text
> Content-Length: 2659
> X-Lines: 71
> 
> Dear Friends,
> 
> John Funge has asked the following question:
> 
> From: John Funge <John_Fungeaccm.sc.intel.com>
> 
> ...
> I have become interested in hardware, and in particular in
> hardware support for interval arithmetic. I am interested in 
> finding out what could be provided above and beyond IEEE 754.  
> My search through the literature has 
> so far turned up a few proposals on extra hardware support, but 
> I would gladly welcome any additional pointers you could give me?
> ...
> 
> I myself found the following references (see below), plus some
> additional references on parallelization which, if I understand
> correctly, are somewhat beyond his question. If you know of any more
> references or, ideally, a bibliography, please let him know. 
> 
> Thanks.
> 
> Vladik
> 
> P.S. Please take into consideration that John Funge is now working at
> Intel, so his email has (rather) recently changed. His current email is
> given in the header of his email message.
> 
> U. Kulisch, G. Bohlender, ``Features of a hardware implementation
> of an optimal arithmetic'', In: U. Kulisch, W. L. Miranker (eds), {\it
> A new approach to scientific computation}, Academic Press, Orlando,
> FL, 1983, pp. 269--290. 
> 
> M. J. Schulte and E.  E.  Swartzlander, Jr.,
> ``Parallel Hardware Designs for Correctly Rounded
> Elementary Functions'', 
> {\it Interval Computations}, 1993, No. 4, pp. 65--88.
> 
> M. J. Schulte and E. E. Swartzlander, Jr.,
> ``Design and applications for variable-precision, 
>  interval arithmetic coprocessors'', 
> In: V. Kreinovich (ed.), 
> {\it Reliable Computing}, 1995, Supplement (Extended Abstracts of 
> APIC'95: International Workshop on Applications of Interval Computations, 
> El Paso, TX, Febr. 23--25, 1995),
> pp. 166--172.
> 
> G.~Bohlender, ``What Do We Need Beyond IEEE Arithmetic?,'' in: 
> C. Ullrich (ed.), {\em Computer
>   Arithmetic and Self-Validating Numerical Methods},
> Academic Press, N.Y., 1990, pp. 1--32.
> 
> M.~Schulte and E.~Swartzlander, ``{Exact Rounding of Certain Elementary
>   Functions},'' In: {\em Eleventh Symposium on Computer Arithmetic},
> 1993, pp. 128--145.
> 
> M. J. Schulte and E. E. Swartzlander, Jr.,
> ``A software interface and hardware design for variable-precision
> interval arithmetic",
> {\it Reliable Computing}, 1995, Vol. 1, pp. 325--342. 
> 
> (In my own paper with Slava Nexterov and two other co-authors:
> 
> Hung T. Nguyen, Vladik Kreinovich, Vyacheslav Nesterov, 
> and Mutsumi Nakamura,
> ``On hardware support for interval computations and for 
> soft computing: a theorem'', {\it IEEE
> Transactions on Fuzzy Systems}, 1997, Vol. 5, No. 1, pp. 108--127.
> 
> we mainly discuss the theoretical issues of which operations should be
> supported, justifying the support for scalar product).
>