Transformation de Programmes pour des Nombres Réels Fiables
Cette thèse présente un algorithme qui élimine les racines carrées et les divisions dans des programmes sans boucles, utilisés dans des systèmes embarqués, tout en préservant la sémantique. L'élimination de ces opérations permet d'éviter les erreurs d'arrondis à l'exécution, ces...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Ecole Polytechnique X
2013
|
| Subjects: | |
| Online Access: | http://pastel.archives-ouvertes.fr/pastel-00960808 http://pastel.archives-ouvertes.fr/docs/00/96/08/08/PDF/pnthese.pdf |