Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (14)
  • Université Grenoble Alpes (ComUE) (11)
  • Paris Sciences et Lettres (ComUE) (8)
  • Rennes 1 (7)
  • Université Paris-Saclay (ComUE) (7)
  • Lyon (5)
  • Paris 6 (4)
  • Bordeaux (2)
  • Bordeaux 1 (2)
  • Cachan, Ecole normale supérieure (2)
  • Antilles (1)
  • Brest (1)
  • Colorado state university (1)
  • Compiègne (1)
  • Evry, Institut national des télécommunications (1)
  • Lorient (1)
  • Lyon, Ecole normale supérieure (1)
  • Montpellier (1)
  • Mulhouse (1)
  • Nancy 1 (1)
  • Paris 11 (1)
  • Paris 7 (1)
  • Paris Est (1)
  • Paris, CNAM (1)
  • Paris, ENMP (1)
  • Reims (1)
  • Rennes, INSA (1)
  • Sorbonne université (1)
  • Strasbourg (1)
  • Toulouse 3 (1)
  • Universidade Federal do Rio Grande do Sul (Brésil) (1)
  • Universidade Federal do Rio Grande do Sul (Porto Alegre, Brésil) (1)
  • Université Paris sciences et lettres (1)
  • Université de Hanoi -- Vietnam (1)
  • Université de Lorraine (1)
  • Versailles-St Quentin en Yvelines (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (63)
  • Informatique temps réel, robotique et automatique (5)
  • Informatique temps réel, robotique et automatique - Fontainebleau (2)
  • Stic (2)
  • Electronique (1)
  • Génie électrique (1)
  • Génie informatique (1)
  • Mathématiques et informatique (1)
  • Physiologie et biologie des organismes - populations - interactions (1)
  • Sciences - STS (1)
  • Sciences de l'éducation (1)
  • Sciences et technologie industrielles (1)
  • Technologies de l'Information et des Systèmes : Unité de recherche Heudyasic (UMR-7253) (1)
  • Traitement du Signal et de l'Image (1)
  • Traitement du signal et des images (1)
  • Traitement du signal et télécommunications (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (23)
  • École doctorale Informatique, télécommunications et électronique de Paris (7)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (7)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (6)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (4)
  • École doctorale Sciences des métiers de l'ingénieur (Paris) (4)
  • École doctorale en Informatique et Mathématiques de Lyon (4)
  • École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (3)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (3)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (2)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (2)
  • Ecole doctorale Informatique de Paris-Sud (1)
  • Ecole doctorale Ingénierie des Systèmes, Matériaux, Mécanique, Énergétique (Paris) (1)
  • Ecole doctorale Sciences, technologies, santé (Reims, Marne) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 71, Sciences pour l'ingénieur (Compiègne) (1)
  • École doctorale Mathématiques, Sciences et Technologies de l'Information et de la Communication (Champs-sur-Marne, Seine-et-Marne ; 2015-....) (1)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
  • École doctorale Mathématiques, sciences de l'information et de l'ingénieur (Strasbourg ; 1997-....) (1)
  • École doctorale Milieu insulaire tropical à risques : protection, valorisation , santé et développement (Pointe-à-Pitre) (1)
  • École doctorale Sciences de l'éducation, psychologie, information et communication (Lyon) (1)
  • École doctorale des sciences physiques et de l’ingénieur (Talence, Gironde) (1)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • anglais (58)
  • français (25)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Bensalem Saddek (6)
  • Bozga Dorel Marius (5)
  • Ancourt Corinne (4)
  • Sifakis Joseph (4)
  • Barthou Denis (3)
  • Cohen Albert Henri (3)
  • Darte Alain (3)
  • Derrien Steven (3)
  • Irigoin François (3)
  • Jalby William (3)
  • Clauss Philippe (2)
  • Graf Susanne (2)
  • Maillard Nicolas (2)
  • Pouzet Marc (2)
  • Quinton Patrice (2)
  • Raffin Bruno (2)
  • Rohou Erven (2)
  • Sentieys Olivier (2)
  • Tadonki Claude (2)
  • Badran Fouad (1)
  • Barais Olivier (1)
  • Bardin Sébastien (1)
  • Bastoul Cédric (1)
  • Baudry Benoit (1)
  • Beaumont Olivier (1)
  • Besacier Laurent (1)
  • Bodeveix Jean-Paul (1)
  • Bouziane Hinde Lilia (1)
  • Caillaud Benoît (1)
  • Carlier Jacques (1)
  • Castelli Eric (1)
  • Chroboczek Juliusz (1)
  • Coelho Fabien (1)
  • Cohen Albert (1)
  • Coulomb Jean-Louis (1)
  • Dallet Dominique (1)
  • Delinchant Benoit (1)
  • Denis Alexandre (1)
  • Diguet Jean-Philippe (1)
  • Dony Christophe (1)
  • Drach-Temam Nathalie (1)
  • Drot-Delange Béatrice (1)
  • Dupont de Dinechin Florent (1)
  • Eisenbeis Christine (1)
  • Elbaz-Vincent Philippe (1)
  • Fernandez Jean-Claude (1)
  • Filali Mamoun (1)
  • Fursin Grigori (1)
  • Gautier Matthieu (1)
  • Gava Frédéric (1)
  • Girault Alain (1)
  • Gonnord Laure (1)
  • Goubin Louis (1)
  • Hadj-Said Nouredine (1)
  • Hassenforder Michel (1)
  • Heydemann Karine (1)
  • Huot Stéphane (1)
  • Irigoin Francois (1)
  • Jeannet Bertrand (1)
  • Kozlak Jaroslaw (1)
  • Krajecki Michaël (1)
  • Lagadec Loïc (1)
  • Lawall Julia (1)
  • Le Gal Bertrand (1)
  • Le Lann Jean-Christophe (1)
  • Maler Oded (1)
  • Mancini Stéphane (1)
  • Marangozova Vania (1)
  • Marcelin François Haugrin Odile (1)
  • Marion Jean-Yves (1)
  • Mounier Laurent (1)
  • Moy Matthieu (1)
  • Muller Gilles (1)
  • Munier-Kordon Alix (1)
  • Méhaut Jean-François (1)
  • Ménard Daniel (1)
  • Mérigot Alain (1)
  • Potop-Butucaru Dumitru (1)
  • Puaut Isabelle (1)
  • Rajopadhye Sanjay (1)
  • Rastello Fabrice (1)
  • Renault Éric (1)
  • Roch Jean-Louis (1)
  • Santana Miguel (1)
  • Seriai Abdelhak-Djamel (1)
  • Sirdey Renaud (1)
  • Smith-Ravin Juliette Emilie (1)
  • Tahar Bhiri Mohamed (1)
  • Thibault Samuel (1)
  • Thiria Sylvie (1)
  • Trouche Luc (1)
  • Verdoolaege Sven (1)
  • Vialle Stéphane (1)
  • Videau Marion (1)
  • Vivien Frédéric (1)
  • Zappa Nardelli Francesco (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (75)
  • Sciences de l'ingénieur (9)
  • Informatique, information, généralités (2)
  • Mathématiques (2)
  • Education et enseignement (1)
  • Ethnologie (1)
  • Physique (1)
  • Plantes. Botanique (1)

Domaines :

Fullscreen

....5.7 Source-to-SourceSource-to-source transformation is another level of optimization. Generating source code...

Accéder en ligne
Informatique temps réel, robotique et automatique

Soutenue le 13-12-2012
thèse soutenue
Informatique temps réel, robotique et automatique - Fontainebleau

En préparation depuis le 01-10-2018
 thèse en cours de préparation

...transformations for distributedsystems are developed for both timed and untimed BIP models.Source to source...

Accéder en ligne

....Chapter 6ConclusionIn this manuscript, we discussed the impact of two important code transformations...

Accéder en ligne

...Related workOur work is based on performing two-fold vectorization transformations at runtime. Inthis...

Accéder en ligne

Résultats 1 à 10