Systèmes embarqués complexes ou contraints

Contact : Fabien.Rico (at) nulllip6.fr
Du 28/08/2003 au 28/08/2004

Comment assurer ou estimer la précision numérique des calculateurs embarqués ?

univ Perpignan - équipe MANO, CEA - équipe LIST, ENS Lyon - équipe arenaire, Univ. Rennes 1 - LASTI, Univ. Bourgogne - LE2I
CNRS

Fabien RICO