{"product_id":"9780792394853","title":"The Springer International Series in Engineering and Computer Science: Paradigms for Dependable Applications","description":"\u003ch1\u003eThe Springer International Series in Engineering and Computer Science: Paradigms for Dependable Applications\u003c\/h1\u003e \u003ch2\u003eKoob, Gary M.; Lau, Clifford G.\u003c\/h2\u003e \u003cp\u003e\u003cem\u003eFoundations of Dependable Computing: Paradigms \u003c\/em\u003e\u003cem\u003efor  Dependable\u003c\/em\u003e \u003cem\u003eApplications\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  Dependable\u003c\/em\u003e \u003cem\u003eSystems\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  The companion volume subtitled  \u003cem\u003eModels and Frameworks for\u003c\/em\u003e  \u003cem\u003eDependable 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 book (published by Kluwer) subtitled  \u003cem\u003eSystem\u003c\/em\u003e  \u003cem\u003eImplementation\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\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: 9780792394853\u003c\/p\u003e \u003cp\u003eDOI: 10.1007\/b102255\u003c\/p\u003e \u003cp\u003eDimensions: 235cm x155cm\u003c\/p\u003e \u003cp\u003ePages: 214\u003c\/p\u003e ","brand":"Springer US","offers":[{"title":"Default Title","offer_id":45578399416460,"sku":"9780792394853","price":152.99,"currency_code":"USD","in_stock":true}],"thumbnail_url":"\/\/cdn.shopify.com\/s\/files\/1\/0710\/9545\/1788\/files\/9780792394853.jpg?v=1771511061","url":"https:\/\/lateknightbooks.com\/products\/9780792394853","provider":"Late Knight Books and Services, LLC","version":"1.0","type":"link"}