Author: John C. KnightPublisher:
ISBN:
Category :
Languages : en
Pages : 122
Book Description
A second generation experiment in fault-tolerant software
Author: John C. KnightSecond generation experiments in fault tolerant software
Author: John C. KnightSoftware Fault Tolerance Techniques and Implementation
Author: Laura L. PullumPublisher: 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.
Scientific and Technical Aerospace Reports
Author: Publisher:
ISBN:
Category : Aeronautics
Languages : en
Pages : 1126
Book Description
Lists citations with abstracts for aerospace related reports obtained from world wide sources and announces documents that have recently been entered into the NASA Scientific and Technical Information Database.
NASA's University Program Active Projects
Author: Publisher:
ISBN:
Category : Federal aid to research
Languages : en
Pages : 398
Book Description
Monthly Catalog of United States Government Publications
Author: Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 942
Book Description
Monthly Catalogue, United States Public Documents
Author: Publisher:
ISBN:
Category : Government publications
Languages : en
Pages : 944
Book Description
Dependable and Historic Computing
Author: Cliff JonesPublisher: Springer Science & Business Media
ISBN: 3642245404
Category : Computers
Languages : en
Pages : 532
Book Description
This Festschrift volume, published in honor of Brian Randell on the occasion of his 75th birthday, contains a total of 37 refereed contributions. Two biographical papers are followed by the six invited papers that were presented at the conference 'Dependable and Historic Computing: The Randell Tales', held during April 7-8, 2011 at Newcastle University, UK. The remaining contributions are authored by former scientific colleagues of Brian Randell. The papers focus on the core of Brian Randell’s work: the development of computing science and the study of its history. Moreover, his wider interests are reflected and so the collection comprises papers on software engineering, storage fragmentation, computer architecture, programming languages and dependability. There is even a paper that echoes Randell’s love of maps. After an early career with English Electric and then with IBM in New York and California, Brian Randell joined Newcastle University. His main research has been on dependable computing in all its forms, especially reliability, safety and security aspects, and he has led several major European collaborative projects.
Safety of Computer Control Systems 1986 (Safecomp '86) Trends in Safe Real Time Computer Systems
Author: W. J. QuirkPublisher: Pergamon
ISBN:
Category : Computers
Languages : en
Pages : 212
Book Description
The proceedings of the fifth workshop in this subject continue the trend set by the previous four and discusses some of the current problems involved in the design and production of safe real-time computer systems. Topics covered include software quality assurance, software fault tolerance, design for safety, and reliability and safety assessment. Every paper details the theoretical and practical problems involved in the development of safe systems and should therefore be of interest to all those involved in systems design.
Accuracy and Reliability in Scientific Computing
Author: Bo EinarssonPublisher: SIAM
ISBN: 0898715849
Category : Science
Languages : en
Pages : 348
Book Description
This book investigates some of the difficulties related to scientific computing, describing how these can be overcome.