| 書(shū)目名稱 | Foundations of Dependable Computing |
| 副標(biāo)題 | System Implementatio |
| 編輯 | Gary M. Koob,Clifford G. Lau |
| 視頻video | http://file.papertrans.cn/347/346944/346944.mp4 |
| 叢書(shū)名稱 | The Springer International Series in Engineering and Computer Science |
| 圖書(shū)封面 |  |
| 描述 | .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 |
| 關(guān)鍵詞 | 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 |
|Archiver|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-13 14:17
發(fā)表于 2025-3-21 19:05:39
