Ressource documentaire
| Pourquoi mon ordinateur calcule faux? (en Français) | |||
Droits : Droits réservés à l'éditeur et aux auteurs Auteur(s) : BOLDO Sylvie, INRIA 16-06-2009 Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010. Mots-clés libres : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel | TECHNIQUE Type : image en mouvement Format : video/x-flv Source(s) : rtmp://streamer2.cerimes.fr/vod/canalu/videos/fuscia/s_boldo.mp4 | ||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:219418 Type de ressource : Ressource documentaire | |||
| Exporter au format XML |
Ressource pédagogique
| Pourquoi mon ordinateur calcule faux? (en Français) | |||||||||
Identifiant de la fiche : 219418 Schéma de la métadonnée : LOMv1.0, LOMFRv1.0 Droits : libre de droits, gratuit Droits réservés à l'éditeur et aux auteurs Auteur(s) : BOLDO SYLVIE Éditeur(s) : INRIA 16-06-2009 Description : Dans cet exposé Sylvie Boldo nous fait prendre conscience de l'importance des bugs en informatique et des conséquences historiques qu'ils ont pu engendrer. Elle se concentre ensuite sur les problèmes liés aux calculs numériques et montre de manière détaillée et constructive comment prendre la mesure des approximations numériques qui s'effectuent lors d'un calcul numérique au sein d'un logiciel. Elle nous offre à la fois des garde-fous pratiques et une compréhension théorique de la problématique.Cet exposé s'est inscrit dans le cadre d'une formation INRIA proposée en juin 2009 et s'adressait aux professeurs des établissements de l'académie de Versailles proposant l'option Informatique et Objets Numériques à leurs classes de seconde pour l'année scolaire 2009-2010. Mots-clés libres : algorithmique, arithmétique flottante, bug, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
| PEDAGOGIQUE Type pédagogique : cours / présentation Niveau : enseignement supérieur, formation continue TECHNIQUE Type de contenu : image en mouvement Format : video/x-flv Taille : 103.24 Mo Durée d'exécution : 36 minutes RELATIONS Cette ressource fait partie de : | ||||||||
Entrepôt d'origine : Canal-U - OAI Archive Identifiant : oai:canal-u.fr:219418 Type de ressource : Ressource pédagogique | |||||||||
| Exporter au format XML |