Le moteur de recherche
des thèses françaises
Jean-Marc Delosme
IdRefMots clés
FR |
EN
Apprentissage automatique
Méthodes formelles (informatique)
Noyaux (analyse fonctionnelle)
Informatique dans les nuages
Suivi de particules
Parallélisme à grande échelle
Ré-Utilisabilité séquentielle/parallèle
Lagrange
HPC
Architecture par composants
Calcul parallèle
Lagrangien
Composants logiciels
Répartition de charge (informatique)
Lagrange, Équations de
Algorithmes parallèles
Méthodologies informatiques
Smm
Test
Modèles formels