2 résultats : arithmétique flottante

Attention : l'accès aux ressources peut être restreint, soit pour des raisons juridiques, soit par la volonté de l'auteur.
2 résultats
page 1 sur 1
résultats 1 à 2
Canal-U
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 ...
Mots clés : bug, algorithmique, arithmétique flottante, calcul informatique, méthode formelle, nombre à virgule flottante, preuve de programme, vérification de logiciel
Date : 16-06-2009
Droits : Droits réservés à l'éditeur et aux auteurs.
Canal-U
Description : Dans cet exposé Luc Bougé propose une séquence pédagogique autour du calcul avec des très grands nombres qui ne peuvent être codés avec les nombres entiers ou les nombres flottants usuels des machines. Le nombre est alors stocké dans un tableau et devient un objet numérique dont il faut soigneusement ...
Mots clés : vecteur, itération, interface, calcul numérique, application programming interface, API, arithmétique flottante, objet, codage, programmation, précision arbitraire
Date : 16-06-2009
Droits : Droits réservés à l'éditeur et aux auteurs.