Overview

Dependable Network Computing provides insights into various problems facing millions of global users resulting from the `internet revolution'. It covers real-time problems involving software, servers, and large-scale storage systems with adaptive fault-tolerant routing and dynamic reconfiguration techniques. Also included is material on routing protocols, QoS, and dead- and live-lock free related issues. All chapters are written by leading specialists in their respective fields. Dependable Network Computing provides useful information for scientists, researchers, and application developers building networks based on commercially off-the-shelf components.

Full Product Details

Author:   Dimiter R. Avresky
Publisher:   Springer
Imprint:   Springer
Edition:   2000 ed.
Volume:   538
Dimensions:   Width: 15.50cm , Height: 2.60cm , Length: 23.50cm
Weight:   1.880kg
ISBN:  

9780792377115

ISBN 10:   0792377117
Pages:   464
Publication Date:   30 November 1999
Audience:   Professional and scholarly ,  Professional and scholarly ,  Professional & Vocational ,  Postgraduate, Research & Scholarly
Format:   Hardback
Publisher's Status:   Active
Availability:   In Print  
This item will be ordered in for you from one of our suppliers. Upon receipt, we will promptly dispatch it out to you. For in store availability, please contact us.

Table of Contents

Section 1 Dependable Software and Large Storage Systems: Key Components for Dependable Network Computing.- Dependability of Software-Based Critical Systems.- DAn Analysis of Error Behavior in a Large Storage System.- Section 2 Dependable Broadcast and Protocols in Computer Networks.- 3. Totally Ordered Broadcast in the Face of Network Partitions.- 4. On the Possibility of Group Membership Protocols.- 5. Reliable Clocks for Unreliable Process Groups.- 6. Implementing Protocols with Synchronous Objects.- Section 3 Analysis of Computer Networks.- 7. Automated Formal Analysis of Networks.- 8. A BDD Approach to Dependability Analysis of Distributed Computer Systems with Imperfect Coverage.- Section 4 Fault-Tolerant Routing and Reconfiguration in Computer Networks.- 9. Fault-Tolerant Routing in the Internet Without Flooding.- 10. Dynamic Reconfiguration in High Speed Local Area.- 11. Minimal and Adaptive Fault-Tolerant Routing in ServerNet 2D Torus Network.- Section 5 Fault-Tolerant Interconnection Networks.- 12. Tolerating Faults in Counting Networks.- 13. Fault-Tolerant Multicasting in 2-D Meshes Using Extended Safety Levels.- Section 6 Dependable Distributed and Mobile Computing.- 14. Dependable Distributed and Mobile Computing #x2014; Utilizing Time to Enhance Recovery from Failures.- 15. Design and Implementation of Fault-Tolerant Parallel Software in a Distributed Environment Using a Functional Language.- 16. Overhead of Coordinated Checkpointing Protocols for Message Passing Parallel Systems.- 17. A Multi-Level Layered System Approach to on On-Line Testing.- Section 7 Dependable Real-Time Distributed Systems.- 18. Task Schedule Algorithms for Fault Tolerance in Real-Time Embedded Systems.- 19. The Rapids Simulator: A Testbed for Evaluating Scheduling, Allocation and Fault-Recovery Algorithms in Distributed Real-Time Systems.- 20. Fault-Tolerant Dynamic Scheduling of Object-Based Tasks in Multiprocessor Real-Time Systems.

Reviews

Author Information

Tab Content 6

Author Website:  

Countries Available

All regions