Analyse des erreurs d’arrondi sur les nombres à virgule flottante par programmation
par contraintes / Rémy Garcia ; sous la direction de Claude Michel. Thèse de doctorat
: Informatique : Université Côte d'Azur : 2021
Information trouvée : rapportrice de thèse, membre du jury
Calcul des capacités parasites dans les interconnexions des circuits intégrés par
une méthode de domaines fictifs / Sylvie Putot ; sous la direction de Patrick Witomski,
2001. Thèse de doctorat : Mathématiques appliquées : Grenoble 1 : 2001
Static analysis on numeric and structural properties of array contents / par Jiangchao
Liu ; sous la direction de Xavier Rival, 2018 [thèse]
Information trouvée : Examinateur
http://www.lix.polytechnique.fr/Labo/Sylvie.Putot/, 2019-11-07
Information trouvée : Informaticienne. Professeur, Laboratoire d'informatique de l'École polytechnique (LIX,
UMR 7161), Palaiseau, Essonne