Download or read book Proceedings IEEE AIAA NASA 9th Digital Avionics Systems Conference October 15 18 1990 Virginia Beach Virginia written by and published by . This book was released on 1990 with total page 732 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Foundations of Dependable Computing written by Gary M. Koob and published by Springer Science & Business Media. This book was released on 2007-08-19 with total page 325 pages. Available in PDF, EPUB and Kindle. Book excerpt: Foundations of Dependable Computing: System Implementation, explores the system infrastructure needed to support the various paradigms of Paradigms for Dependable Applications. Approaches to implementing support mechanisms and to incorporating additional appropriate levels of fault detection and fault tolerance at the processor, network, and operating system level are presented. A primary concern at these levels is balancing cost and performance against coverage and overall dependability. As these chapters demonstrate, low overhead, practical solutions are attainable and not necessarily incompatible with performance considerations. The section on innovative compiler support, in particular, demonstrates how the benefits of application specificity may be obtained while reducing hardware cost and run-time overhead. A companion to this volume (published by Kluwer) subtitled Models and Frameworks for Dependable Systems presents two comprehensive frameworks for reasoning about system dependability, thereby establishing a context for understanding the roles played by specific approaches presented in this book's two companion volumes. It then explores the range of models and analysis methods necessary to design, validate and analyze dependable systems. Another companion to this book (published by Kluwer), subtitled Paradigms for Dependable Applications, presents a variety of specific approaches to achieving dependability at the application level. Driven by the higher level fault models of Models and Frameworks for Dependable Systems, and built on the lower level abstractions implemented in a third companion book subtitled System Implementation, these approaches demonstrate how dependability may be tuned to the requirements of an application, the fault environment, and the characteristics of the target platform. Three classes of paradigms are considered: protocol-based paradigms for distributed applications, algorithm-based paradigms for parallel applications, and approaches to exploiting application semantics in embedded real-time control systems.

Download or read book NASA Technical Memorandum written by and published by . This book was released on 1990 with total page 492 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book NASA SP 7500 written by United States. National Aeronautics and Space Administration and published by . This book was released on with total page 596 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Management written by and published by . This book was released on 1992 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Aeronautical Engineering written by and published by . This book was released on 1993 with total page 724 pages. Available in PDF, EPUB and Kindle. Book excerpt: A selection of annotated references to unclassified reports and journal articles that were introduced into the NASA scientific and technical information system and announced in Scientific and technical aerospace reports (STAR) and International aerospace abstracts (IAA)

Download or read book Large Space Structures Systems in the Space Station Era written by and published by . This book was released on 1992 with total page 334 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Scientific and Technical Aerospace Reports written by and published by . This book was released on 1990 with total page 252 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Fifty Years of Flight Research written by David F. Fisher and published by . This book was released on 1999 with total page 526 pages. Available in PDF, EPUB and Kindle. Book excerpt: A bibliography of Technical Reports from Dryden Research Center, 1946-1996. Dryden was a National Advisory Committee for Aeronautics (NACA) facility from to 1946-1958, when NACA became NASA (National Aeronautics and Space Administration). This bibliography encompasses both NACA and NASA publications. Illustrated with diagrams and photos. Black and white version.

Download or read book Aerospace America written by and published by . This book was released on 1990 with total page 644 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Management a Bibliography for NASA Managers written by and published by . This book was released on 1992 with total page 180 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings written by and published by . This book was released on 1992 with total page 640 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Proceedings of the IEEE 1992 National Aerospace and Electronics Conference NAECON 1992 written by and published by . This book was released on 1992 with total page 486 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book ISMCR 1994 Topical Workshop on Virtual Reality Proceedings of the Fourth International Symposium on Measurement and Control in Robotics written by and published by . This book was released on 1994 with total page 166 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Aerospace Medicine and Biology written by and published by . This book was released on 1992 with total page 538 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Validation of the F 18 High Alpha Research Vehicle Flight Control and Avionics Systems Modifications written by and published by . This book was released on 1990 with total page 18 pages. Available in PDF, EPUB and Kindle. Book excerpt:

Download or read book Flight Control System Design Factors for Applying Automated Testing Techniques written by Joel R. Sitz and published by . This book was released on 1990 with total page 24 pages. Available in PDF, EPUB and Kindle. Book excerpt: