Christian Fabre
Mots clés
FR |
EN
Compilation (informatique)
UML
Modélisation
Méthode
Multi-cœur
Processus
Systèmes embarqués
Systèmes embarqués (informatique)
Langage d'action
Langages parallèles
Ingénierie guidée par les modèles
Statecharts
Sémantique formelle
Compilation
Langages de programmation -- Sémantique
Optimisation
Llvm
Format de nombres
Précision variable
Arithmétique à virgule flottante