Allocation de ressources  Analyse  Analyse comportementale  Approche synchrone  Architecture big.LITTLE  Architecture des réseaux d'ordinateurs  Architectures adaptative  Architectures multicoeurs / multiprocesseurs  Aspects non fonctionnels  Avionique  Bti  C plus-plus  CCSL  CHATS  Circuits intégrés  Circuits intégrés numériques  Composants électroniques  Conception et construction  Conception et validation formelle  Consommation d'énergie  Consommation de puissance  Débogage  Débogueurs  Efficacité énergétique  Estimation de performance  Exploration de données  Exploration de l'espace de conception  FATMA  Fiabilité  Fiabilité des circuits numériques  Hci  Horloges logiques  IDM  IEEE-42010  Ingénierie dirigée par les modèles  Logiciels -- Validation  Logiciels -- Vérification  MARTE  MPSoC  Microprocesseurs multi-coeurs  MoC  Modèle de cache d'instruction  Modèles hétérogènes  Modèles mathématiques  Modélisation multi-vues  Multi-vue  Multiprocesseur  Multiprocesseurs  Méta-modélisation  Méthodes formelles  Ordonnancement  Ordonnancement  Ordre  Parallélisation automatique  Programmation  Programmation parallèle  Pvt  Représentation intermédiaire  Routeurs  Réseaux de communication intégrés sur silicium  Simulateurs  Simulation  Simulation par ordinateur  Squelettes algorithmiques  Synthèse de contrôleurs discrets  SysM  SysML  Systèmes embarqués  Systèmes sur Puce Multiprocesseurs Adaptatifs  Systèmes sur puce  Temps réel  Thèses et écrits académiques  Trace  UML  UML  Vieillissement  Vliw  XPU  

Abdoulaye El Hadji Gamatié a rédigé la thèse suivante :


Abdoulaye El Hadji Gamatié a dirigé les 3 thèses suivantes :


Abdoulaye El Hadji Gamatié a été rapporteur des 3 thèses suivantes :


Abdoulaye El Hadji Gamatié a été membre de jury des 3 thèses suivantes :