Benoît Barbot
IdRefMots clés
FR |
EN
Échantillonage préférentiel
Événement rare
Probabilités
Logiciels -- Vérification
Audit informatique
Énergie
Optimisation
Performance
Centres de calcul
Analyse numérique
Clouds
Centres de traitement informatique
Dépliage
Algorithmes parallèles
Vérification de modèles (informatique)
Méthodes formelles (informatique)
Parallélisme (informatique)
Réseaux de réactions chimiques
Inférence
Vérification