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
Squelettes algorithmiques
Méthodes formelles (informatique)
Méthodes formelles
Programmation fonctionnelle (informatique)
Parallélisme
BSP
Systèmes informatiques -- Mesures de sûreté
Vérification formelle
Programmation parallèle
Programmation
Vérification déductive
Frama-C
Vérification dynamique
Traitement réparti
Parallélisme quasi-synchrone
Assistant de preuve