Le moteur de recherche
des thèses françaises
Giuseppe Lipari
IdRefMots clés
FR |
EN
Temps réel (informatique)
Systèmes embarqués (informatique)
Microprocesseurs multi-coeurs
Analyse Pire Cas
Ordonnancement (informatique)
Systèmes temps-Réel
Optimisation combinatoire
Informatique dans les nuages
Analyse de l’ordonnançabilité
Edf
Fonction de demande
Déclenchement temporel
Changement de mode
Modélisation de système temps réel
Langage de programmation
Analyse compositionnelle
LTR (langage de programmation)
Model-Checking
Méthode d’Euler
Synchronisation