15 avril 2008
Pourquoi mon ordinateur calcule-t-il faux ?
Nos ordinateurs font eux aussi des erreurs de calcul et cela peut compromettre des programmes ! Sylvie Boldo chercheuse en preuve de programmes et arithmétique des ordinateurs, nous apporte quelques éléments de réponse..
Écoutez l'interview en MP3 (durée : 9 min 40 s).
Libellés : Conférence;interview