| 書目名稱 | Foundations of Dependable Computing | | 副標(biāo)題 | 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 | | 關(guān)鍵詞 | 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|手機(jī)版|小黑屋|
派博傳思國(guó)際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-8 23:18
發(fā)表于 2025-3-21 16:43:39
