{"product_id":"9780792394860","title":"The Springer International Series in Engineering and Computer Science: System Implementation","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science: System Implementation\u003c\/h1\u003e \u003ch2\u003eKoob, Gary M.; Lau, Clifford G.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFoundations of Dependable Computing: System  Implementation\u003c\/em\u003e, explores the system infrastructure needed to  support the various paradigms of \u003cem\u003eParadigms for Dependable  Applications\u003c\/em\u003e. Approaches to implementing support mechanisms and to  incorporating additional appropriate levels of fault detection and  fault tolerance at the processor, network, and operating system level  are presented. A primary concern at these levels is balancing cost and  performance against coverage and overall dependability. As these  chapters demonstrate, low overhead, practical solutions are attainable  and not necessarily incompatible with performance considerations. The  section on innovative compiler support, in particular, demonstrates  how the benefits of application specificity may be obtained while  reducing hardware cost and run-time overhead. \u003cbr\u003e  A companion to this volume (published by Kluwer) subtitled  \u003cem\u003eModels  and\u003c\/em\u003e \u003cem\u003eFrameworks for Dependable Systems\u003c\/em\u003e presents two  comprehensive frameworks for reasoning about system dependability,  thereby establishing a context for understanding the roles played by  specific approaches presented in this book's two companion volumes. It  then explores the range of models and analysis methods necessary to  design, validate and analyze dependable systems. \u003cbr\u003e  Another companion to this book (published by Kluwer), subtitled  \u003cem\u003eParadigms for Dependable Applications\u003c\/em\u003e, presents a variety of  specific approaches to achieving dependability at the application  level. Driven by the higher level fault models of \u003cem\u003eModels and  Frameworks for\u003c\/em\u003e \u003cem\u003eDependable Systems\u003c\/em\u003e, and built on the lower  level abstractions implemented in a third companion book subtitled  \u003cem\u003eSystem Implementation\u003c\/em\u003e, these approaches demonstrate how  dependability may be tuned to the requirements of an application, the  fault environment, and the characteristics of the target platform.  Three classes of paradigms are considered: protocol-based paradigms  for distributed applications, algorithm-based paradigms for parallel  applications, and approaches to exploiting application semantics in  embedded real-time control systems. \u003cbr\u003e\u003c\/p\u003e \u003ch3\u003eDetails\u003c\/h3\u003e \u003cp\u003ePublished by: Springer\u003c\/p\u003e \u003cp\u003ePublication Date: 1994-09-30\u003c\/p\u003e \u003cp\u003eFormat: Hardcover\u003c\/p\u003e \u003cp\u003eISBN-13: 9780792394860\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b102309\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 321\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578381394060,"sku":"9780792394860","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792394860.jpg?v=1771510932","url":"https:\/\/lateknightbooks.com\/products\/9780792394860","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}