AUTOSAR  Abstraction du modèle  Affectation dynamique du trafic  Algorithme d'approximation  Algorithme de Dijkstra  Algorithmes  Algorithmique  Analyse de flots de données  Arbre de Steiner  Architecture -- Informatique  Architecture matérielle  Architecture multi-coeurs  Architectures embarquées  Autopartage  Buffers  CEGAR [Abstraction-Raffinement par Contre-Exemple]  Calcul Haute Performance  Calcul d'itinéraires routiers  Calcul intensif  Calcul à hautes performances  Capacité de production  Caractérisations  Checkpointing  Circulation urbaine  Communications  Complexité théorique  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  Dimensionnement des mémoires  Données -- Transmission  Dvfs  Débit  Décision  Décision post-pronostic  En cours de production  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 fluence  Génération aléatoire  Heuristique  Heuristiques  Hétérogénéité  Indicateurs de santé  Indices de santé d'équipement  Industries de pointe  Logiciels -- Vérification  Logique temporelleCTL  MATLAB  MATLAB/SIMULINK  Machines parallèles  Microprocesseurs multi-coeurs  Microélectronique  Mobilité dans un réseau de transport multimodal  Mobilité quotidienne  Modèle de systèmes à événements discrets  Modèles mathématiques  Modélisation  Modélisation des données  Modélisation des flux de trafic  Multi-cœurs  Multiprocesseur  Multiprocesseurs  Multiprocesseurs-sur-puce  Network on Chip  Normalisation  Optimisation combinatoire  Optimisation des transports  Optimisation linéaire  Ordinateurs -- Fiabilité  Ordonnancement  Ordonnancement  Ordonnancement  Ordonnancement cyclique  Ordonnancement hors-ligne  Ordonnancement temps réel  Ordonnancement temps-réel  Parallélisme  Parallélismes  Petri, Réseaux de  Phased Computation Graph  Plate-forme de conception VLSI  Procédés de fabrication  Programmation linéaire  Prototypage  Prédiction  Qualité de service  Recherche linéaire  Recherche opérationelle  Recherche opérationnelle  Relocalisation de véhicules  Ripup & reroute  Routage global  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  Simulink  SoC [System on chip]  Synchronous Dataflow Graph  System on Chip  Système temps réel  Systèmes embarqués  Systèmes embarqués  Systèmes informatiques  Systèmes temps réel  Systèmes virtuels  Systèmes échantillonnés  Temps de reconfiguration  Temps réel  Temps réel dur  Théorie  Théorie de l'ordonnancement  Théorie des graphes  Traitement du signal -- Techniques numériques  Traitement du signal  Transport multimodal  Variabilité  Vivacité  Véhicules électriques  Vérification de propriétés comportementales  Vérification formelle  Workflow  Énergie  Évaluation d'un mapping  

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


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


Alix Munier-Kordon a été président de jury des 6 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 4 thèses suivantes :


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