Tamadi

Contact : Jean-Claude.Bajard (at) nulllip6.fr
Du 01/10/2010 au 30/09/2013

Dilemme du Fabricant de Tables : En arithmétique virgule flottante (VF), avoir des opérations complètement spécifiées est une exigence-clé, si on veut développer du logiciel portable au comportement prévisible. Ce n'est pas tout-à-fait le cas pour les fonctions mathématiques de base: la même fonction pourra renvoyer des résultats significativement différents suivant l'environnement. Ce manque de spécification est dû à un problème appelé le Dilemme du fabricant de tables que l'on veut résoudre.

Arenaire(Coordinateur), INRIA Rhône-Alpes, INRIA Sophia Antipolis Méditerranée.
ANR

Jean-Claude BAJARD