Contribution à l'étude de méthodes de contrôle automatique de l'erreur d'arrondi : la méthodologie SCALP
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...
| Main Author: | |
|---|---|
| Language: | FRE |
| Published: |
1989
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00334459 http://tel.archives-ouvertes.fr/docs/00/33/44/59/PDF/Francois.Philippe_1989_these.pdf |
| Summary: | 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 |
|---|