TY  - THES
DP  - http://www.theses.fr/2007PERP0842
TI  - Algorithmes compensés en arithmétique flottante : précision, validation, performances
AU  - Louvet, Nicolas
A3  - Langlois, Philippe
PY  - 2007
SP  - 1 vol.(185 p.)
N1  - Thèse de doctorat Informatique Perpignan 2007
N1  - 2007PERP0842
ER  - 

TY  - THES
DP  - http://www.theses.fr/2001ENSL0185
TI  - Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE
AU  - Finot-Moreau, Claire
A3  - Daumas, Marc; Muller, Jean-Michel
PY  - 2001
SP  - 1 vol. (127 p.)
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure (sciences) 2001
N1  - 2001ENSL0185
ER  - 

TY  - THES
DP  - http://www.theses.fr/2012ENSL0721
TI  - Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques
AU  - Panhaleux, Adrien
A3  - Muller, Jean-Michel
PY  - 2012
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2012
N1  - 2012ENSL0721
UR  - http://www.theses.fr/2012ENSL0721/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2014PERP1176
TI  - Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754
AU  - Thévenoux, Laurent
A3  - Martel, Matthieu; Langlois, Philippe
PY  - 2014
SP  - 1 vol. (187 p.)
N1  - Thèse de doctorat Informatique Perpignan 2014
N1  - 2014PERP1176
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016PERP0032
TI  - Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods
AU  - Damouche, Nasrine
A3  - Martel, Matthieu; Chapoutot, Alexandre
PY  - 2016
N1  - Thèse de doctorat Informatique Perpignan 2016
N1  - 2016PERP0032
UR  - http://www.theses.fr/2016PERP0032/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2011ESAE0005
TI  - Algorithmes robustes de lancer de rayons pour calcul de dose interactif
AU  - Perrotte, Lancelot
A3  - Lecussan, Bernard
PY  - 2011
SP  - 1 vol. (139 p.)
N1  - Thèse de doctorat Sûreté de logiciel et calcul de haute performance Toulouse, ISAE 2011
N1  - 2011ESAE0005
ER  - 

TY  - THES
DP  - http://www.theses.fr/1986PA112285
TI  - Filtrage de Kalman appliqué à la déconvolution de signaux monodimensionnels : étude d'un nouvel algorithme de type Kalman rapide : expérimentations numériques : implantation dans un processeur spécialisé opérant en arithmétique entière
AU  - Reynaud, Roger
A3  - Directeur de thèse inconnu, 
PY  - 1986
SP  - 1 vol. (145 f.)
N1  - Thèse de doctorat Sciences de l'ingénieur Paris 11 1986
N1  - 1986PA112285
ER  - 

TY  - THES
DP  - http://www.theses.fr/2021UPASM004
TI  - Managing the compromise between performance and accuracy in simulation codes
AU  - Demeure, Nestor
A3  - Denis, Christophe
PY  - 2021
N1  - Thèse de doctorat Mathématiques appliquées université Paris-Saclay 2021
N1  - 2021UPASM004
UR  - http://www.theses.fr/2021UPASM004/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016LYSEN030
TI  - Tools for the Design of Reliable and Efficient Functions Evaluation Libraries
AU  - Torres, Serge
A3  - Muller, Jean-Michel
PY  - 2016
N1  - Thèse de doctorat Informatique Lyon 2016
N1  - 2016LYSEN030
UR  - http://www.theses.fr/2016LYSEN030/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1988CLF2D212
TI  - Etude et realisation d'une carte accelerateur en format flottant 32 bits
AU  - Mansour, Kassem
A3  - Gallice, Jean
PY  - 1988
SP  - 172 P.
N1  - Thèse de doctorat Sciences appliquées Clermont-Ferrand 2 1988
N1  - 1988CLF2D212
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016PERP0045
TI  - How to improve the numerical reproducibility of hydrodynamics simulations : analysis and solutions for one open-source HPC software
AU  - Nheili, Rafife
A3  - Langlois, Philippe; Denis, Christophe
PY  - 2016
N1  - Thèse de doctorat Informatique Perpignan 2016
N1  - 2016PERP0045
UR  - http://www.theses.fr/2016PERP0045/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2011ENSL0617
TI  - Efficient algorithms for verified scientific computing : Numerical linear algebra using interval arithmetic
AU  - Nguyen, Hong Diep
A3  - Villard, Gilles
PY  - 2011
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2011
N1  - 2011ENSL0617
UR  - http://www.theses.fr/2011ENSL0617/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1990REN10152
TI  - Conception d'une cellule de calculs arithmétiques pour la synthèse d'image
AU  - Rousée, Franck
A3  - Quinton, Patrice
PY  - 1990
SP  - 1 vol. (163 p.)
N1  - Thèse de doctorat Informatique Rennes 1 1990
N1  - 1990REN10152
ER  - 

TY  - THES
DP  - http://www.theses.fr/2017LYSEN036
TI  - Towards fast and certified multiple-precision librairies
AU  - Popescu, Valentina
A3  - Muller, Jean-Michel
PY  - 2017
N1  - Thèse de doctorat Informatique Lyon 2017
N1  - 2017LYSEN036
UR  - http://www.theses.fr/2017LYSEN036/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1993EMSEA001
TI  - Opérations booléennes sur les polyèdres représentés par leurs frontières et imprécisions numériques
AU  - Benouamer, Mohand Ourabah
A3  - Péroche, Bernard
PY  - 1993
SP  - 1 vol. (152 p.)
N1  - Thèse de doctorat Informatique Saint-Etienne, EMSE 1993
N1  - 1993EMSEA001
UR  - http://www.theses.fr/1993EMSEA001/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2011ENSL0655
TI  - Approximations polynomiales rigoureuses et applications
AU  - Joldes, Mioara Maria
A3  - Muller, Jean-Michel; Brisebarre, Nicolas
PY  - 2011
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2011
N1  - 2011ENSL0655
UR  - http://www.theses.fr/2011ENSL0655/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1986PA066537
TI  - Etude et realisation d'un co-processeur arithmetique en virgule flottante
AU  - Paez-Monzon, Gérard
A3  - NOGUEZ, GERARD
PY  - 1986
SP  - 229 P.
N1  - Thèse de doctorat Sciences appliquées Paris 6 1986
N1  - 1986PA066537
ER  - 

TY  - THES
DP  - http://www.theses.fr/1998GRE10065
TI  - Courbes de Bézier en géométrie algorithmique : approximation et cohérence topologique
AU  - Neagu, Manuela
A3  - Lacolle, Bernard
PY  - 1998
SP  - 1 vol. (vii-211 p.)
N1  - Thèse de doctorat Mathématiques appliquées Grenoble 1 1998
N1  - 1998GRE10065
UR  - http://www.theses.fr/1998GRE10065/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1996REN10172
TI  - Réalisation d'une chaîne de transmission numérique par voie ionosphérique
AU  - Rigaudeau, Serge
A3  - Joindot, Michel
PY  - 1996
SP  - 1 vol. (200 p.)
N1  - Thèse de doctorat Traitement du signal et télécommunications Rennes 1 1996
N1  - 1996REN10172
ER  - 

TY  - THES
DP  - http://www.theses.fr/1996ENSL0012
TI  - Contributions a l'arithmetique des ordinateurs : vers une maitrise de la precision
AU  - Daumas, Marc
A3  - Muller, Jean-Michel
PY  - 1996
SP  - 126 P.
N1  - Thèse de doctorat Sciences appliquées Lyon, École normale supérieure (sciences) 1996
N1  - 1996ENSL0012
ER  - 

TY  - THES
DP  - http://www.theses.fr/2013PA066468
TI  - Conception et implantation d'algorithmes efficaces pour la résolution du dilemme du fabricant de tables sur architecture parallèles
AU  - Gouicem, Mourad
A3  - Bajard, Jean-Claude
PY  - 2013
SP  - 1 vol. (152 p.)
N1  - Thèse de doctorat Informatique Paris 6 2013
N1  - 2013PA066468
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016USPCC021
TI  - Verasco : a Formally Verified C Static Analyzer
AU  - Jourdan, Jacques-Henri
A3  - Leroy, Xavier
PY  - 2016
SP  - 1 vol. (X-228 p.)
N1  - Thèse de doctorat Informatique Sorbonne Paris Cité 2016
N1  - 2016USPCC021
ER  - 

TY  - THES
DP  - http://www.theses.fr/2012ENSL0762
TI  - Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection
AU  - Jourdan (Lu), Jingyan
A3  - Muller, Jean-Michel
PY  - 2012
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure 2012
N1  - 2012ENSL0762
UR  - http://www.theses.fr/2012ENSL0762/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2017REN1S097
TI  - Methods to evaluate accuracy-energy trade-off in operator-level approximate computing
AU  - Barrois, Benjamin
A3  - Sentieys, Olivier
PY  - 2017
N1  - Thèse de doctorat Traitement du signal et télécommunications Rennes 1 2017
N1  - 2017REN1S097
UR  - http://www.theses.fr/2017REN1S097/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2014PA066357
TI  - Implémentation optimale de filtres linéaires en arithmétique virgule fixe
AU  - Lopez, Benoit
A3  - Didier, Laurent-Stéphane; Hilaire, Thibault
PY  - 2014
N1  - Thèse de doctorat Informatique Paris 6 2014
N1  - 2014PA066357
UR  - http://www.theses.fr/2014PA066357/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/1997METZ003S
TI  - Imprécisions numériques : méthode d'estimation et de contrôle de la précision en C.A.O
AU  - Pirus, Denise
A3  - Gardan, Yvon
PY  - 1997
SP  - 1 vol. (IV-120 f.)
N1  - Thèse de doctorat Informatique Metz 1997
N1  - 1997METZ003S
UR  - http://www.theses.fr/1997METZ003S/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2017LYSEN038
TI  - Contribution to error analysis of algorithms in floating-point arithmetic
AU  - Plet, Antoine
A3  - Muller, Jean-Michel
PY  - 2017
N1  - Thèse de doctorat Informatique Lyon 2017
N1  - 2017LYSEN038
UR  - http://www.theses.fr/2017LYSEN038/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2017REN1S102
TI  - Implementation trade-offs for FGPA accelerators
AU  - Deest, Gaël
A3  - Derrien, Steven; Sentieys, Olivier
PY  - 2017
N1  - Thèse de doctorat Informatique Rennes 1 2017
N1  - 2017REN1S102
UR  - http://www.theses.fr/2017REN1S102/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2009ENSL0549
TI  - Implementation of binary floating-point arithmetic on embedded integer processors : Polynomial evaluation-based algorithms and certified code generation
AU  - Revy, Guillaume
A3  - Villard, Gilles; Jeannerod, Claude-Pierre
PY  - 2009
SP  - 1 vol. (XIV-211 p.)
N1  - Thèse de doctorat Informatique Lyon, École normale supérieure (sciences) 2009
N1  - 2009ENSL0549
ER  - 

TY  - THES
DP  - http://www.theses.fr/2015GREAM053
TI  - Quelques contributions à la modélisation numérique de structures élancées pour l'informatique graphique
AU  - Casati, Romain
A3  - Brogliato, Bernard; Bertails, Florence
PY  - 2015
N1  - Thèse de doctorat Mathématiques et informatique Université Grenoble Alpes (ComUE) 2015
N1  - 2015GREAM053
UR  - http://www.theses.fr/2015GREAM053/document
ER  - 

TY  - THES
DP  - http://www.theses.fr/2016SACLX025
TI  - Short-term hydropower production scheduling : feasibility and modeling
AU  - Sahraoui, Youcef
A3  - Liberti, Leo
PY  - 2016
N1  - Thèse de doctorat Mathématiques et informatique Université Paris-Saclay (ComUE) 2016
N1  - 2016SACLX025
UR  - http://www.theses.fr/2016SACLX025/document
ER  -