Le moteur de recherche
des thèses françaises
Frédéric Gava
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Sémantique
Sûreté des langages
Parallélisme (informatique)
Protocoles de réseaux d'ordinateurs
Programmation réactive
Programmation fonctionnelle (informatique)
Langages de programmation
Programmation parallèle
Multi-BSP
Ml
Langage de programmation
Systèmes ouverts (informatique)
Architecture des ordinateurs
Bsp
Sémantiques
Vérification déductive
Langages de programmation -- Sémantique
Architectures manycore
Contraintes (mécanique)