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...

Full description

Bibliographic Details
Main Author: Nguyen, Thi Minh Tuyen
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