検索結果をRefWorksへエクスポートします。対象は1件です。
Export
RT Book, Whole SR Electronic DC OPAC T1 Computing System Reliability : Models and Analysis / by Min Xie, Yuan-Shun Dai, Kim-Leng Poh A1 Xie, Min A1 Dai, Yuan-Shun A1 Poh, Kim-Leng A1 SpringerLink (Online service) YR 2004 FD 2004 SP XIII, 293 p. 14 illus K1 Mathematics K1 Computer science K1 Microprocessors K1 Software engineering K1 Mathematical models K1 Mathematical logic K1 Mathematics K1 Mathematical Modeling and Industrial Mathematics K1 Computer Science, general K1 Processor Architectures K1 Mathematical Logic and Foundations K1 Software Engineering/Programming and Operating Systems PB Springer US PP Boston, MA SN 9780306486364 LA English (英語) CL DC23:003.3 NO Computing systems are of growing importance because of their wide use in many areas including those in safety-critical systems. This book describes the basic models and approaches to the reliability analysis of such systems. An extensive review is provided and models are categorized into different types. Some Markov models are extended to the analysis of some specific computing systems such as combined software and hardware, imperfect debugging processes, failure correlation, multi-state systems, heterogeneous subsystems, etc. One of the aims of the presentation is that based on the sound analysis and simplicity of the approaches, the use of Markov models can be better implemented in the computing system reliability NO 書誌ID=1002988815; LK [E Book]http://dx.doi.org/10.1007/b100619 OL 30