University Sétif 1 FERHAT ABBAS Faculty of Sciences
Détail de l'éditeur
Morgan Kaufmann
localisé à :
San Francisco
|
Documents disponibles chez cet éditeur
Ajouter le résultat dans votre panier Affiner la recherche
Titre : Distributed algorithms Type de document : texte imprimé Auteurs : Nancy A. Lynch (1918-1984), Auteur Editeur : San Francisco : Morgan Kaufmann Année de publication : 1997 Importance : 1vol. (872 p.) Présentation : ill. Format : 24 cm ISBN/ISSN/EAN : 978-1-55860-348-6 Langues : Anglais (eng) Catégories : Informatique Mots-clés : Traitement réparti
Algorithmes : Programmation
Traitement électronique des données : Traitement réparti
Algorithmes distribuésIndex. décimale : 005.2 Programmation informatique pour les ordinateurs Résumé :
Dans les algorithmes distribués, Nancy Lynch fournit un plan pour la conception, l'implémentation et l'analyse d'algorithmes distribués. Elle dirige son livre à un large public, y compris les étudiants, les programmeurs, les concepteurs de systèmes et les chercheurs.
Distributed Algorithms contient les algorithmes les plus significatifs et les résultats d'impossibilité dans la zone, le tout dans un cadre simple d'automates théoriques. Les algorithmes sont corrects, et leur complexité est analysée en fonction de mesures de complexité définies avec précision. Les problèmes abordés comprennent l'allocation des ressources, la communication, le consensus entre les processus distribués, la cohérence des données, la détection des interblocages, l'élection des responsables, les instantanés globaux et bien d'autres.
Le matériel est organisé selon le modèle du système, d'abord par le modèle de synchronisation, puis par le mécanisme de communication interprocessus. Le matériau des modèles de système est isolé dans des chapitres séparés pour faciliter la consultation.
La présentation est complètement rigoureuse, mais est assez intuitive pour une compréhension immédiate. Ce livre familiarise les lecteurs avec des problèmes importants, des algorithmes et des résultats d'impossibilité dans le domaine: les lecteurs peuvent alors reconnaître les problèmes lorsqu'ils surviennent en pratique, appliquer les algorithmes pour les résoudre et utiliser les résultats d'impossibilité pour déterminer si les problèmes sont insolubles. Le livre fournit également aux lecteurs les outils mathématiques de base pour concevoir de nouveaux algorithmes et prouver de nouveaux résultats d'impossibilité. En outre, il enseigne aux lecteurs comment raisonner avec soin sur les algorithmes distribués - pour les modéliser formellement, concevoir des spécifications précises pour leur comportement requis, prouver leur exactitude, et évaluer leur performance avec des mesures réalistes.Note de contenu :
Sommaire :
1. Introduction
Part I. Synchronous network algorithms
2. Modelling I : synchronous network model
3. Leader election, in a synchronous ring
4. Algorithms in general synchronous networks
5. Distributed consensus with link failures
6. DIstributed consensus with process failures
7. More consensus problems
Part II. Asynchronous algorihtms
8. Modelling II : asynchronous system model
Part IIA. Asynchronous shared memory algorihtms
10. Mutual exclusion
11. Resource allocation
12. Consensus
13. Atomic objects
Part IIB. Asynchronous network algorithms
14. Modelling IV. Asynchronous network model
15. Basic asynchronous network algorithms
16. Synchronizers
17. Shared memory versus networks
18. Logical time
19. Global snapshots and stable properties
20. Network resource allocation
21. Asynchronous networks with process failures
22. Data link protocols
Part III. Partially synchronous algorithms
23. Partially synchronous system models
24. Mutual exclusion with partial synchrony
25. Consensus with partial synchrony
Côte titre : Fs/19741 Distributed algorithms [texte imprimé] / Nancy A. Lynch (1918-1984), Auteur . - San Francisco : Morgan Kaufmann, 1997 . - 1vol. (872 p.) : ill. ; 24 cm.
ISBN : 978-1-55860-348-6
Langues : Anglais (eng)
Catégories : Informatique Mots-clés : Traitement réparti
Algorithmes : Programmation
Traitement électronique des données : Traitement réparti
Algorithmes distribuésIndex. décimale : 005.2 Programmation informatique pour les ordinateurs Résumé :
Dans les algorithmes distribués, Nancy Lynch fournit un plan pour la conception, l'implémentation et l'analyse d'algorithmes distribués. Elle dirige son livre à un large public, y compris les étudiants, les programmeurs, les concepteurs de systèmes et les chercheurs.
Distributed Algorithms contient les algorithmes les plus significatifs et les résultats d'impossibilité dans la zone, le tout dans un cadre simple d'automates théoriques. Les algorithmes sont corrects, et leur complexité est analysée en fonction de mesures de complexité définies avec précision. Les problèmes abordés comprennent l'allocation des ressources, la communication, le consensus entre les processus distribués, la cohérence des données, la détection des interblocages, l'élection des responsables, les instantanés globaux et bien d'autres.
Le matériel est organisé selon le modèle du système, d'abord par le modèle de synchronisation, puis par le mécanisme de communication interprocessus. Le matériau des modèles de système est isolé dans des chapitres séparés pour faciliter la consultation.
La présentation est complètement rigoureuse, mais est assez intuitive pour une compréhension immédiate. Ce livre familiarise les lecteurs avec des problèmes importants, des algorithmes et des résultats d'impossibilité dans le domaine: les lecteurs peuvent alors reconnaître les problèmes lorsqu'ils surviennent en pratique, appliquer les algorithmes pour les résoudre et utiliser les résultats d'impossibilité pour déterminer si les problèmes sont insolubles. Le livre fournit également aux lecteurs les outils mathématiques de base pour concevoir de nouveaux algorithmes et prouver de nouveaux résultats d'impossibilité. En outre, il enseigne aux lecteurs comment raisonner avec soin sur les algorithmes distribués - pour les modéliser formellement, concevoir des spécifications précises pour leur comportement requis, prouver leur exactitude, et évaluer leur performance avec des mesures réalistes.Note de contenu :
Sommaire :
1. Introduction
Part I. Synchronous network algorithms
2. Modelling I : synchronous network model
3. Leader election, in a synchronous ring
4. Algorithms in general synchronous networks
5. Distributed consensus with link failures
6. DIstributed consensus with process failures
7. More consensus problems
Part II. Asynchronous algorihtms
8. Modelling II : asynchronous system model
Part IIA. Asynchronous shared memory algorihtms
10. Mutual exclusion
11. Resource allocation
12. Consensus
13. Atomic objects
Part IIB. Asynchronous network algorithms
14. Modelling IV. Asynchronous network model
15. Basic asynchronous network algorithms
16. Synchronizers
17. Shared memory versus networks
18. Logical time
19. Global snapshots and stable properties
20. Network resource allocation
21. Asynchronous networks with process failures
22. Data link protocols
Part III. Partially synchronous algorithms
23. Partially synchronous system models
24. Mutual exclusion with partial synchrony
25. Consensus with partial synchrony
Côte titre : Fs/19741 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19741 Fs/19741 Livre Bibliothéque des sciences Français Disponible
Disponible
Titre : Internet QoS : Architectures and mechanisms for quality of service Type de document : texte imprimé Auteurs : Zheng Wang Editeur : San Francisco : Morgan Kaufmann Année de publication : 2001 Importance : 1 vol. (239 p.) Présentation : ill. Format : 25 cm ISBN/ISSN/EAN : 978-1-55860-608-1 Catégories : Informatique Mots-clés : Internet : Evaluation
Telecommunication : Traffic : Management
Qualité de Service (télécommunications)
Télécommunications :Trafic: Gestion
Réseaux d'ordinateurs: Qualité : ContrôleIndex. décimale : 004.6 Communications, interfaçage Résumé :
La performance garantie sur Internet peut sembler presque impossible, en raison d'une gamme encore plus large de variables qui peuvent affecter et réduire le service. Mais si vous êtes impliqué dans le développement et la mise en œuvre de la vidéo en continu ou de la voix ou d'autres applications Internet sensibles au temps, vous comprenez déjà exactement ce qui est en jeu dans l'établissement de la qualité de service.
Ce dont vous avez besoin, c'est d'un guide fiable sur les dernières techniques de QoS écrites spécifiquement pour répondre aux défis particuliers de l'Internet. Internet QoS est-il le premier livre à creuser profondément dans les problèmes qui affectent votre capacité à fournir QoS Internet à vos utilisateurs. Ce livre vous donne une vision large du problème et des dizaines d'analyses spécifiques conçues pour vous aider lorsque vous vous efforcez de créer et d'adhérer à des garanties de qualité de service significatives.
Caractéristiques
Comprend des connaissances précieuses d'un ingénieur Bell Labs avec quatorze ans d'expérience dans la mise en réseau de données et la conception de protocole Internet.
Détaille les améliorations apportées aux architectures Internet actuelles et aux nouveaux mécanismes et capacités de gestion de réseau dont la QoS aura besoin.
Se concentre sur les quatre principaux domaines de la qualité de service Internet: les services intégrés, les services différenciés, la commutation d'étiquettes multiprotocoles et l'ingénierie du trafic.Note de contenu :
Sommaire
Chapter One: The Big Picture
1.1 Resource Allocation
1.1.1 Integrated Services
1.1.2 Differentiated Services
1.2 Performance Optimization
1.2.1 Multi-Protocol Label Switching
1.2.2 Traffic Engineering
1.3 Summary
Chapter Two: Integrated Services
2.1 Introduction
2.2 Real-Time Applications
2.3 Integrated Services Architecture
2.3.1 Basic Approach
2.3.2 Key Components
2.4 Service Models
2.4.1 Flow Specification
2.4.2 Guaranteed Service
2.4.3 Controlled Load Service
2.5 Resource Reservation Setup (RSVP)
2.5.1 Basic Features
2.5.2 Operation Overview
2.5.3 RSVP Messages
2.5.4 Reservation Styles
2.5.5 Adspec, OPWA and Slack Term
2.6 Flow Identification
2.6.1 Basic Requirements
2.6.2 Design Choices
2.6.3 Hashing-Based Schemes
2.6.4 Performance Evaluation
2.7 Packet Scheduling
2.7.1 Basic Requirements
2.7.2 Design Choices
2.7.3 Weighted Fair Queuing
2.7.4 Variants of WFQ
2.8 Integrated Services over Specific Link Layers
2.8.1 Local Area Networks
2.8.2 ATM Networks
2.9 Summary
Chapter Three: Differentiated Services
3.1 Introduction
3.2 Differentiated Services Framework
3.2.1 Basic Approach
3.2.2 Service and Forwarding Treatment
3.2.3 Per-Hop Behaviors (PHBs)
3.2.4 Services
3.3 Differentiated Services Field
3.3.1 Structure of DS Field
3.3.2 Historical Codepoint Definition
3.3.3 Current Codepoint Allocation
3.4 Traffic Classification and Conditioning
3.4.1 Classifier
3.4.2 Traffic Conditioner
3.4.3 Location of Traffic Classifiers and Conditioners
3.4.4 Configuring Traffic Classifiers and Conditioners
3.5 Assured Forwarding
3.5.1 AF PHB Group
3.5.2 Implementation Guideline
3.5.3 Example Services
3.6 Expedited Forwarding
3.6.1 EF PHB
3.6.2 Implementation Guideline
3.7 Interoperability with Non-DS-Compliant Networks
3.7.1 Non-DS-Compliant Node within a DS Domain
3.7.2 Transit Non-DS-Capable Domain
3.8 Packet Classification
3.8.1 Basic Requirements
3.8.2 Classification Algorithms
3.9 Traffic Policing 37
3.9.1 Metering and Marking
3.9.2 Dual Token Bucket Algorithm
3.10 End-to-End Resource Management
3.10.1 Integrated Services over Differentiated Services
3.10.2 Inter-Domain Bandwidth Allocation
3.10.3 End-System Congestion Control
3.11 Performance Issues in Differentiated Services
3.11.1 Network Configuration
3.11.2 Traffic Profiles and Bottleneck Bandwidth
3.11.3 Protection from Mis-Behaving Sources
3.12 Summary
Chapter Four: Multi-Protocol Label Switching
4.1 Introduction
4.2 Motivation
4.2.1 IP over ATM Integration
4.2.2 Simpler Forwarding Paradigm
4.2.3 Traffic Engineering
4.3 Overview
4.3.1 Routing vs Switching
4.3.2 Label Switching Proposals
4.3.3 Comparison of Approaches
4.4 MPLS Architecture
4.4.1 Key Concepts
4.4.2 Forwarding Equivalency Classes
4.4.3 Hierarchy and Label Stacking
4.4.4 Label Stack Encoding
4.4.5 Loop Detection
4.5 Label Distribution Protocols
4.5.1 LDP
4.5.2 CR-LDP
4.5.3 RSVP-TE
4.5.4 Comparison
4.6 Summary 4.7 Further Reading
Chapter Five: Internet Traffic Engineering
5.1 Introduction
5.2 The Fish Problem
5.3 Traffic Engineering Solutions
5.4 Optimization Objectives
5.5 Building Blocks
5.5.1 Data Repository
5.5.2 Topology and State Discovery
5.5.3 Traffic Demand Estimation
5.5.4 Route Computation
5.5.5 Network Interface
5.6 Topology and State Discovery
5.7 Constraint-Based Routing
5.7.1 Mathematical Formulation
5.7.2 Overlay Model
5.7.3 Peer Model
5.8 Multi-Path Loadsharing
5.8.1 Direct Hashing
5.8.2 Table-Based Hashing
5.9 SummaryCôte titre : Fs/19769 Internet QoS : Architectures and mechanisms for quality of service [texte imprimé] / Zheng Wang . - San Francisco : Morgan Kaufmann, 2001 . - 1 vol. (239 p.) : ill. ; 25 cm.
ISBN : 978-1-55860-608-1
Catégories : Informatique Mots-clés : Internet : Evaluation
Telecommunication : Traffic : Management
Qualité de Service (télécommunications)
Télécommunications :Trafic: Gestion
Réseaux d'ordinateurs: Qualité : ContrôleIndex. décimale : 004.6 Communications, interfaçage Résumé :
La performance garantie sur Internet peut sembler presque impossible, en raison d'une gamme encore plus large de variables qui peuvent affecter et réduire le service. Mais si vous êtes impliqué dans le développement et la mise en œuvre de la vidéo en continu ou de la voix ou d'autres applications Internet sensibles au temps, vous comprenez déjà exactement ce qui est en jeu dans l'établissement de la qualité de service.
Ce dont vous avez besoin, c'est d'un guide fiable sur les dernières techniques de QoS écrites spécifiquement pour répondre aux défis particuliers de l'Internet. Internet QoS est-il le premier livre à creuser profondément dans les problèmes qui affectent votre capacité à fournir QoS Internet à vos utilisateurs. Ce livre vous donne une vision large du problème et des dizaines d'analyses spécifiques conçues pour vous aider lorsque vous vous efforcez de créer et d'adhérer à des garanties de qualité de service significatives.
Caractéristiques
Comprend des connaissances précieuses d'un ingénieur Bell Labs avec quatorze ans d'expérience dans la mise en réseau de données et la conception de protocole Internet.
Détaille les améliorations apportées aux architectures Internet actuelles et aux nouveaux mécanismes et capacités de gestion de réseau dont la QoS aura besoin.
Se concentre sur les quatre principaux domaines de la qualité de service Internet: les services intégrés, les services différenciés, la commutation d'étiquettes multiprotocoles et l'ingénierie du trafic.Note de contenu :
Sommaire
Chapter One: The Big Picture
1.1 Resource Allocation
1.1.1 Integrated Services
1.1.2 Differentiated Services
1.2 Performance Optimization
1.2.1 Multi-Protocol Label Switching
1.2.2 Traffic Engineering
1.3 Summary
Chapter Two: Integrated Services
2.1 Introduction
2.2 Real-Time Applications
2.3 Integrated Services Architecture
2.3.1 Basic Approach
2.3.2 Key Components
2.4 Service Models
2.4.1 Flow Specification
2.4.2 Guaranteed Service
2.4.3 Controlled Load Service
2.5 Resource Reservation Setup (RSVP)
2.5.1 Basic Features
2.5.2 Operation Overview
2.5.3 RSVP Messages
2.5.4 Reservation Styles
2.5.5 Adspec, OPWA and Slack Term
2.6 Flow Identification
2.6.1 Basic Requirements
2.6.2 Design Choices
2.6.3 Hashing-Based Schemes
2.6.4 Performance Evaluation
2.7 Packet Scheduling
2.7.1 Basic Requirements
2.7.2 Design Choices
2.7.3 Weighted Fair Queuing
2.7.4 Variants of WFQ
2.8 Integrated Services over Specific Link Layers
2.8.1 Local Area Networks
2.8.2 ATM Networks
2.9 Summary
Chapter Three: Differentiated Services
3.1 Introduction
3.2 Differentiated Services Framework
3.2.1 Basic Approach
3.2.2 Service and Forwarding Treatment
3.2.3 Per-Hop Behaviors (PHBs)
3.2.4 Services
3.3 Differentiated Services Field
3.3.1 Structure of DS Field
3.3.2 Historical Codepoint Definition
3.3.3 Current Codepoint Allocation
3.4 Traffic Classification and Conditioning
3.4.1 Classifier
3.4.2 Traffic Conditioner
3.4.3 Location of Traffic Classifiers and Conditioners
3.4.4 Configuring Traffic Classifiers and Conditioners
3.5 Assured Forwarding
3.5.1 AF PHB Group
3.5.2 Implementation Guideline
3.5.3 Example Services
3.6 Expedited Forwarding
3.6.1 EF PHB
3.6.2 Implementation Guideline
3.7 Interoperability with Non-DS-Compliant Networks
3.7.1 Non-DS-Compliant Node within a DS Domain
3.7.2 Transit Non-DS-Capable Domain
3.8 Packet Classification
3.8.1 Basic Requirements
3.8.2 Classification Algorithms
3.9 Traffic Policing 37
3.9.1 Metering and Marking
3.9.2 Dual Token Bucket Algorithm
3.10 End-to-End Resource Management
3.10.1 Integrated Services over Differentiated Services
3.10.2 Inter-Domain Bandwidth Allocation
3.10.3 End-System Congestion Control
3.11 Performance Issues in Differentiated Services
3.11.1 Network Configuration
3.11.2 Traffic Profiles and Bottleneck Bandwidth
3.11.3 Protection from Mis-Behaving Sources
3.12 Summary
Chapter Four: Multi-Protocol Label Switching
4.1 Introduction
4.2 Motivation
4.2.1 IP over ATM Integration
4.2.2 Simpler Forwarding Paradigm
4.2.3 Traffic Engineering
4.3 Overview
4.3.1 Routing vs Switching
4.3.2 Label Switching Proposals
4.3.3 Comparison of Approaches
4.4 MPLS Architecture
4.4.1 Key Concepts
4.4.2 Forwarding Equivalency Classes
4.4.3 Hierarchy and Label Stacking
4.4.4 Label Stack Encoding
4.4.5 Loop Detection
4.5 Label Distribution Protocols
4.5.1 LDP
4.5.2 CR-LDP
4.5.3 RSVP-TE
4.5.4 Comparison
4.6 Summary 4.7 Further Reading
Chapter Five: Internet Traffic Engineering
5.1 Introduction
5.2 The Fish Problem
5.3 Traffic Engineering Solutions
5.4 Optimization Objectives
5.5 Building Blocks
5.5.1 Data Repository
5.5.2 Topology and State Discovery
5.5.3 Traffic Demand Estimation
5.5.4 Route Computation
5.5.5 Network Interface
5.6 Topology and State Discovery
5.7 Constraint-Based Routing
5.7.1 Mathematical Formulation
5.7.2 Overlay Model
5.7.3 Peer Model
5.8 Multi-Path Loadsharing
5.8.1 Direct Hashing
5.8.2 Table-Based Hashing
5.9 SummaryCôte titre : Fs/19769 Exemplaires (1)
Code-barres Cote Support Localisation Section Disponibilité Fs/19769 Fs/19769 Livre Bibliothéque des sciences Français Disponible
Disponible
