Spécification des objets partagés dans les systèmes répartis sans-attente

Spécification des objets partagés dans les systèmes répartis sans-attente

Dans les systèmes répartis à très grande échelle, les critères de cohérence forts comme la cohérence séquentielle et la linéarisabilité sont souvent trop coûteux, voire impossibles à obtenir. Dans cette thèse, nous nous posons la question de la spécification des objets que l on peut tout de même obt...

Description complète

Enregistré dans:
Détails bibliographiques
Auteur principal : Perrin Matthieu (Auteur)
Collectivités auteurs : Université Bretagne Loire 2016-2019 (Organisme de soutenance), Université de Nantes 1962-2021 (Organisme de soutenance), Université de Nantes Faculté des sciences et des techniques (Autre partenaire associé à la thèse), École doctorale Sciences et technologies de l'information et mathématiques Nantes (Ecole doctorale associée à la thèse), Laboratoire d Informatique de Nantes Atlantique (UMR 6241) Nantes (Laboratoire associé à la thèse)
Autres auteurs : Jard Claude (Directeur de thèse), Mostefaoui Achour (Directeur de thèse)
Format : Thèse ou mémoire
Langue : français
Titre complet : Spécification des objets partagés dans les systèmes répartis sans-attente / Matthieu Perrin; sous la direction de Claude Jard ; co-directeur de thèse Achour Mostéfaoui
Publié : 2016
Description matérielle : 1 vol. (203 p.)
Note de thèse : Thèse de doctorat : Informatique et applications : Nantes : 2016
Disponibilité : Publication autorisée par le jury
Sujets :
Cohérence (informatique) > Thèses et écrits académiques
Sémantique opérationnelle > Thèses et écrits académiques
Systèmes à paramètres répartis > Thèses et écrits académiques
Documents associés : Reproduit comme: Spécification des objets partagés dans les systèmes répartis sans-attente

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Magasin aérotherme 2016 NANT 2103 Exclu du prêt disponible