Résultats 1 à 10

EXPORTER les résultats
S'ABONNER à theses.fr

Dates de soutenance :


Etablissements :

Valider et fermer
  • Perpignan (5)
  • Lyon, École normale supérieure (4)
  • Rennes 1 (4)
  • Lyon (3)
  • Lyon, École normale supérieure (sciences) (3)
  • Paris 6 (3)
  • université Paris-Saclay (2)
  • Clermont-Ferrand 2 (1)
  • Grenoble 1 (1)
  • Metz (1)
  • Paris 11 (1)
  • Saint-Etienne, EMSE (1)
  • Sorbonne Paris Cité (1)
  • Toulouse, ISAE (1)
  • Université Grenoble Alpes (ComUE) (1)
  • Université Paris-Saclay (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (22)
  • Sciences appliquées (3)
  • Mathématiques appliquées (2)
  • Mathématiques et informatique (2)
  • Traitement du signal et télécommunications (2)
  • Sciences de l'ingénieur (1)
  • Sûreté de logiciel et calcul de haute performance (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (7)
  • École doctorale Énergie environnement (Perpignan) (4)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Informatique, télécommunications et électronique de Paris (1)
  • École doctorale Sciences et technologies de l'information et de la communication (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences mathématiques de Paris centre (Paris2000-....) (1)
  • École doctorale de mathématiques Hadamard (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale Énergie environnement (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (16)
  • anglais (15)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Muller Jean-Michel (8)
  • Langlois Philippe (4)
  • Denis Christophe (2)
  • Martel Matthieu (2)
  • Sentieys Olivier (2)
  • Villard Gilles (2)
  • Bajard Jean-Claude (1)
  • Bertails Florence (1)
  • Boldo Sylvie (1)
  • Brisebarre Nicolas (1)
  • Brogliato Bernard (1)
  • Chapoutot Alexandre (1)
  • Daumas Marc (1)
  • Derrien Steven (1)
  • Didier Laurent-Stéphane (1)
  • Directeur de thèse inconnu (1)
  • Gallice Jean (1)
  • Gardan Yvon (1)
  • Hilaire Thibault (1)
  • Jeannerod Claude-Pierre (1)
  • Joindot Michel (1)
  • Lacolle Bernard (1)
  • Lecussan Bernard (1)
  • Leroy Xavier (1)
  • Liberti Leo (1)
  • NOGUEZ GERARD (1)
  • Péroche Bernard (1)
  • Quinton Patrice (1)
  • Revy Guillaume (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (27)
  • Sciences de l'ingénieur (5)
  • Mathématiques (4)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

Algorithmes compensés en arithmétique flottante : précision, validation, performances

par Nicolas Louvet sous la direction de Philippe Langlois - Perpignan

Informatique

Soutenue en 2007
thèse soutenue

Preuves et algorithmes utilisant l'arithmétique flottante normalisée IEEE

par Claire Finot-Moreau sous la direction de Marc Daumas et de Jean-Michel Muller. - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2001
thèse soutenue

Contributions à l'arithmétique flottante : codages et arrondi correct de fonctions algébriques

par Adrien Panhaleux sous la direction de Jean-Michel Muller - Lyon, École normale supérieure

Informatique

Soutenue le 27-06-2012
thèse soutenue
Accéder en ligne

Synthèse de code avec compromis entre performance et précision en arithmétique flottante IEEE 754

par Laurent Thévenoux sous la direction de Matthieu Martel et de Philippe Langlois. - Perpignan

Informatique

Soutenue en 2014
thèse soutenue

Improving the Numerical Accuracy of Floating-Point Programs with Automatic Code Transformation Methods

par Nasrine Damouche sous la direction de Matthieu Martel et de Alexandre Chapoutot. - Perpignan

Informatique

Soutenue le 12-12-2016
thèse soutenue

...’associativité et la distributivité. De plus, l’arithmétique flottante n’est pasintuitive, ce qui rend difficile de...

Accéder en ligne

Algorithmes robustes de lancer de rayons pour calcul de dose interactif

par Lancelot Perrotte sous la direction de Bernard Lecussan - Toulouse, ISAE

Sûreté de logiciel et calcul de haute performance

Soutenue en 2011
thèse soutenue

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

par Roger Reynaud sous la direction de Directeur de thèse inconnu - Paris 11

Sciences de l'ingénieur

Soutenue en 1986
thèse soutenue

Managing the compromise between performance and accuracy in simulation codes

par Nestor Demeure sous la direction de Christophe Denis - université Paris-Saclay

Mathématiques appliquées

Soutenue le 11-01-2021
thèse soutenue
Accéder en ligne

Tools for the Design of Reliable and Efficient Functions Evaluation Libraries

par Serge Torres sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 22-09-2016
thèse soutenue
Accéder en ligne

Etude et realisation d'une carte accelerateur en format flottant 32 bits

par Kassem Mansour sous la direction de Jean Gallice - Clermont-Ferrand 2

Sciences appliquées

Soutenue en 1988
thèse soutenue

Résultats 1 à 10