Le moteur de recherche
des thèses françaises
Frédéric Loulergue
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Parallélisme (informatique)
Logiciels -- Vérification
Algorithmes parallèles
Méthodes formelles (informatique)
Squelettes algorithmiques
Programmation fonctionnelle (informatique)
Systèmes informatiques -- Mesures de sûreté
Méthodes formelles
Parallélisme
BSP
Vérification formelle
Programmation parallèle
Programmation
C (langage de programmation)
Vérification déductive
Frama-C
Vérification dynamique
Traitement réparti
Parallélisme quasi-synchrone