Le moteur de recherche
des thèses françaises
Francesco Zappa Nardelli
IdRefMots clés
FR |
EN
Informatique
Concurrence
Modèle mémoire
Analyse statique
Logique de séparation
Compilation
Optimisation de code
Modèle de performance
GPU
Programation par contraintes
Parallélisme
Programmation non bloquante
Modèles de mémoire relâchée
Réseaux de processus de Kahn
Analyse compositionnelle
Propriétés relationnelles
Structures de données dynamiques
Interprétation abstraite
C11
Optimisations