| 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 : |
|
| 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 |
