Lothar Thiele
IdRefMots clés
FR |
EN
Ordonnancement
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)
Systèmes informatiques hétérogènes
Simulation par ordinateur