Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP

Contribution to the study of round-off error control : the Scalp methodology

• Auteur / Autrice : Philippe François
• Direction : Jean-Michel Muller
• Type : Thèse de doctorat
• Discipline(s) : Mathématiques appliquées
• Date : Soutenance en 1989
• Etablissement(s) : Grenoble INPG
• Partenaire(s) de recherche : Laboratoire : Institut d'informatique et mathématiques appliquées (Grenoble1989-2006)

Mots clés

Mots clés contrôlés

Logiciels -- Exactitude

Calcul d'erreur

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