Mercredi 17 mars

15h

Espace Mendès France

Poitiers

Les programmes arithmétiques sont de plus en plus complexes, d’où une probabilité loin d’être négligeable de laisser des erreurs. Comment éviter de le faire ? L’arithmétique virgule flottante a été conçue comme une simple approximation de l’arithmétique réelle. Cependant, comme le comportement de chaque opération est complètement spécifié par une norme (la norme IEEE-754), l’arithmétique virgule flottante peut aussi être vue comme une structure mathématique sur laquelle on peut construire des algorithmes et des preuves. C’est ainsi que l’on peut construire des algorithmes arithmétiques nettement plus rapides et précis que ce que l’on pouvait faire auparavant. On donnera quelques exemples montrant l’intérêt de cette approche.

Jean-Michel Muller est directeur de recherches au CNRS, il est membre du LIP (Laboratoire de l’Informatique du Parallélisme), commun au CNRS, à l’ENS Lyon, à l’INRIA et à l’Université Claude Bernard Lyon 1.