Projet ANR EVA-Flo : 2ème réunion 18-19 octobre 2007, Perpignan
Programme
Jeudi 18 octobre 2007
14h30-15h30 :
Probabilities and formal proofs on floating-point arithmetic
, Marc Daumas
15h30-16h30 :
Exemple d'implantation de fonction mathématique sur ST240
, Guillaume Revy
16h30-17h30 :
Une application que j'aimerais qu'EVA-Flo traite pour moi
, Florent de Dinechin
Vendredi 19 octobre 2007
8h30-9h15 :
Certification of the QR factor R
, Gilles Villard
9h15-10h00 :
Vers une implémentation automatiques de fonctions libm
, Christoph Lauter
Optimizing polynomials for floating-point implementation
: article en lien avec cette présentation
10h30-11h15 :
Calcul par intervalles sur GPU & Localité de valeur des arguments de fonctions élémentaires
, Sylvain Collange
11h30-12h30 : discussion :
mises au point et travaux futurs