Contribution to the study of round-off error control : the Scalp methodology
Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP
Résumé
La première partie de la thèse consiste en un tour d'horizon des principales méthodes de contrôle des erreurs d'arrondis. On y discute particulièrement les fondements des modèles probabilistes d'évaluation de cette erreur. La deuxième partie présente une nouvelle méthodologie: scalp d'analyse de la qualité arithmétique d'un logiciel. Après avoir défini de nouveaux indices théoriques de la qualité arithmétique on expose une methode logicielle d'estimation de ceux-ci