Résultats 1 à 10

Dates de soutenance :


Etablissements :

Valider et fermer
  • Grenoble (13)
  • Grenoble Alpes (10)
  • Université Paris-Saclay (ComUE) (8)
  • Bordeaux (4)
  • Côte d'Azur (4)
  • Paris 10 (4)
  • Toulouse, ISAE (4)
  • Universitatea politehnica (Bucarest) (3)
  • Ecole centrale de Lille (2)
  • Lille 1 (2)
  • Lyon (2)
  • Montpellier (2)
  • Mulhouse (2)
  • Paris 11 (2)
  • Rennes 1 (2)
  • Rennes, INSA (2)
  • Sorbonne université (2)
  • Toulouse 3 (2)
  • Toulouse, INSA (2)
  • Universitatea tehnică "Gheorghe Asachi" (Iaşi, Roumanie) (2)
  • Université de Lorraine (2)
  • Avignon (1)
  • Besançon (1)
  • Bordeaux 1 (1)
  • Châtenay-Malabry, Ecole centrale de Paris (1)
  • Clermont-Ferrand 2 (1)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Grenoble 1 (1)
  • Grenoble INPG (1)
  • Limoges (1)
  • Lorient (1)
  • Lyon, INSA (1)
  • Montpellier, Ecole nationale supérieure de chimie (1)
  • Paris 1 (1)
  • Paris 3 (1)
  • Paris 6 (1)
  • Paris Est (1)
  • Paris Sciences et Lettres (1)
  • Paris, CNAM (1)
  • Poitiers (1)
  • Sorbonne Paris Cité (1)
  • Troyes (1)
  • Università degli studi (Bergame, Italie) (1)
  • Università degli studi (Bologne, Italie) (1)
  • Università degli studi (Florence, Italie) (1)
  • Università degli studi (Padoue, Italie) (1)
  • Université Technique Gheorghe Asachi, Iasi, Roumanie (1)
  • Université du Luxembourg (1)
  • Valenciennes (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (42)
  • Automatique (3)
  • Mécanique (2)
  • Réseaux, télécom, système et architecture (2)
  • Aspects moléculaires et cellulaires de la biologie (1)
  • Astronomie et Astrophysique (1)
  • Astronomie et astrophysique (1)
  • Automatique - productique (1)
  • Automatique, Génie informatique, Traitement du Signal et des Images (1)
  • Automatique, Traitement du signal et des images, Génie Informatique (1)
  • Automatique, génie informatique, traitement du signal et des images (1)
  • Biologie (1)
  • Biologie cellulaire (1)
  • Chimie (1)
  • Chimie des matériaux (1)
  • Chimie et Physicochimie des matériaux (1)
  • Chimie et sciences des matériaux (1)
  • Chimie organique, minérale, industrielle (1)
  • Droit (1)
  • Histoire. Histoire et civilisations (1)
  • Immunologie (1)
  • Informatique et Systèmes embarqués (1)
  • Informatique et applications (1)
  • Informatique et mathématiques (1)
  • Informatique. Systèmes et communications (1)
  • Ingénierie Microbienne et Enzymatique (1)
  • Langues et littératures étrangères (1)
  • Langues littératures et civilisation romanes : Italien (1)
  • Langues étrangères appliquées (1)
  • Mathématiques (1)
  • Mathématiques appliquées (1)
  • Mathématiques et Sciences et Technologies de l'Information et de la Communication (1)
  • Micro et Nanotechnologies, Acoustique, Télécommunications (1)
  • Mécanique du Solide (1)
  • Mécanique, génie mécanique (1)
  • Philosophie (1)
  • Réseaux, Connaissances, Organisations (1)
  • Science politique (1)
  • Sciences Physiques et de l'Ingénieur. Sûreté de fonctionnement (1)
  • Sciences de l'information et de la communication (1)
  • Sciences de l'ingénieur (1)
  • Sciences de l'éducation (1)
  • Sciences et technologie industrielles (1)
  • Signal image parole telecoms (1)
  • Stic (1)
  • Systèmes automatiques et micro-électroniques (1)
  • Sûreté de Logiciel et Calcul de Haute Performance (1)
  • Theatre et arts du spectacle (1)

Disciplines :

Fullscreen

Ecoles Doctorales :

Valider et fermer
  • École doctorale mathématiques, sciences et technologies de l'information, informatique (Grenoble) (17)
  • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (5)
  • École doctorale Informatique, télécommunications et électronique de Paris (4)
  • École doctorale de mathématiques et informatique (Talence, Gironde) (4)
  • École doctorale Connaissance, langage et modélisation (Nanterre) (3)
  • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (3)
  • École doctorale Sciences pour l'Ingénieur (Lille) (3)
  • École doctorale Systèmes (Toulouse) (3)
  • École doctorale électronique, électrotechnique, automatique, traitement du signal (Grenoble) (3)
  • Ecole doctorale Informatique de Paris-Sud (2)
  • École doctorale IAEM Lorraine - Informatique, Automatique, Électronique - Électrotechnique, Mathématiques de Lorraine (2)
  • École doctorale INTERFACES : approches interdisciplinaires, fondements, applications et innovation (Palaiseau, Essonne ; 2015-....) (2)
  • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (2)
  • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (2)
  • École doctorale Mathématiques, télécommunications, informatique, signal, systèmes, électronique (Rennes) (2)
  • École doctorale pluridisciplinaire Jean-Henri Lambert, ED 494 (Mulhouse) (2)
  • Ecole Doctorale Mecanique, Energetique, Genie Civil, Acoustique (MEGA) (Villeurbanne) (1)
  • Ecole doctorale Droit et science politique (Montpellier ; 2015-....) (1)
  • Ecole doctorale Economies, Espaces, Sociétés, Civilisations : pensée critique, politique et pratiques sociales (Paris) (1)
  • Ecole doctorale Sciences Biologiques et Santé (Limoges) (1)
  • Ecole doctorale Sciences pour l'Ingénieur (Troyes, Aube) (1)
  • MATISSE (1)
  • Mathématiques Informatique Télécommunications de Toulouse (1)
  • Sciences Chimiques (Montpellier ; École Doctorale ; ...-2014) (1)
  • Sciences Ecologiques, Vétérinaires, Agronomiques et Bioingénieries (1)
  • École Doctorale Biologie Santé Biotechnologies (Toulouse) (1)
  • École Doctorale Information, Structures, Systèmes (Montpellier ; 2015) (1)
  • École doctorale 537 « Culture et patrimoine » (Avignon) (1)
  • École doctorale Arts et médias (Paris) (1)
  • École doctorale Astronomie et astrophysique d'Île-de-France (Meudon, Hauts-de-Seine ; 1992-....) (1)
  • École doctorale Droit et sciences politiques, économiques et de gestion (Nice) (1)
  • École doctorale Ingénierie - matériaux mécanique énergétique environnement procédés production (Grenoble) (1)
  • École doctorale Lettres, langues, spectacles (Nanterre) (1)
  • École doctorale Philosophie (Paris) (1)
  • École doctorale Santé, information-communication et mathématiques, matière (Brest, Finistère) (1)
  • École doctorale Sciences de l'homme et de la société (Villeneuve d'Ascq, Nord) (1)
  • École doctorale Sciences et Ingénierie, Matériaux, Modélisation et Environnement (Champs-sur-Marne, Seine-et-Marne) (1)
  • École doctorale Sciences mathématiques de Paris centre (1)
  • École doctorale Sciences pour l'Ingénieur (Châtenay-Malabry, Hauts de Seine) (1)
  • École doctorale Sciences pour l'ingénieur et microtechniques (Besançon ; Dijon ; Belfort) (1)
  • École doctorale chimie et science du vivant (Grenoble) (1)
  • École doctorale de Physique et Astrophysique de Lyon (1)
  • École doctorale des sciences pour l'ingénieur (Clermont-Ferrand) (1)
  • École doctorale langues, littératures et sciences humaines (Grenoble) (1)
  • École doctorale sciences pour l'environnement - Gay Lussac (La Rochelle) (1)
  • École doctorale Électronique, électrotechnique, automatique (Lyon) (1)

Ecoles Doctorales :

Fullscreen

Langues :

Valider et fermer
  • français (58)
  • anglais (31)
  • roumain (7)
  • italien (3)

Langues :

Fullscreen

Directeurs de thèse :

Valider et fermer
  • Moy Matthieu (3)
  • Pouzet Marc (3)
  • Sifakis Joseph (3)
  • Bensalem Saddek (2)
  • Blazy Sandrine (2)
  • Bozga Dorel Marius (2)
  • Girault Alain (2)
  • Hugues Jérôme (2)
  • Maraninchi Florence (2)
  • Robach Chantal (2)
  • Rochelle Pierre (2)
  • Toguyeni Abdoul Karim Armand (2)
  • Andreu David (1)
  • Apvrille Ludovic (1)
  • Arnoux Mathieu (1)
  • Balandraud Xavier (1)
  • Baldassarri Guido (1)
  • Baudry Benoit (1)
  • Ben Mahmoud Mohamed Slim (1)
  • Bernot Gilles (1)
  • Berruet Pascal (1)
  • Berry Gérard (1)
  • Berthomieu Bernard (1)
  • Bon Philippe (1)
  • Bosc Jean-Marc (1)
  • Bou-Saïd Benyebka (1)
  • Bouquet Fabrice (1)
  • Bourke Timothy (1)
  • Bulacovschi Victor (1)
  • Calvary Gaëlle (1)
  • Carbonnier Benjamin (1)
  • Carré Philippe (1)
  • Castel Charles (1)
  • Chailloux Emmanuel (1)
  • Clavier Laurent (1)
  • Collart-Dutilleul Simon (1)
  • Consel Charles (1)
  • Cristea Valentin (1)
  • Cucu Liliana (1)
  • Dang Thao (1)
  • Declercq Gilles (1)
  • Dekeyser Jean-Luc (1)
  • Delaite Christelle (1)
  • Dietrich Nicolas (1)
  • Dobrovicescu Alexandru (1)
  • Doyen Guillaume (1)
  • Dubois Catherine (1)
  • Dumitriu Emil (1)
  • Dupont de Dinechin Benoît (1)
  • Dupuy-Chessa Sophie (1)
  • Durand Irène (1)
  • Dutuit Yves (1)
  • Faure Jean-Marc (1)
  • Fauvarque Marie-Odile (1)
  • Fillaudeau Luc (1)
  • Fradet Pascal (1)
  • Frehse Goran (1)
  • Gafiţanu Mihai (1)
  • Garavel Hubert (1)
  • Garelli Gianluca (1)
  • Genieys William (1)
  • Giovanelli Paola Daniela (1)
  • Gospodinova Natalia (1)
  • Grosu Lavinia (1)
  • Grédiac Michel (1)
  • Guidi Bruscoli Francesco (1)
  • Gérard Sébastien (1)
  • Gössler Gregor (1)
  • Hammad Ahmed (1)
  • Hardier Georges (1)
  • Hulea Vasile (1)
  • Jeannet Bertrand (1)
  • Jenn Éric (1)
  • Jourdan Jean (1)
  • Kaiser Andreas (1)
  • Kervégan Jean-François (1)
  • Khatoun Rida (1)
  • Khlif Manel (1)
  • Lamboux-Durand Alain (1)
  • Larrieu Nicolas (1)
  • Le Drian Claude (1)
  • Le Gall Pascale (1)
  • Leleu-Merviel Sylvie (1)
  • Leroux Jérôme (1)
  • Liagre Bertrand (1)
  • Léger David (1)
  • Michel Olivier (1)
  • Mileschi Christophe (1)
  • Millot Marie-Claude (1)
  • Moisan Sabine (1)
  • Monfroy Éric (1)
  • Monniaux David (1)
  • Munier-Kordon Alix (1)
  • Navet Nicolas (1)
  • Negrerie Michel (1)
  • Neppi Enzo (1)
  • Nezan Jean-François (1)
  • Niel Eric (1)
  • Oquendo Flavio (1)
  • Ouabdesselam Farid (1)
  • Palmieri Nunzia (1)
  • Parissis Ioannis (1)
  • Pautet Laurent (1)
  • Petit Sabine (1)
  • Petrescu Stoian (1)
  • Peureux Fabien (1)
  • Ploix Stéphane (1)
  • Popa Ionel Marcel (1)
  • Pétin Jean-François (1)
  • Ranzini Paola (1)
  • Raymond Pascal (1)
  • Richard Johan (1)
  • Ros Laurent (1)
  • Roth Marie-Paule (1)
  • Royer Sébastien (1)
  • Rutten Eric (1)
  • Saqui-Sannes Pierre de (1)
  • Schmitz Philippe (1)
  • Seguin Christel (1)
  • Senizergues Géraud (1)
  • Seren Cédric (1)
  • Serrano Manuel (1)
  • Simon Daniel (1)
  • Simon Laurent (1)
  • Song Ye-Qiong (1)
  • Soriano Thierry (1)
  • Starck Jean-Luc (1)
  • Steichen Pascale (1)
  • Sutre Grégoire (1)
  • Thivel Pierre-Xavier (1)
  • Verfaillie Gérard (1)
  • Vernadat François B. (1)
  • Wolff Burkhart (1)
  • Yakobowski Boris (1)

Directeurs de thèse :

Fullscreen

Domaines :

Valider et fermer
  • Informatique (50)
  • Sciences de l'ingénieur (19)
  • Chimie, minéralogie, cristallographie (5)
  • Sciences de la vie, biologie, biochimie (5)
  • Mathématiques (4)
  • Physique (4)
  • Informatique, information, généralités (1)
  • Bibliothéconomie et sciences de l'information (1)
  • Médias d'information, journalisme, édition (1)
  • Epistémologie, causalité, genre humain (1)
  • Science politique (1)
  • Droit (1)
  • Education et enseignement (1)
  • Langues et linguistique (1)
  • Langues italienne, roumaine, rhéto-romane (1)
  • Astronomie, cartographie, géodésie (1)
  • Médecine et santé (1)
  • Bâtiments (1)
  • Histoire et critique littéraires, rhétorique (1)
  • Littérature de langues romanes. Littérature française (1)
  • Géographie et histoire (1)

Domaines :

Fullscreen

93 thèses pour Scade

Informatique

Soutenue le 07-02-2013
thèse soutenue
Sciences Physiques et de l'Ingénieur. Sûreté de fonctionnement

Soutenue en 2008
thèse soutenue
Informatique. Systèmes et communications

Soutenue en 2006
thèse soutenue

...Scade or Lustre code.7172 CHAPTER 6. PARALLELIZATION OF SYNCHRONOUS PROGRAMSDKGLB C AHEIFJFigure 6...

Accéder en ligne
Mathématiques

En préparation depuis le 01-09-2016
 thèse en cours de préparation
Soutenance prévue le 16-03-2020

...-HORLOGESChapitre 5Automates de modesDans ce apitre, nous nous intéressons aux automates de modes du langage Scade 6...

Accéder en ligne

Résultats 1 à 10