| 书目名称 | Foundations of Dependable Computing | | 副标题 | Models and Framework | | 编辑 | Gary M. Koob,Clifford G. Lau | | 视频video | http://file.papertrans.cn/347/346942/346942.mp4 | | 丛书名称 | The Springer International Series in Engineering and Computer Science | | 图书封面 |  | | 描述 | .Foundations of Dependable Computing: Models and Frameworksfor. .Dependable Systems. presents two comprehensive frameworksfor reasoning about system dependability, thereby establishing acontext for understanding the roles played by specific approachespresented in this book‘s two companion volumes. It then explores therange of models and analysis methods necessary to design, validate andanalyze dependable systems. .A companion to this book (published by Kluwer), subtitled.Paradigms. .for Dependable Applications., presents a varietyof specific approaches to achieving dependability at the applicationlevel. Driven by the higher level fault models of .Models andFrameworks for Dependable. .Systems., and built on the lowerlevel abstractions implemented in a third companion book subtitled.System Implementation., these approaches demonstrate howdependability may be tuned to the requirements of an application, thefault environment, and the characteristics of the target platform.Three classes of paradigms are considered: protocol-based paradigmsfor distributed applications, algorithm-based paradigms for parallelapplications, and approaches to exploiting application semantics inembedded real-t | | 出版日期 | Book 1994 | | 关键词 | algorithms; computer; control; operating system; performance; processor | | 版次 | 1 | | doi | https://doi.org/10.1007/b102259 | | isbn_softcover | 978-1-4757-8315-5 | | isbn_ebook | 978-0-585-27377-8Series ISSN 0893-3405 | | issn_series | 0893-3405 | | copyright | Springer Science+Business Media New York 1994 |
The information of publication is updating
|
|
|Archiver|手机版|小黑屋|
派博传思国际
( 京公网安备110108008328)
GMT+8, 2025-9-11 08:04
发表于 2025-3-21 16:43:39
