Taking architecture and compiler into account in formal proofs of numerical programs
On some recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. These discrepancies of the results come from the fact that each floating-point computation is calculated with different precisions. The goal of this thesi...
| Main Author: | |
|---|---|
| Language: | English |
| Published: |
Université Paris Sud - Paris XI
2012
|
| Subjects: | |
| Online Access: | http://tel.archives-ouvertes.fr/tel-00710193 http://tel.archives-ouvertes.fr/docs/00/71/01/93/PDF/VD2_NGUYEN_Thi-Minh-Tuyen_11062012.pdf |