5·î17Æü(ÌÚ) 15:00 -- 16:00 Ulrich W. Kulisch
(University of Karlsruhe, Germany)
``Advanced Arithmetic for the Digital Computer - Design of
Arithmetic Units''
``Advanced Arithmetic for the Digital Computer - Design of Arithmetic Units''
Numerical Mathematics has devised algorithms that deliver highly accurate
and automatically verified results. However, the arithmetic available on
existing processors makes these methods extremely slow. Advances in computer
technology are now so profound that there is no need anymore to perform all
computer calculations by the four elementary floating-point operations.
The talk will define advanced computer arithmetic. It extends the accuracy
requirement of the elementary floating-point operations -for instance, as
defined by the IEEE arithmetic standard - to all operations in the usual
product spaces of computation: the real and complex vector spaces and their
interval counterparts. The talk will discuss the design of arithmetic units
for advanced computer arithmetic. The new expanded computational capability
is gained at modest cost. It increases both, the speed of a computation as
well as the accuracy of the computed result.
Literature:
Kulisch: Advanced Arithmetic for the Digital Computer -
Design of Arithmetic Units:
http//www.elsvier.nl/locate/entcs/volume24.html
Kulisch: Advanced Arithmetic for the Digital Computer - Interval
Arithmetic Revisited:
ftp://ftp.iam.uni-karlsruhe.de/pub/documents/kulisch/advarith.ps.gz