Faire compter les ordinateurs ? Quels algorithmes ?

Conférence de Jean-Michel Muller
vendredi 19 février 2010

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.


Portfolio

L'affiche de la conférence

Agenda

<<

2021

 

<<

Décembre

 

Aujourd'hui

LuMaMeJeVeSaDi
293012345
6789101112
13141516171819
20212223242526
272829303112
Aucun évènement à venir les 6 prochains mois