Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble Alpes (3)
  • Paris Sciences et Lettres (3)
  • Paris, ENMP (2)
  • AGH University of Science and Technology (1)
  • Bordeaux (1)
  • Cachan, Ecole normale supérieure (1)
  • Côte d'Azur (1)
  • Lille 1 (1)
  • Nantes (1)
  • Orléans (1)
  • Paris 10 (1)
  • Paris 11 (1)
  • Paris Saclay (1)
  • Poitiers (1)
  • Reims (1)
  • Rennes 1 (1)
  • Toulouse 3 (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (11)
  • Informatique temps réel, robotique et automatique (3)
  • Informatique temps réel, robotique et automatique - Fontainebleau (2)
  • Informatique et applications (1)
  • Mathématiques et Informatique (1)
  • Psychologie spécialité psychologie clinique (1)
  • Réseaux, Télécoms, Systèmes et Architecture (1)
  • Sciences - STS (1)
  • Sciences du langage (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (3)
  • Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (2)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (2)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • École doctorale Cognition, comportements, langage(s) (Poitiers ; 2009-2018) (1)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (1)
  • École doctorale Mathématiques, Informatique, Physique Théorique et Ingénierie des Systèmes (Centre-Val de Loire) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (1)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)
  • École doctorale Sciences et technologies de l'information et mathématiques (Nantes) (1)
  • École doctorale Sciences pour l'Ingénieur (Lille) (1)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (1)

Ecoles Doctorales :

Fullscreen

Langues :

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

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Ancourt Corinne (3)
  • Irigoin François (3)
  • Anquetil Nicolas (1)
  • Attiogbé Christian (1)
  • Berry Gérard (1)
  • Brunet Elisabeth (1)
  • Charles Henri-Pierre (1)
  • Drach-Temam Nathalie (1)
  • Eisenbeis Christine (1)
  • Elbaz-Vincent Philippe (1)
  • Etien Anne (1)
  • Grihom Marie-José (1)
  • Irigoin Francois (1)
  • Jalby William (1)
  • Jensen Thomas (1)
  • Kozlak Jaroslaw (1)
  • Krajecki Michaël (1)
  • Leblanc Hervé (1)
  • Loulergue Frédéric (1)
  • Mancini Stéphane (1)
  • Namyst Raymond (1)
  • Noyau Colette (1)
  • Percebois Christian (1)
  • Quinton Patrice (1)
  • Serrano Manuel (1)
  • Tadonki Claude (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (17)
  • Technologie (Sciences appliquées) (2)
  • Informatique, information, généralités (1)
  • Philosophie, psychologie (1)
  • Langues et linguistique (1)
  • Linguistique générale (1)
  • Sciences de la nature et mathématiques (1)
  • Sciences de l'ingénieur (1)

Domaines :

Fullscreen

22 thèses pour "Transformation de code"

Informatique temps réel, robotique et automatique - Fontainebleau

En préparation depuis le 01-12-2015
 thèse en cours de préparation

...Mathématiques et InformatiqueSPÉCIALITÉ: Informatique Par Pei LiSystème unifié de transformation de code et d...

Accéder en ligne

...cible.Mots-clés : concurrence, vérification formelle, transformation de code, modèles mémoire faible...

Accéder en ligne

...simplifierl’analyse et la transformation de code, ils font appel à des représentations intermédiaires (IR...

Accéder en ligne

Résultats 1 à 10