反馈文件质量
nexusstc/Foundations of Dependable Computing: Models and Frameworks for Dependable Systems/f6769e99c778437eea7d3206aa97434d.pdf
Foundations of Dependable Computing: Models and Frameworks for Dependable Systems (The International Series in Engineering and Computer Science) 🔍
edited by Gary M. Koob, Clifford G. Lau Springer US : Imprint: Springer, The Springer International Series in Engineering and Computer Science, 283, 1st ed. 1994, New York, NY, 1994
英语 [en] · PDF · 11.4MB · 1994 · 📘 非小说类图书 · 🚀/duxiu/lgli/lgrs/nexusstc/zlib · Save
描述
Foundations of Dependable Computing: 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.
A 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.
Another companion book (published by Kluwer) subtitled 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.
Booknews Explores the range of models and analysis methods necessary to design, validate, and analyze 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 two companion volumes (subtitled, respectively, Paradigms for Dependable Application and System Implementation--both Kluwer). Annotation c. Book News, Inc., Portland, OR (booknews.com)
备用文件名
lgli/_207846.f6769e99c778437eea7d3206aa97434d.pdf
备用文件名
lgrsnf/_207846.f6769e99c778437eea7d3206aa97434d.pdf
备用文件名
zlib/Computers/Computer Science/Gary M. Koob, Clifford G. Lau/Foundations of Dependable Computing: Models and Frameworks for Dependable Systems_1271023.pdf
备选作者
André M Tilborg
备用出版商
Springer-Verlag New York, LLC
备用出版商
Kluwer Academic Publishers
备用出版商
Springer London, Limited
备用出版商
Ebsco Publishing
备用版本
Springer International Series in Engineering and Computer Science, Office of Naval Research Advanced Book Series, Boston, MA, 1994
备用版本
The Kluwer international series in engineering and computer science., Boston, Massachusetts, 1994
备用版本
Foundations of dependable computing / ed. by Gary M. Koob, Boston [u.a, 1994
备用版本
United States, United States of America
备用版本
1 edition, October 31, 1994
备用版本
2007
元数据中的注释
lg833297
元数据中的注释
{"edition":"1","isbns":["0585273774","0792394844","9780585273778","9780792394846"],"last_page":272,"publisher":"Springer"}
元数据中的注释
Includes bibliographical references and index.
备用描述
The Springer International Series in Engineering and Computer Science
Erscheinungsdatum: 31.10.1994
开源日期
2012-03-17
更多信息……

🚀 快速下载

成为会员以支持书籍、论文等的长期保存。为了感谢您对我们的支持，您将获得高速下载权益。❤️

🐢 低速下载

由可信的合作方提供。 更多信息请参见常见问题解答。 （可能需要验证浏览器——无限次下载！）

所有选项下载的文件都相同，应该可以安全使用。即使这样，从互联网下载文件时始终要小心。例如，确保您的设备更新及时。
显示外部下载
  • 对于大文件，我们建议使用下载管理器以防止中断。
    推荐的下载管理器：Motrix
  • 您将需要一个电子书或 PDF 阅读器来打开文件，具体取决于文件格式。
    推荐的电子书阅读器：Anna的档案在线查看器、ReadEra和Calibre
  • 使用在线工具进行格式转换。
    推荐的转换工具：CloudConvert和PrintFriendly
  • 您可以将 PDF 和 EPUB 文件发送到您的 Kindle 或 Kobo 电子阅读器。
    推荐的工具：亚马逊的“发送到 Kindle”和djazz 的“发送到 Kobo/Kindle”
  • 支持作者和图书馆
    ✍️ 如果您喜欢这个并且能够负担得起，请考虑购买原版，或直接支持作者。
    📚 如果您当地的图书馆有这本书，请考虑在那里免费借阅。