Towards fast and certified multiple-precision librairies / Valentina Popescu ; sous la direction de Jean-Michel Muller

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Arithmétique en virgule flottante

Processeurs graphiques

Attracteurs étranges

Systèmes dynamiques

Muller, Jean-Michel (1961-....) (Directeur de thèse / thesis advisor)

Putot, Sylvie (Président du jury de soutenance / praeses)

Ienne, Paolo (Rapporteur de la thèse / thesis reporter)

Graillat, Stef (1978-....) (Rapporteur de la thèse / thesis reporter)

Wilczak, Daniel (Membre du jury / opponent)

Joldes, Mioara Maria (1984-....) (Membre du jury / opponent)

Cornea, Marius (Membre du jury / opponent)

Université de Lyon (2015-....) (Organisme de soutenance / degree-grantor)

École doctorale en Informatique et Mathématiques de Lyon (Ecole doctorale associée à la thèse / doctoral school)

École normale supérieure de Lyon (Autre partenaire associé à la thèse / thesis associated third party)

Laboratoire de l'informatique du parallélisme (Lyon) (Laboratoire associé à la thèse / thesis associated laboratory)