Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation

Abstract : Static analysis by abstract interpretation is one of the most successful techniques used to over-approximate the roundoff errors in numerical programs. In our case, we are inter- ested in using this method to improve the accuracy of pro- grams which perform floating-point computations, known for their sensitivity to the way formulas are written. We are interested in transforming automatically pieces of code by applying to them several rewriting rules. In this arti- cle, we demonstrate the effectiveness of our approach on a non-trivial numerical simulation code.
Type de document :
Communication dans un congrès
ACM International Conference on Computing Frontiers, May 2015, Ischia, Italy. 〈10.1145/2742854.2742894〉
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01133695
Contributeur : Alexandre Chapoutot <>
Soumis le : vendredi 20 mars 2015 - 10:09:13
Dernière modification le : samedi 18 février 2017 - 01:12:44

Identifiants

Citation

Nasrine Damouche, Matthieu Martel, Alexandre Chapoutot. Optimizing the Accuracy of a Rocket Trajectory Simulation by Program Transformation. ACM International Conference on Computing Frontiers, May 2015, Ischia, Italy. 〈10.1145/2742854.2742894〉. 〈hal-01133695〉

Partager

Métriques

Consultations de la notice

86