书目名称 | Foundations of Dependable Computing |
副标题 | System Implementatio |
编辑 | Gary M. Koob,Clifford G. Lau |
视频video | |
丛书名称 | The Springer International Series in Engineering and Computer Science |
图书封面 |  |
描述 | .Foundations of Dependable Computing: SystemImplementation., explores the system infrastructure needed tosupport the various paradigms of .Paradigms for DependableApplications.. Approaches to implementing support mechanisms and toincorporating additional appropriate levels of fault detection andfault tolerance at the processor, network, and operating system levelare presented. A primary concern at these levels is balancing cost andperformance against coverage and overall dependability. As thesechapters demonstrate, low overhead, practical solutions are attainableand not necessarily incompatible with performance considerations. Thesection on innovative compiler support, in particular, demonstrateshow the benefits of application specificity may be obtained whilereducing hardware cost and run-time overhead. .A companion to this volume (published by Kluwer) subtitled.Modelsand. .Frameworks for Dependable Systems. presents twocomprehensive frameworks for reasoning about system dependability,thereby establishing a context for understanding the roles played byspecific approaches presented in this book‘s two companion volumes. Itthen explores the range of models and analysis methods necess |
出版日期 | Book 1994 |
关键词 | Performance; Text; algorithms; distributed systems; management; operating system; processor; router |
版次 | 1 |
doi | https://doi.org/10.1007/b102309 |
isbn_softcover | 978-1-4757-8357-5 |
isbn_ebook | 978-0-585-28002-8Series ISSN 0893-3405 |
issn_series | 0893-3405 |
copyright | Springer Science+Business Media New York 1994 |