Frédéric Gava
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Sûreté des langages
Parallélisme (informatique)
Protocoles de réseaux d'ordinateurs
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)
Calcul adaptatif
Noyaux (analyse fonctionnelle)