Computers are currently used in a variety of critical applications, including systems for nuclear reactor control, flight control (both aircraft and spacecraft), and air traffic control. Moreover, experience has shown that the dependability of such systems is particularly sensitive to that of its software components, both the system software of the embedded computers and the application software they support. Software Performability: From Concepts to Applications addresses the construction and solution of analytic performability models for critical-application software. The book includes a review of general performability concepts along with notions which are peculiar to software performability. Since fault tolerance is widely recognized as a viable means for improving the dependability of computer system (beyond what can be achieved by fault prevention), the examples considered are fault-tolerant software systems that incorporate particular methods of design diversity and fault recovery. Software Performability: From Concepts to Applications will be of direct benefit to both practitioners and researchers in the area of performance and dependability evaluation, fault-tolerant computing, and dependable systems for critical applications. For practitioners, it supplies a basis for defining combined performance-dependability criteria (in the form of objective functions) that can be used to enhance the performability (performance/dependability) of existing software designs. For those with research interests in model-based evaluation, the book provides an analytic framework and a variety of performability modeling examples in an application context of recognized importance. The material contained in this book will both stimulate future research on related topics and, for teaching purposes, serve as a reference text in courses on computer system evaluation, fault-tolerant computing, and dependable high-performancecomputer systems.
Band 317
Fester Einband | 1995
Band 584
Fester Einband | 2000
Band 588
Kartonierter Einband (Kt) | 2012
Band 592
Kartonierter Einband (Kt) | 2013
Band 596
Fester Einband | 2001
Band 600
Fester Einband | 2000
Band 610
Kartonierter Einband (Kt) | 2012
Band 612
Kartonierter Einband (Kt) | 2012
Band 613
Kartonierter Einband (Kt) | 2010
Band 614
Kartonierter Einband (Kt) | 2010
Band 614
Fester Einband | 2001
Band 623
Kartonierter Einband (Kt) | 2012
Band 626
Kartonierter Einband (Kt) | 2012
Band 639
Fester Einband | 2001
Band 639
Kartonierter Einband (Kt) | 2012
Band 645
Kartonierter Einband (Kt) | 2012
Band 668
Fester Einband | 2002
Band 669
Fester Einband | 2002
Band 670
Kartonierter Einband (Kt) | 2012
Band 705
Kartonierter Einband (Kt) | 2012
Band 705
Fester Einband | 2002
Band 711
Kartonierter Einband (Kt) | 2012
Band 711
Fester Einband | 2002
Band 714
Kartonierter Einband (Kt) | 2013
Band 714
Fester Einband | 2002
Band 723
Fester Einband | 2003
Band 723
Kartonierter Einband (Kt) | 2012
Band 726
Fester Einband | 2003
Band 726
Kartonierter Einband (Kt) | 2012
Band 730
Kartonierter Einband (Kt) | 2012
Band 730
Fester Einband | 2003
Band 732
Fester Einband | 2003
Band 732
Kartonierter Einband (Kt) | 2012
Band 734
Kartonierter Einband (Kt) | 2012
Band 740
Fester Einband | 2003
Band 751
Fester Einband | 2003
Band 751
Kartonierter Einband (Kt) | 2011
Band 753
Kartonierter Einband (Kt) | 2012
Band 755
Kartonierter Einband (Kt) | 2012
Band 755
Fester Einband | 2003
Band 757
Kartonierter Einband (Kt) | 2012
Band 757
Fester Einband | 2003
Band 760
Fester Einband | 2004
Band 762
Fester Einband | 2004
Band 767
Fester Einband | 2004
Band 767
Kartonierter Einband (Kt) | 2011
Band 768
Fester Einband | 2004
Band 768
Kartonierter Einband (Kt) | 2012
Band 772
Fester Einband | 2004
Band 774
Fester Einband | 2004
Band 774
Kartonierter Einband (Kt) | 2013
Band 777
Fester Einband | 2004
Band 777
Kartonierter Einband (Kt) | 2005
Band 778
Fester Einband | 2004
Band 778
Kartonierter Einband (Kt) | 2010
Band 779
Fester Einband | 2004
Band 780
Kartonierter Einband (Kt) | 2010
Band 783
Kartonierter Einband (Kt) | 2010
Band 860
Kartonierter Einband (Kt) | 2011
Band 869
Kartonierter Einband (Kt) | 2010