| 書目名稱 | Foundations of Dependable Computing |
| 副標題 | Paradigms for Depend |
| 編輯 | Gary M. Koob,Clifford G. Lau |
| 視頻video | http://file.papertrans.cn/347/346943/346943.mp4 |
| 叢書名稱 | The Springer International Series in Engineering and Computer Science |
| 圖書封面 |  |
| 描述 | .Foundations of Dependable Computing: Paradigms .forDependable. .Applications., presents a variety of specificapproaches to achieving dependability at the application level. Drivenby the higher level fault models of .Models and Frameworks forDependable. .Systems., and built on the lower level abstractionsimplemented in a third companion book subtitled .SystemImplementation., these approaches demonstrate how dependability maybe tuned to the requirements of an application, the fault environment,and the characteristics of the target platform. Three classes ofparadigms are considered: protocol-based paradigms for distributedapplications, algorithm-based paradigms for parallel applications, andapproaches to exploiting application semantics in embedded real-timecontrol systems. .The companion volume subtitled.Models and Frameworks for..Dependable Systems. presents two comprehensive frameworks forreasoning about system dependability, thereby establishing a contextfor understanding the roles played by specific approaches presented inthis book‘s two companion volumes. It then explores the range ofmodels and analysis methods necessary to design, validate and analyzedependable systems. .Anoth |
| 出版日期 | Book 1994 |
| 關(guān)鍵詞 | algorithms; control; operating system; performance; processor; programming; real-time system |
| 版次 | 1 |
| doi | https://doi.org/10.1007/b102255 |
| isbn_softcover | 978-1-4757-8311-7 |
| isbn_ebook | 978-0-585-27316-7Series ISSN 0893-3405 |
| issn_series | 0893-3405 |
| copyright | Springer Science+Business Media New York 1994 |
|Archiver|手機版|小黑屋|
派博傳思國際
( 京公網(wǎng)安備110108008328)
GMT+8, 2025-10-11 18:51
發(fā)表于 2025-3-21 18:42:40
