Frédéric Loulergue
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Parallélisme (informatique)
Logiciels -- Vérification
Algorithmes parallèles
Squelettes algorithmiques
Programmation fonctionnelle (informatique)
Méthodes formelles
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles (informatique)
Programmation parallèle
BSP
Parallélisme
Vérification formelle
Sécurité
Vérification dynamique
C (langage de programmation)
Coq
Vérification déductive
Informatique
Microprocesseurs multi-coeurs