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

<<

2020

 

<<

Août

 

Aujourd'hui

LuMaMeJeVeSaDi
272829303112
3456789
10111213141516
17181920212223
24252627282930
31123456
Aucun évènement à venir les 6 prochains mois