Laboratório de alta exatidáo e alto desempenho

Este trabalho descreve o sistema de software Laboratório de Alta Exatidão e Alto Desempenho, desenvolvido para resolução de problemas da computação científica com verificação automática do resultado. O sistema é composto por um núcleo de alta exatidão, peia biblioteca de rotinas básicas intervalares (Iibavi.a) e pelos módulos aplicativos intervalares. Entre as caracteristicas principais desse sistema esmo a verifição automática, do resultado pelo computador, a alta exatidão e o alto desempenho que são decorrentes do uso do supercomputador Cray Y-MP e da linguagem Fortran 90. This paper describes the system of High Accuracy and High Performance lAboratory software developed for solution of problems of the scientmc computing with automaqc result verification. The system is composed of a high accuracy kernel, the library of interval basie roútmes (libavi.a) andinterval applied modules. Among the main features of this system ,are the automatic result verification by the computer, the high accuracy and the high performance, wruch resutts from the use of Cray Y-MP supercomputer and Fortran 90 language. Eje: Ingeniería de Software