Gilles Muller
IdRefMots clés
FR |
EN
Microprocesseurs multi-coeurs
Systèmes embarqués (informatique)
Linux
Mémoire
Temps réel (informatique)
Parallélisme (informatique)
Systèmes d'exploitation
Mémoire partagée répartie
Systèmes virtuels (informatique)
Multicoeur
Verrou
Algorithmes
Systèmes d’exploitation temps-réel
Systèmes embarqués
Méthodes formelles
Modèles à états finis
Vérification formelle
Code source (informatique)
Vérification de modèles (informatique)
Langage dédié