Author:
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 282
Book Description
Proceedings, Pacific Rim International Symposium on Fault Tolerant Systems
Author:
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 282
Book Description
Publisher:
ISBN:
Category : Electronic digital computers
Languages : en
Pages : 282
Book Description
Pacific Rim International Symposium on Fault-Tolerant Systems
Author:
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780818682124
Category : Computers
Languages : en
Pages : 260
Book Description
This work covers areas such as: fault tolerant architectures; error detection and correction; modelling and tools; replica control and protocols; fault tolerant systems; system evaluation; checkpointing and transaction processing; and formal verification.
Publisher: Institute of Electrical & Electronics Engineers(IEEE)
ISBN: 9780818682124
Category : Computers
Languages : en
Pages : 260
Book Description
This work covers areas such as: fault tolerant architectures; error detection and correction; modelling and tools; replica control and protocols; fault tolerant systems; system evaluation; checkpointing and transaction processing; and formal verification.
Proceedings of the Twenty-sixth International Symposium on Fault-Tolerant Computing
Author:
Publisher:
ISBN: 9780818672620
Category : Electronic digital computers
Languages : en
Pages : 480
Book Description
Publisher:
ISBN: 9780818672620
Category : Electronic digital computers
Languages : en
Pages : 480
Book Description
Formal Techniques in Real-Time and Fault-Tolerant Systems
Author: Bengt Jonsson
Publisher: Springer Science & Business Media
ISBN: 9783540616481
Category : Computers
Languages : en
Pages : 500
Book Description
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Publisher: Springer Science & Business Media
ISBN: 9783540616481
Category : Computers
Languages : en
Pages : 500
Book Description
This volume constitutes the refereed proceedings of the Fourth International Symposium on Formal Techniques in Real-Time and Fault-Tolerant Systems, FTRTFTS '96, held in Uppsala, Sweden, in September 1996. The 22 revised full papers presented were selected from a total of 61 submissions; also included are three invited contributions and five tools demonstrations. The papers are organized in sections on state charts, timed automata, duration calculus, case studies, scheduling, fault tolerance, specification, and verification.
Proceedings des gemeinsamen Workshops der Graduiertenkollegs 2008
Author: Malte Diehl
Publisher: GITO mbH Verlag
ISBN: 3940019399
Category :
Languages : en
Pages : 121
Book Description
Publisher: GITO mbH Verlag
ISBN: 3940019399
Category :
Languages : en
Pages : 121
Book Description
Fault Tolerant Computer Architecture
Author: Daniel Sorin
Publisher: Springer Nature
ISBN: 3031017234
Category : Technology & Engineering
Languages : en
Pages : 103
Book Description
For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future
Publisher: Springer Nature
ISBN: 3031017234
Category : Technology & Engineering
Languages : en
Pages : 103
Book Description
For many years, most computer architects have pursued one primary goal: performance. Architects have translated the ever-increasing abundance of ever-faster transistors provided by Moore's law into remarkable increases in performance. Recently, however, the bounty provided by Moore's law has been accompanied by several challenges that have arisen as devices have become smaller, including a decrease in dependability due to physical faults. In this book, we focus on the dependability challenge and the fault tolerance solutions that architects are developing to overcome it. The two main purposes of this book are to explore the key ideas in fault-tolerant computer architecture and to present the current state-of-the-art - over approximately the past 10 years - in academia and industry. Table of Contents: Introduction / Error Detection / Error Recovery / Diagnosis / Self-Repair / The Future
Dependable Network Computing
Author: Dimiter R. Avresky
Publisher: Springer Science & Business Media
ISBN: 1461545498
Category : Computers
Languages : en
Pages : 463
Book Description
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.
Publisher: Springer Science & Business Media
ISBN: 1461545498
Category : Computers
Languages : en
Pages : 463
Book Description
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.
Fault-Tolerant Parallel and Distributed Systems
Author: Dimiter R. Avresky
Publisher: Springer Science & Business Media
ISBN: 1461554497
Category : Computers
Languages : en
Pages : 396
Book Description
The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and every thing is inter-networked. The application will be dominated by storage, search, retrieval, analysis, exchange and updating of information in a wide variety of forms. Heavy demands will be placed on systems by many simultaneous re quests. And, fundamentally, all this shall be delivered at much higher levels of dependability, integrity and security. Increasingly, large parallel computing systems and networks are providing unique challenges to industry and academia in dependable computing, espe cially because of the higher failure rates intrinsic to these systems. The chal lenge in the last part of this decade is to build a systems that is both inexpensive and highly available. A machine cluster built of commodity hardware parts, with each node run ning an OS instance and a set of applications extended to be fault resilient can satisfy the new stringent high-availability requirements. The focus of this book is to present recent techniques and methods for im plementing fault-tolerant parallel and distributed computing systems. Section I, Fault-Tolerant Protocols, considers basic techniques for achieving fault-tolerance in communication protocols for distributed systems, including synchronous and asynchronous group communication, static total causal order ing protocols, and fail-aware datagram service that supports communications by time.
Publisher: Springer Science & Business Media
ISBN: 1461554497
Category : Computers
Languages : en
Pages : 396
Book Description
The most important use of computing in the future will be in the context of the global "digital convergence" where everything becomes digital and every thing is inter-networked. The application will be dominated by storage, search, retrieval, analysis, exchange and updating of information in a wide variety of forms. Heavy demands will be placed on systems by many simultaneous re quests. And, fundamentally, all this shall be delivered at much higher levels of dependability, integrity and security. Increasingly, large parallel computing systems and networks are providing unique challenges to industry and academia in dependable computing, espe cially because of the higher failure rates intrinsic to these systems. The chal lenge in the last part of this decade is to build a systems that is both inexpensive and highly available. A machine cluster built of commodity hardware parts, with each node run ning an OS instance and a set of applications extended to be fault resilient can satisfy the new stringent high-availability requirements. The focus of this book is to present recent techniques and methods for im plementing fault-tolerant parallel and distributed computing systems. Section I, Fault-Tolerant Protocols, considers basic techniques for achieving fault-tolerance in communication protocols for distributed systems, including synchronous and asynchronous group communication, static total causal order ing protocols, and fail-aware datagram service that supports communications by time.
Software Engineering of Fault Tolerant Systems
Author: P. Pelliccione
Publisher: World Scientific
ISBN: 9812778861
Category : Computers
Languages : en
Pages : 293
Book Description
In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to faults.It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled.This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this.
Publisher: World Scientific
ISBN: 9812778861
Category : Computers
Languages : en
Pages : 293
Book Description
In architecting dependable systems, what is required to improve the overall system robustness is fault tolerance. Many methods have been proposed to this end, the solutions are usually considered late during the design and implementation phases of the software life-cycle (e.g., Java and Windows NT exception handling), thus reducing the effectiveness error and fault handling. Since the system design typically models only normal behaviour of the system while ignoring exceptional ones, the implementation of the system is unable to handle abnormal events. Consequently, the system may fail in unexpected ways due to faults.It has been argued that fault tolerance management during the entire life-cycle improves the overall system robustness and that different classes of threats need to be identified for and dealt with at each distinct phase of software development, depending on the abstraction level of the software system being modelled.This book builds on this trend and investigates how fault tolerance mechanisms can be applied when engineering a software system. In particular, it identifies the new problems arising in this area, introduces the new models to be applied at different abstraction levels, defines methodologies for model-driven engineering of such systems and outlines the new technologies and validation and verification environments supporting this.
Software Fault Tolerance Techniques and Implementation
Author: Laura L. Pullum
Publisher: Artech House
ISBN: 1580531377
Category : Computers
Languages : en
Pages : 358
Book Description
Look to this innovative resource for the most-comprehensive coverage of software fault tolerance techniques available in a single volume. It offers you a thorough understanding of the operation of critical software fault tolerance techniques and guides you through their design, operation and performance. You get an in-depth discussion on the advantages and disadvantages of specific techniques, so you can decide which ones are best suited for your work.
Publisher: Artech House
ISBN: 1580531377
Category : Computers
Languages : en
Pages : 358
Book Description
Look to this innovative resource for the most-comprehensive coverage of software fault tolerance techniques available in a single volume. It offers you a thorough understanding of the operation of critical software fault tolerance techniques and guides you through their design, operation and performance. You get an in-depth discussion on the advantages and disadvantages of specific techniques, so you can decide which ones are best suited for your work.