<電子ブック>
Dependable Computing - EDCC-2 : Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings / edited by Andrzej Hlawiczka, Joao G.S. Silva, Luca Simoncini
(Lecture Notes in Computer Science. ISSN:16113349 ; 1150)
版 | 1st ed. 1996. |
---|---|
出版者 | (Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer) |
出版年 | 1996 |
本文言語 | 英語 |
大きさ | XVI, 444 p : online resource |
著者標目 | Hlawiczka, Andrzej editor Silva, Joao G.S editor Simoncini, Luca editor SpringerLink (Online service) |
件 名 | LCSH:Computer engineering LCSH:Computer networks LCSH:Computer science LCSH:Computers, Special purpose LCSH:Electronic digital computers -- Evaluation 全ての件名で検索 LCSH:Computers LCSH:Software engineering FREE:Computer Engineering and Networks FREE:Theory of Computation FREE:Special Purpose and Application-Based Systems FREE:System Performance and Evaluation FREE:Computer Hardware FREE:Software Engineering |
一般注記 | Friends: A flexible architecture for implementing fault tolerant and secure distributed applications -- Adaptable fault tolerance for distributed process control using exclusively standard components -- On stratified sampling for high coverage estimations -- Fault injection evaluation of assigned signatures in a RISC processor -- An evaluation of the error detection mechanisms in MARS using software-implemented fault injection -- Dependability modeling and analysis of complex control systems: An application to railway interlocking -- The effect of interfailure time variability on the software reliability growth modelling -- Dependability evaluation of a computing system for traction control of electrical locomotives -- Dependability models of RAID using stochastic activity networks -- Compiler assisted self-checking of structural integrity using return address hashing -- Single source fault-tolerant broadcasting for two-dimensional meshes without virtual channels -- On-line testing of an off-the-shelf microprocessor board for safety-critical applications -- The logic threshold based voting: A model for local feedback bridging fault -- On the yield of VLSI processors with on-chip CPU cache -- Design of dependable hardware: What BIST is most efficient? -- Pseudorandom testing of microprocessors at instruction/data flow level -- Multi-level test generation and fault diagnosis for finite state machines -- Dynamic testing from bounded data type specifications -- A theory of specification-based testing for object-oriented software -- Proving safety properties for embedded control systems -- Enhancing dependability of cooperative applications in partitionable environments -- Efficient message logging for uncoordinated checkpointing protocols -- Atomic updates of replicated data -- Removal of all faulty nodes from a fault-tolerant service by means of distributed diagnosis with imperfect fault coverage -- Constraint based system-level diagnosis of multiprocessors -- A unified theory for f1/f2-diagnosable communication networks This book constitutes the refereed proceedings of the Second European Dependable Computing Conference, EDCC-2, held in Taormina, Italy, in October 1996. The book presents 26 revised full papers selected from a total of 66 submissions based on the reviews of 146 referees. The papers are organized in sections on distributed fault tolerance, fault injection, modelling and evaluation, fault-tolerant design, basic hardware models, testing, verification, replication and distribution, and system level diagnosis HTTP:URL=https://doi.org/10.1007/3-540-61772-8 |
目次/あらすじ
所蔵情報を非表示
電子ブック | 配架場所 | 資料種別 | 巻 次 | 請求記号 | 状 態 | 予約 | コメント | ISBN | 刷 年 | 利用注記 | 指定図書 | 登録番号 |
---|---|---|---|---|---|---|---|---|---|---|---|---|
電子ブック | オンライン | 電子ブック |
|
Springer eBooks | 9783540706779 |
|
電子リソース |
|
EB00225906 |
書誌詳細を非表示
データ種別 | 電子ブック |
---|---|
分 類 | LCC:TK7885-7895 LCC:TK5105.5-5105.9 DC23:621.39 DC23:004.6 |
書誌ID | 4001090680 |
ISBN | 9783540706779 |