Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Toulouse, INPT (16)
  • Clermont-Ferrand 2 (3)
  • Lyon, École normale supérieure (3)
  • Bourgogne Franche-Comté (1)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont Auvergne (1)
  • Grenoble (1)
  • Grenoble Alpes (1)
  • Paris Sciences et Lettres (1)
  • Rennes 1 (1)
  • Rennes, INSA (1)
  • Toulouse, INSA (1)
  • Université de Lorraine (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (9)
  • Sureté de Logiciel et Calcul à Haute Performance (5)
  • Sureté de logiciel et calcul à haute performance (3)
  • Sûreté de Logiciel et Calcul à Haute Performance (3)
  • Sûreté de logiciel et calcul à haute performance (2)
  • Sûreté du logiciel et calcul à haute performance (2)
  • Génétique, Physiologie et Bioinformatique (1)
  • Informatique et applications (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Informatique (1)
  • Mécanique et énergétique (1)
  • Mécanique numérique et Matériaux (1)
  • Océan, atmosphère, hydrologie (1)
  • Physique (1)
  • Sureté du logiciel et calcul à haute performance (1)
  • Systèmes informatiques critiques (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (11)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • EMMA - Ecole Doctorale Energie - Mécanique - Matériaux (1)
  • Ecole doctorale Sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • École doctorale Carnot-Pasteur (Besançon ; Dijon ; 2012-....) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (1)
  • École doctorale Sciences fondamentales et appliquées (Nice) (1)
  • École doctorale des sciences de la vie, santé, agronomie, environnement (Clermont-Ferrand) (1)
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • École doctorale terre, univers, environnement (Grenoble) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Aït-Ameur Yamine (7)
  • Pantel Marc (4)
  • Durand Nicolas (3)
  • Hill David R. C. (3)
  • Crégut Xavier (2)
  • Pérez Christian (2)
  • Amestoy Patrick (1)
  • Bellocchi Gianni (1)
  • Bernacki Marc (1)
  • Berthomieu Bernard (1)
  • Botella Olivier (1)
  • Debroas Didier (1)
  • Diaz Michel (1)
  • Drira Khalil (1)
  • El Baz Didier (1)
  • Fabre Jean-Charles (1)
  • Favre Pugin Anne-Catherine (1)
  • Gianazza David (1)
  • Gotteland Jean-Baptiste (1)
  • Grolleau Emmanuel (1)
  • Hingray Benoît (1)
  • Hurault Aurélie (1)
  • Jalby William (1)
  • Kortas Samuel (1)
  • Lauer Michaël (1)
  • Lefèvre Laurent (1)
  • Magoulès Frédéric (1)
  • Messine Frédéric (1)
  • Morin Christine (1)
  • Neiers Fabrice (1)
  • Noailles Joseph (1)
  • Ouhammou Yassine (1)
  • Perez Christian (1)
  • Pierson Jean-Marc (1)
  • Quéinnec Philippe (1)
  • Ruiz Daniel (1)
  • Senet Patrick (1)
  • Skali-Lami Salaheddine (1)
  • Trystram Denis (1)
  • Vernadat François B. (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (27)
  • Mathématiques (4)
  • Sciences de l'ingénieur (4)
  • Physique (2)
  • Commerce, communications, transports (1)
  • Sciences de la terre (1)
  • Sciences de la vie, biologie, biochimie (1)

Domaines :

Fullscreen
Sureté de logiciel et calcul à haute performance

Soutenue le 02-11-2010
thèse soutenue
Sûreté de logiciel et calcul à haute performance

Soutenue le 08-12-2010
thèse soutenue
Sûreté de logiciel et calcul à haute performance

Soutenue le 13-12-2011
thèse soutenue
Sureté de logiciel et calcul à haute performance

Soutenue le 30-01-2015
thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 06-07-2017
thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 22-11-2017
thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 13-05-2014
thèse soutenue
Sûreté de Logiciel et Calcul à Haute Performance

Soutenue le 09-12-2014
thèse soutenue
Sureté de Logiciel et Calcul à Haute Performance

Soutenue le 13-07-2016
thèse soutenue

Résultats 1 à 10