Alto Desempenho e Eficiência em Processamento Numérico

• Tiaraju Asmuz Diverio UFRGS
• Philippe Olivier A. Navaux UFRGS
• Dalcidio Moraes Claudio UFRGS

DOI: https://doi.org/10.5753/sbac-pad.1995.19867

Abstract

This paper treats about numerical processing characteristics of efficiency and performance, through the high performance and high accuracy arithmetic definition. This definition rejoins the progress in the computational arithmetic areas, numerical quality, and high performance processing. In the computational mathematics aspect, the high accuracy and performance arithmetic include numbers format standardization and operations in float-pointing for the IEEE 754; operations calculus with maximum accurancy; automatic control of errors in arithmetic operations by the use of direct rounding; optimal scalar product and interval mathematics. In the high performance aspect, the definition includes quickness in the processing through vectorization and result automatic verification. This work still describes the results obtained with the library of interval routines developed in FORTRAN 90, on environment of supercomputer CrayY-MP, as prototype of this high performance arithmetic.

References

ADAMS, E.; KULISCH, U. (Eds.). Scientific Computing with automatic result verification. San Diego: Academic Press, 1993. 612p.

ALEFELD, G.; HERZBERGER, J. lntroduction to Interval computation. New York: Academic Press, 1983. 333p.

CLAUDIO, D. M.; MARINS, J. M. Cálculo numérico computacional. São Paulo: Atlas, 1989. 464p.

CRAY RESEARCH, Inc. CF90 Fortran language reference manual, n.sr.3902, versão 1.0. [S.1 : s.n.], 1993.

DIVERIO, T. A.; HOLBIG, C. A.; NORONHA, C. R. Sistema de Ponto-Flutuante e o Padrão IEEE 754. Porto Alegre: PGCC da UFRGS, 1994. 58p. (RP, 225).

DIVERIO, T. A.; FERNANDES, U. A. L.; DAHMER, A. Limitações do Processamento vetorial no Cray Y -MP2E. Porto Alegre: PGCC da UFRGS, 1995. 60p. (RP, 248).

DIVERIO, T. A. LIBAVI. A Manual de utilização. Porto Alegre: PGCC da UFRGS, 1995. 350p.

IMACS, GAMM. Resolution on computer arithmetic. In: Computer Arithmetic, Scientific Computation and Mathematical Modelling. KAUCHER, E.; MARKOV, S. M.; MAYER, G. (Eds.). Basel: J.C.Baltzer, 1991. (Proceedings of SCAN'90, IMACS Annals on Computing and Applied Mathematics, Albena, Sept 24-28, 1990). v.1 2. p.477-479.

KULISCH, U. W.; MIRANKER, W. L. Computer arithmetic in theory and practice. New York: Academic Press, 1981. 249p.

KULISCH, U. W.; MIRANKER, W. L. A new approach to sclentific computation. New York: Academic Press, 1983. 384p.

KULISCH, U.; MIRANKER, W. R. Computer arithmetic theory and pratice. New York: Academic Press, 1987.

KULISCH, U.; STETTER, H. J. (Eds.). Scientific computation with automatic result verification. Wien: Springer Verlag, 1988. (COMPUTING SUPPLEMENTUM 6, Seminar held in Karlsruhe, Sept 30-Oct 2, 1987).

MOORE, R. E. Interval Analysls. Englewood Cliifs: Prentice Hall, 1966.

MOORE, R. E. Methods and applications for Interval analysls. Philadelphia: SIAM. 1979. 190p.

NEUMAIER, A. Interval methods for systems of equations. Cambridge: Cambridge University Press. 1990. 260p.