Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Paris 6 (18)
  • Rennes 1 (13)
  • Paris 11 (10)
  • Versailles-St Quentin en Yvelines (7)
  • Grenoble Alpes (6)
  • Lille 1 (6)
  • Clermont-Ferrand 2 (5)
  • Grenoble (4)
  • Grenoble INPG (4)
  • Lyon, INSA (4)
  • Nice (4)
  • Paris Saclay (4)
  • Strasbourg (4)
  • Nantes (3)
  • Paris, ENMP (3)
  • Toulouse, INPT (3)
  • Bordeaux (2)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Chasseneuil-du-Poitou, Ecole nationale supérieure de mécanique et d'aérotechnique (2)
  • Evry-Val d'Essonne (2)
  • Lyon 1 (2)
  • Lyon, École normale supérieure (sciences) (2)
  • Paris Sciences et Lettres (2)
  • Rennes, INSA (2)
  • Toulouse, ISAE (2)
  • Annaba (Algérie) (1)
  • Besançon (1)
  • Compiègne (1)
  • Corte (1)
  • Lorient (1)
  • Lyon, École normale supérieure (1)
  • Montpellier (1)
  • Nancy 1 (1)
  • Paris 9 (1)
  • Paris Est (1)
  • Paris, CNAM (1)
  • Paris, ENST (1)
  • Paris, Télécom ParisTech (1)
  • Perpignan (1)
  • Poitiers (1)
  • Reims (1)
  • Sorbonne Paris Cité (1)
  • Supélec (1)
  • Toulouse 3 (1)
  • Toulouse, INSA (1)
  • Université Mohammed-V Agdal, Rabat, Maroc (1)
  • Université Savoie Mont Blanc (1)
  • Université de Lorraine (1)
  • Université de Sfax (Tunisie) (1)
  • Université normale de la Chine de l'Est (Shanghai) (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (85)
  • Sciences appliquées (19)
  • Sciences et techniques (3)
  • Informatique et applications (2)
  • Informatique et réseaux (2)
  • Informatique temps réel, robotique et automatique (2)
  • Mathématiques (2)
  • Sciences. Informatique (2)
  • Traitement du signal et des images (2)
  • Automatique (1)
  • Automatique et informatique appliquée (1)
  • Génie électrique (1)
  • Informatique (STIC) (1)
  • Informatique et automatique appliquées (1)
  • Informatique et télécommunications (1)
  • Informatique industrielle et automatique (1)
  • Informatique. Modélisation et vérification (1)
  • Ingénierie Informatique (1)
  • Mathématiques et Informatique (1)
  • Mathématiques et Informatique pour les Sciences Physiques (1)
  • Micro et Nanosystèmes (1)
  • Microélectronique (1)
  • Réseaux, télécom, système et architecture (1)
  • Sciences - STS (1)
  • Sureté de logiciel et calcul à haute performance (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Systèmes et logiciels (1)
  • Systèmes informatiques (1)
  • Sûreté de logiciel et calcul de haute performance (1)
  • Électronique (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (9)
  • École doctorale Informatique, télécommunications et électronique (Paris) (8)
  • Ecole doctorale Informatique de Paris-Sud (4)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (4)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (4)
  • É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-....) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (3)
  • Sciences Mathématiques de Paris Centre (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • École doctorale Sciences et ingénierie pour l'information, mathématiques (Limoges ; 2009-2018) (2)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (2)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (2)
  • Ecole Doctorale Informatique et Information Pour La Societe. 1992-2009 (Lyon) (1)
  • Ecole doctorale Sciences et Technologies de l'Information, des Télécommunications et des Systèmes (Orsay, Essonne ; 2000-2015) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • Ecole doctorale sciences et technologies de Versailles (2010-2015) (1)
  • MATISSE (1)
  • Mathématiques et Informatique (1)
  • Mathématiques, sciences et technologies de l'information, informatique (Grenoble) (1)
  • Université de Corse (1975-....). UMR CNRS 6134 "Sciences pour l'Environnement" (SPE) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale Génie électrique, électronique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2010-2015) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale Sciences pratiques (1998-2015 ; Cachan, Val-de-Marne) (1)
  • École doctorale de Sciences mathématiques de Paris Centre (Paris) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale Énergie environnement (Perpignan) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (91)
  • anglais (44)
  • null (4)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Cohen Albert Henri (7)
  • Dekeyser Jean-Luc (5)
  • Jalby William (5)
  • Girault Claude (4)
  • Clauss Philippe (3)
  • Feautrier Paul (3)
  • Kordon Fabrice (3)
  • Aboutajdine Driss (2)
  • Aït-Ameur Yamine (2)
  • Bensalem Saddek (2)
  • Charles Henri-Pierre (2)
  • Cohen Albert (2)
  • Consel Charles (2)
  • Cosnard Michel (2)
  • Derrien Steven (2)
  • Etiemble Daniel (2)
  • Irigoin François (2)
  • Meftali Samy (2)
  • Parigot Didier (2)
  • Pautet Laurent (2)
  • Pinet François (2)
  • Pouzet Marc (2)
  • Quinton Patrice (2)
  • Risset Tanguy (2)
  • Robert Yves (2)
  • Talpin Jean-Pierre (2)
  • Verdoolaege Sven (2)
  • Alloui Ilham (1)
  • Andreu David (1)
  • André François (1)
  • André Françoise (1)
  • Attali Isabelle (1)
  • Aumage Olivier (1)
  • Baboulin Marc (1)
  • Barais Olivier (1)
  • Barthou Denis (1)
  • Baudry Benoit (1)
  • Bodeveix Jean-Paul (1)
  • Boeri Fernand (1)
  • Borne Isabelle (1)
  • Bouajjani Ahmed (1)
  • Boulet Pierre (1)
  • Bourke Timothy (1)
  • Bozga Dorel Marius (1)
  • Brunet Elisabeth (1)
  • Bézivin Jean (1)
  • Calvez Jean-Paul (1)
  • Caron Olivier (1)
  • Choppy Christine (1)
  • Choquet-Geniet Annie (1)
  • Defour David (1)
  • Delahaye David (1)
  • Delobel Claude (1)
  • Derutin Jean-Pierre (1)
  • Dubois Catherine (1)
  • Dubuisson Bernard (1)
  • Déforges, Olivier (1)
  • Escriba Christophe (1)
  • FRANCHI P. (1)
  • Fabre Christian (1)
  • Fabre Jean-Charles (1)
  • Fages François (1)
  • Falcou Joël (1)
  • Favrel Joël (1)
  • Fernandez Jean-Claude (1)
  • Filali Mamoun (1)
  • Flory André (1)
  • Fourniols Jean-Yves (1)
  • Fréville Arnaud (1)
  • GIMENES CLAUDE (1)
  • Geib Jean-Marc (1)
  • Geniet Dominique (1)
  • Gondran Michel (1)
  • Gourgand Michel (1)
  • Gustedt Jens (1)
  • Gérard Sébastien (1)
  • Hains Gaétan (1)
  • Halbwachs Nicolas (1)
  • Hapiot Jean-Claude (1)
  • Hill David R. C. (1)
  • Hugues Jérôme (1)
  • Hélie Thomas (1)
  • IRIGOIN F. (1)
  • Issarny Valérie (1)
  • Jard Claude (1)
  • Jean Stéphane (1)
  • Jego Christophe (1)
  • Jerraya Ahmed Amine (1)
  • Jmaiel Mohamed (1)
  • Kouiss Khalid (1)
  • Lacassagne Lionel (1)
  • Le Gall Pascale (1)
  • Le Guernic Paul (1)
  • Leray Pierre (1)
  • Meslati Djamel (1)
  • Moreau Pierre-Etienne (1)
  • Mosbah Mohamed (1)
  • Moy Christophe (1)
  • Moy Matthieu (1)
  • Muller Gilles (1)
  • Méry Dominique (1)
  • Namyst Raymond (1)
  • Nezan Jean-François (1)
  • Nikoukhah Ramine (1)
  • Oquendo Flavio (1)
  • Pantel Marc (1)
  • Perrin Guy-René (1)
  • Petrot Frederic (1)
  • Pierra Guy (1)
  • Poirriez Vincent (1)
  • Potet Marie-Laure (1)
  • Pu Geguang (1)
  • ROLLAND C. (1)
  • Raymond Pascal (1)
  • Raynal Michel (1)
  • Revy Guillaume (1)
  • Reynaud Roger (1)
  • Riera Bernard (1)
  • Rousseau Frederic (1)
  • Rutten Eric (1)
  • SEZNEC A. (1)
  • Salaün Gwen (1)
  • Sansonnet Jean-Paul (1)
  • Santucci Jean-François (1)
  • Saqui-Sannes Pierre de (1)
  • Sentieys Olivier (1)
  • Sifakis Joseph (1)
  • Sighireanu Mihaela (1)
  • Stefani Jean-Bernard (1)
  • Tahar Bhiri Mohamed (1)
  • Terrier François (1)
  • Villard Gilles (1)
  • Vittori Evelyne (1)
  • Waeselynck Hélène (1)
  • Wiels Virginie (1)
  • Wolff Burkhart (1)
  • Yovine Sergio (1)
  • Ziane Mikal (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (100)
  • Sciences de l'ingénieur (40)
  • Sciences de la nature et mathématiques (4)
  • Technologie (Sciences appliquées) (4)
  • Informatique, information, généralités (1)
  • Physique (1)

Domaines :

Fullscreen

140 thèses pour "Génération de code"

Sureté de logiciel et calcul à haute performance

Soutenue le 30-01-2015
thèse soutenue

...technique. Laprochaine section aborde la phase finale de génération de code.6.6. GÉNÉRATION DE CODE 1016...

Accéder en ligne
Mathématiques

En préparation depuis le 01-09-2016
 thèse en cours de préparation
Sciences appliquées

Soutenue en 1995
thèse soutenue

Résultats 1 à 10