Thi Minh Tuyen Nguyen

  • Citations Per Year
Learn More
On recent architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation whatever the(More)
On certain recently developed architectures, a numerical program may give different answers depending on the execution hardware and the compilation. Our goal is to formally prove properties about numerical programs that are true for multiple architectures and compilers. We propose an approach that states the rounding error of each floating-point computation(More)
On some recently developed architectures, a numerical program may give different answers<lb>depending on the execution hardware and the compilation. These discrepancies of the results<lb>come from the fact that each floating-point computation is calculated with different precisions.<lb>The goal of this thesis is to formally prove properties about numerical(More)
  • 1