Dominique Geniet
Mots clés
FR |
EN
Temps réel (informatique)
Ordonnancement (gestion)
Etat fini
Langage rationnel
Système informatique
Système réparti
Théorie des machines séquentielles
Parallélisme (informatique)
Automates
Synchronisation
Multiprocesseurs
Markov, Processus de
Qualité de service
Ordonnancement hors-ligne
Ordonnancement (informatique)
POSIX (norme)
Ingénierie dirigée par les modèles
Optimisation des requêtes
Interaction
Support de stockage