Des ordinateurs capables de calculer plus juste

Jean-Michel Muller (1, 2) , Sylvie Boldo (3, 4)

1 ARIC - Arithmetic and Computing
2 LIP - Laboratoire de l'Informatique du Parallélisme
3 LRI - Laboratoire de Recherche en Informatique
4 TOCCATA - Formally Verified Programs, Certified Tools and Numerical Computations

Additionner 3 nombres quelconques sans erreur peut devenir mission impossible pour un ordinateur. Afin de pallier ce manque de fiabilité, les informaticiens inventent une nouvelle arithmétique. Indispensable pour construire un pont ou une aile d'avion.

Domaines: Autre [cs.OH]

Jean-Michel Muller, Sylvie Boldo. Des ordinateurs capables de calculer plus juste. La Recherche, 2014, pp.46-53. ⟨ensl-01069744⟩