Résultats 1 à 10

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

Dates de soutenance :


Etablissements :

Valider et fermer
  • Lyon, École normale supérieure (8)
  • Lyon, École normale supérieure (sciences) (8)
  • Paris 6 (7)
  • Perpignan (7)
  • Lyon (6)
  • Rennes 1 (6)
  • Nancy 1 (3)
  • Université Paris-Saclay (ComUE) (3)
  • université Paris-Saclay (3)
  • Grenoble INPG (2)
  • La Réunion (2)
  • Lyon 1 (2)
  • Nice (2)
  • Orléans (2)
  • Paris 11 (2)
  • Sorbonne université (2)
  • Université Grenoble Alpes (ComUE) (2)
  • City university of Hong Kong (1)
  • Clermont Auvergne (1)
  • Clermont-Ferrand 2 (1)
  • Metz (1)
  • Nantes (1)
  • Palaiseau, Ecole polytechnique (1)
  • Paris, ENMP (1)
  • Rennes, INSA (1)
  • Strasbourg 1 (1)
  • Toulouse, INPT (1)
  • Toulouse, ISAE (1)
  • Université Côte d'Azur (ComUE) (1)
  • Université Grenoble Alpes (1)
  • Université de Lorraine (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (53)
  • Sciences appliquées (5)
  • Traitement du signal et télécommunications (3)
  • Mathématiques et Informatique (2)
  • Sciences et techniques communes (2)
  • Sciences. Informatique fondamentale (2)
  • Automatique et informatique appliquée (1)
  • Informatique temps réel, robotique et automatique (1)
  • Mathématiques appliquées (1)
  • Mathématiques appliquées. Algorithmique parallèle (1)
  • Mathématiques et informatique (1)
  • Mathématiques et informatique. Mathématiques appliquées et calcul scientifique (1)
  • Microélectronique (1)
  • Physique (1)
  • Sciences et technologies industrielles (1)
  • Systèmes industriels (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Traitement du Signal et de l'Image (1)
  • Traitement du signal (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale en Informatique et Mathématiques de Lyon (15)
  • École doctorale Énergie environnement (Perpignan) (7)
  • École doctorale Informatique, télécommunications et électronique de Paris (5)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (4)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (3)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Sciences et technologies de l'information et de la communication (2)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (1)
  • École doctorale Sciences, Technologies et Santé (Saint-Denis, La Réunion) (1)
  • École doctorale de mathématiques Hadamard (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale sciences et technologies de l'information et des matériaux (Nantes) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (46)
  • anglais (33)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Muller Jean-Michel (13)
  • Dupont de Dinechin Florent (6)
  • Langlois Philippe (5)
  • Boldo Sylvie (4)
  • Martel Matthieu (4)
  • Bajard Jean-Claude (3)
  • Daumas Marc (3)
  • Hilaire Thibault (3)
  • Sentieys Olivier (3)
  • Villard Gilles (3)
  • Chesneaux Jean-Marie (2)
  • Denis Christophe (2)
  • Derrien Steven (2)
  • Jeannerod Claude-Pierre (2)
  • Lauter Christoph Quirin (2)
  • Michel Claude (2)
  • Rueher Michel (2)
  • Zimmermann Paul (2)
  • Brisebarre Nicolas (1)
  • Casseau Emmanuel (1)
  • Chapoutot Alexandre (1)
  • Chevrel Philippe (1)
  • Comon Pierre (1)
  • Cousot Patrick (1)
  • Cucker Felipe (1)
  • Detrey Jérémie (1)
  • Didier Laurent-Stéphane (1)
  • Duprat Jean (1)
  • Durand Yves (1)
  • Ferrand Gérard (1)
  • Fesquet Laurent (1)
  • Françon Jean (1)
  • Gallice Jean (1)
  • Gardan Yvon (1)
  • Graillat Stef (1)
  • Guyot Alain (1)
  • Hanrot Guillaume (1)
  • Hilairet Mickaël (1)
  • Hill David R. C. (1)
  • Humbert Claude (1)
  • Irigoin François (1)
  • Jalby William (1)
  • Jézéquel Fabienne (1)
  • Koiran Pascal (1)
  • Labouré Eric (1)
  • Lafon Jean-Claude (1)
  • Le Lann Jean-Marc (1)
  • Lecussan Bernard (1)
  • Lesecq Suzanne (1)
  • Marché Claude (1)
  • Mazer Emmanuel (1)
  • Mesnard Frédéric (1)
  • Monniaux David (1)
  • Ménard Daniel (1)
  • NOGUEZ GERARD (1)
  • Parello David (1)
  • Parissis Ioannis (1)
  • Payet Étienne (1)
  • Pommereau Franck (1)
  • Ramdani Nacim (1)
  • Revy Guillaume (1)
  • Rocher Romuald (1)
  • Scalart Pascal (1)
  • Thomé Emmanuel (1)
  • Tisserand Arnaud (1)
  • Travé-Massuyès Louise (1)
  • Trinquet Yvon (1)
  • Trystram Denis (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (62)
  • Sciences de l'ingénieur (14)
  • Mathématiques (6)
  • Sciences de la nature et mathématiques (2)
  • Technologie (Sciences appliquées) (2)
  • Physique (1)
  • Fabrication industrielle (1)

Domaines :

Fullscreen

Preuves formelles en arithmétiques à virgule flottante

par Sylvie Boldo sous la direction de Marc Daumas - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2004
thèse soutenue

Arithmétiques réelles sur FPGA : virgule fixe, virgule flottante et système logarithmique

par Jérémie Detrey sous la direction de Florent Dupont de Dinechin et de Jean-Michel Muller. - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2007
thèse soutenue

FLIP, a floating-point library for integer processors

par Saurabh-Kumar Raina sous la direction de Jean-Michel Muller, Claude-Pierre Jeannerod et de Arnaud Tisserand. - Lyon, École normale supérieure (sciences)

Informatique

Soutenue en 2006
thèse soutenue

Numerical Quality and High Performance In Interval Linear Algebra on Multi-Core Processors

par Philippe Theveny sous la direction de Gilles Villard - Lyon, École normale supérieure

Informatique

Soutenue le 31-10-2014
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

Contributions à la vérification formelle d'algorithmes arithmétiques

par Erik Martin-Dorel sous la direction de Jean-Michel Muller - Lyon, École normale supérieure

Informatique

Soutenue le 26-09-2012
thèse soutenue

....Mots-clés : arithmétique à virgule flottante, standard IEEE 754, arrondi correct, dilemme du fabricant de tables...

Accéder en ligne

Complexity issues in counting, polynomial evaluation and zero finding

par Irénée Briquel sous la direction de Pascal Koiran et de Felipe Cucker. - Lyon, École normale supérieure

Informatique

Soutenue le 29-11-2011
thèse soutenue
Accéder en ligne

Contribution to error analysis of algorithms in floating-point arithmetic

par Antoine Plet sous la direction de Jean-Michel Muller - Lyon

Informatique

Soutenue le 07-07-2017
thèse soutenue

...fondés sur des nombres à virgule flottante symboliques.Partie I : Analyse d’erreur en arithmétique à...

Accéder en ligne

Custom floating-point arithmetic for integer processors : algorithms, implementation, and selection

par Jingyan Jourdan (Lu) sous la direction de Jean-Michel Muller - Lyon, École normale supérieure

Informatique

Soutenue le 15-11-2012
thèse soutenue
Accéder en ligne

Formalisations d’analyses d’erreurs en analyse numérique et en arithmétique à virgule flottante

par Florian Faissole sous la direction de Sylvie Boldo - Université Paris-Saclay (ComUE)

Informatique

Soutenue le 13-12-2019
thèse soutenue

...= −∞).Ulp d’un nombreUne notion fondamentale en arithme´tique a` virgule flottante et jouant un roˆle im...

Accéder en ligne

Résultats 1 à 10