Le moteur de recherche
des thèses françaises
Éric Madelaine
IdRefMots clés
FR |
EN
Traitement réparti
Logiciels -- Vérification
Vérification formelle
Coq
Applications à base de composants
Méthodes formelles (informatique)
Coq (logiciel)
Équilibrage de charge
Réseaux structurés
Fonctions de hachage multiples
Distribution biaisée
Temps réel (informatique)
Ressource Description Framework (informatique)
Données massives
Composants distribués
Modélisation
Vérification
DCOM (architecture des ordinateurs)
Conception assistée par ordinateur -- Logiciels
SDL (langage de programmation)