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 |
Catégories : | |
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. |
Note de contenu : |
Modélisation et support d'applications multimédias réparties Conception de protocoles de cohérence de MVP par traduction d'une spécification Gamma à l'aide d'aspects Mise en cohérence et analyse de traces logicielles multi-niveaux Specification model and platform for distributed multimedia applications Designing SVM coherence protocols with aspect-oriented translation of Gamma specification Consistency enforcement and analysis of multi-level software-based traces. |
Exemplaires (1)
Code-barres | Cote | Support | Localisation | Section | Disponibilité |
---|---|---|---|---|---|
TEC013794 | INFO4207 | Livre | Fonds propre-bibliotheque centrale | Informatique | Libre accès Disponible |