Jens Knoop
Mots clés
FR |
EN
Analyse WCET
Patmos
Stack cache
Systèmes temps-réel
Analyse de cache
Analyse statique
Temps réel (informatique)
Analyse Pire Cas
Processeurs à hautes performances
Analyse temporelle
Vérification formelle
Validation de traduction
Exécution symbolique
Optimisations de compilateur
Risc-V
L'assistant de preuve Coq
Assistants de preuve
Compilateurs (logiciels)