Le moteur de recherche
des thèses françaises
Lothar Thiele
IdRefMots clés
FR |
EN
Ordonnancement
Optimisation multi-Objectifs
Augmentation des ressources
Optimisation multi-critère
Systèmes multi-processeur
SAT
Recherche stochastique locale
Multiprocesseurs
Modélisation à base de composants
Simulation
Vérification
Temps réel
Systèmes hétérogènes
Sémantique opérationnelle
Component based modeling
Verification
Real time
Heterogeneous systems
Operational semantics
Temps réel (informatique)