Le moteur de recherche
des thèses françaises
Gaétan Hains
IdRefMots clés
FR |
EN
Programmation parallèle (informatique)
Parallélisme
BSP
Programmation parallèle
Algorithmes parallèles
Informatique
Compilation
Algorithmes
Compilation (informatique)
Parallélisme (informatique)
Vérification
MPI
Vérification de modèles (informatique)
Traitement de flux
Données XML
Requêtes XPath
Estimation de sélectivité
Modèle de performance
Optimisation de requêtes
Streaming (télécommunications)