Le moteur de recherche
des thèses françaises
Hugues Cassé
IdRefMots clés
FR |
EN
Analyse statique
Temps réel (informatique)
Analyse Pire Cas
Interprétation abstraite
Wcet
WCET
Systèmes temps-réel
Temps réel
Diagramme de décision
Micro-architecture
Systèmes embarqués (informatique)
Certification
Benchmark temps-réel
Analyse de flot de données
Ordonnancement (gestion)
Fonctionnement multitâche
Systèmes informatiques -- Évaluation
Ordinateurs -- Fiabilité
Logiciels -- Validation
Synchronisation