AUTOSAR  Abstraction du modèle  Affectation dynamique du trafic  Algorithme d'approximation  Algorithme de Dijkstra  Algorithmes  Algorithmique  Analyse de flots de données  Analyse temporelle  Applications  Applications Web  Applications dynamiques  Arbre de Steiner  Architecture -- Informatique  Architecture matérielle  Architecture multi-coeurs  Architectures embarquées  Architectures hétérogènes  Automates mathématiques, Théorie des  Autopartage  Avionics  Buffers  CEGAR [Abstraction-Raffinement par Contre-Exemple]  Calcul Haute Performance  Calcul d'itinéraires routiers  Calcul haute performance  Calcul intensif  Calcul parallèle  Calcul à hautes performances  Capacité de production  Caractérisations  Checkpointing  Circulation urbaine  Communications  Compilation  Compilation  Complexité théorique  Conception assistée par ordinateur  Conception des applications du traitement du signal  Conditions suffisantes polynomiales  Consommation d'énergie  Contraintes de temps  Contrôle avancé des procédés  Convertisseur de protocole  Criticalité mixte  Criticité mixte  Cyclo-Static Dataflow Graph  Dataflow  Dimensionnement des mémoires  Données -- Transmission  Dvfs  Débit  Débit maximal  Décision  Décision post-pronostic  En cours de production  Equilibrage de charge  Exascale  Fabrication en semi-conducteurs  Fiabilité  Flux de données  Flux de données  Flux de production  Flux de travail  Flux-de-données  Gestion mémoire  Gestionnaires de réseaux  Graphe d'événements généralisé temporisé  Graphes bipartis  Graphes de flots de données statiques  Graphes de flots de données synchrones  Graphes de fluence  Graphes, Théorie des  Génération aléatoire  Heuristique  Heuristiques  Hétérogénéité  Indicateurs de santé  Indices de santé d'équipement  Industries de pointe  Ingénierie des systèmes  Langage synchrone  Latence  Logiciels -- Vérification  Logique temporelleCTL  MATLAB  MATLAB/SIMULINK  Machines parallèles  Many-Core  Mesures  Microprocesseurs multi-coeurs  Microélectronique  Mobilité dans un réseau de transport multimodal  Mobilité quotidienne  Modèle de flot de données  Modèle de flot de données hiérarchiques  Modèle de systèmes à événements discrets  Modèles mathématiques  Modélisation  Modélisation des communications  Modélisation des données  Modélisation des flux de trafic  Multi-cœurs  Multiprocesseur  Multiprocesseurs  Multiprocesseurs-sur-puce  Network on Chip  Normalisation  Objets coopérants  Optimisation  Optimisation combinatoire  Optimisation des transports  Optimisation linéaire  Optimisation multi-objectifs  Ordinateurs -- Fiabilité  Ordonnancement  Ordonnancement  Ordonnancement  Ordonnancement cyclique  Ordonnancement hors-ligne  Ordonnancement mono-processeur  Ordonnancement multiprocesseur  Ordonnancement temps réel  Ordonnancement temps-réel  Parallélisme  Parallélisme  Parallélismes  Partitionnement  Petri, Réseaux de  Phased Computation Graph  Pipeline logiciel  Pire temps d'exécution  Plate-forme de conception VLSI  Probabilités  Processeurs  Processeurs à hautes performances  Procédés de fabrication  Programmation linéaire  Programmation parallèle  Prototypage  Prédiction  Qualité de service  Recherche linéaire  Recherche opérationelle  Recherche opérationnelle  Relocalisation de véhicules  Ripup & reroute  Robots -- Systèmes de commande  Routage global  Répartition de charge  Réseau de transport dense et large  Réseau-sur-puce  Réseaux de Petri pondérés  Résolution optimale  SDF>G  Semiconducteurs  Silent errors  Simulation  Simulation du transport  Simulation par ordinateur  Simulink  SoC [System on chip]  Solveurs directs creux  Synchronous Dataflow Graph  System on Chip  Système cyber-Physiques  Système temps réel  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques -- Mise en oeuvre  Systèmes informatiques  Systèmes temps réel  Systèmes temps-réel  Systèmes virtuels  Systèmes échantillonnés  Sémantique formelle  Temps d'exécution  Temps de reconfiguration  Temps réel  Temps réel dur  Temps-Réel  Temps-réel  Théorie  Théorie de l'ordonnancement  Théorie des graphes  Théorie des valeurs extrêmes  Tolérance aux fautes  Tolérance aux pannes  Traitement du signal -- Techniques numériques  Traitement du signal  Transport multimodal  Tâches strictement périodiques non-préemptifs  Valeurs extrêmes, Théorie des  Variabilité  Vivacité  Véhicules électriques  Vérification de propriétés comportementales  Vérification formelle  Workflow  Économie d'énergie  Énergie  

Alix Munier-Kordon a rédigé la thèse suivante :


Alix Munier-Kordon a dirigé les 13 thèses suivantes :


Alix Munier-Kordon a été président de jury des 8 thèses suivantes :

Mathématiques et Sciences et Technologies de l'Information et de la Communication
Soutenue le 14-12-2018
Thèse soutenue


Alix Munier-Kordon a été rapporteur des 5 thèses suivantes :


Alix Munier-Kordon a été membre de jury des 8 thèses suivantes :