Le moteur de recherche
des thèses françaises
Pascal Urso
IdRefMots clés
FR |
EN
Théorèmes -- Démonstration automatique
Induction (mathématiques)
Réplication optimiste
Types de données répliqués
Méthodologie d'évaluation
Systèmes collaboratifs
Informatique en nuage
Édition collaborative
Informatique dans les nuages
Algorithmes
Parallélisme (informatique)
Ordres partiels
Récupération des erreurs
Systèmes distribués
Traitement réparti
Ordonnancement (informatique)
Codes correcteurs d'erreurs (théorie de l'information)