|
Titre :
|
Méthodes de construction des systèmes répartis : sélection d'articles
|
|
Titre de série :
|
Calculateurs parallèles, réseaux et systèmes répartis, 11
|
|
Auteurs :
|
Valery Issarny, Éditeur scientifique
|
|
Type de document :
|
texte imprimé
|
|
Editeur :
|
Paris : Hermès science publications, 1999
|
|
ISBN/ISSN/EAN :
|
978-2-7462-0058-6
|
|
Format :
|
92 p. / 24 x 16 cm
|
|
Note générale :
|
Bibliogr.
|
|
Langues:
|
Français
|
|
Index. décimale :
|
005.4
|
|
Mots-clés:
|
systèmes d'exploitation (ordinateurs)
;
systèmes d'exploitation répartis
|
|
Résumé :
|
Présente notamment une version étendue de trois articles de la conférence : Modélisation et support d'applications multimédias réparties, d'Isabelle Demeure; Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects, de David Mentré; Mises en cohérence et analyse de traces logicielles multi-niveaux, de François Gaël Ottogali et Jean-Marc Vincent.
|
