Abstract FR:

Le controle de la precision des resultats de logiciels numeriques reste necessaire quelle que soit l'architecture informatique. Parmi les methodes permettant ce controle, nous nous sommes interesse a la methode cestac (controle et estimation stochastique des arrondis de calculs) basee sur une approche stochastique du probleme de la propagation des erreurs d'arrondi. L'utilisation de cette methode engendre neanmoins une certaine augmentation du temps machine. Actuellement le calcul scientifique se fait de plus en plus sur des machines paralleles. D'une part, afin de diminuer le temps des calculs, nous proposons la parallelisation de la methode cestac et d'autre part, puisque le probleme de validation de calculs sur ce type d'architecture devient inevitable, nous avons mis au point un prototype de validation numerique adapte aux architectures paralleles. Ce prototype appele rapp (random arithmetic parallel prototype) comporte deux versions: rapp. 1 developpee en occam sur la machine t-node et rapp. 2 developpee en fortran90 en utilisant la bibliotheque d'echange de messages pvm (parallel virtual machine) et mis au point sur la connection machine cm5. La programmation sur des machines paralleles fait appel, pour chacune d'entre elles, a des concepts et a des techniques differentes. La parallelisation de la methode cestac a ete faite suivant le mode mimd et d'une facon independante des architectures paralleles