Taking architecture and compiler into account in formal proofs of numerical programs
Sur des architectures récentes, un programme numérique peut donner des réponses différentes en fonction du hardware et du compilateur. Ces incohérences des résultats viennent du fait que chaque calcul en virgule flottante est effectué avec des précisions différentes. Le but de cette thèse est de pro...
Main Author: | Nguyen, Thi Minh Tuyen |
---|---|
Other Authors: | Paris 11 |
Language: | en |
Published: |
2012
|
Subjects: | |
Online Access: | http://www.theses.fr/2012PA112090/document |
Similar Items
-
Taking architecture and compiler into account in formal proofs of numerical programs
by: Nguyen, Thi Minh Tuyen
Published: (2012) -
Relational properties for specification and verification of C programs in Frama-C
by: Blatter, Lionel
Published: (2019) -
Methods to evaluate accuracy-energy trade-off in operator-level approximate computing
by: Barrois, Benjamin
Published: (2017) -
Contribution to error analysis of algorithms in floating-point arithmetic
by: Plet, Antoine
Published: (2017) -
Aide à la vérification de programmes concurrents par transformation de code et de spécifications
by: Blanchard, Allan
Published: (2016)