000 -LEADER |
fixed length control field |
04627nam a22005655i 4500 |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
ISBN |
9783540706779 |
-- |
978-3-540-70677-9 |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
004.6 |
245 10 - TITLE STATEMENT |
Title |
Dependable Computing — EDCC-2 |
Sub Title |
Second European Dependable Computing Conference Taormina, Italy, October 2–4, 1996 Proceedings / |
Statement of responsibility, etc |
edited by Andrzej Hlawiczka, João Gabriel Silva, Luca Simoncini. |
260 #1 - PUBLICATION, DISTRIBUTION, ETC. (IMPRINT) |
Place of publication |
Berlin, Heidelberg : |
Name of publisher |
Springer Berlin Heidelberg, |
Year of publication |
1996. |
300 ## - PHYSICAL DESCRIPTION |
Number of Pages |
XVI, 444 p. |
Other physical details |
online resource. |
490 1# - SERIES STATEMENT |
Series statement |
Lecture Notes in Computer Science, |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
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. |
520 ## - SUMMARY, ETC. |
Summary, etc |
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. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer science. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer hardware. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software engineering. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer system performance. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Operating systems (Computers). |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Science. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Special Purpose and Application-Based Systems. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
System Performance and Evaluation. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Computer Hardware. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Software Engineering. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical Term |
Operating Systems. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Hlawiczka, Andrzej. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Silva, João Gabriel. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Simoncini, Luca. |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/3-540-61772-8 |
942 ## - ADDED ENTRY ELEMENTS (KOHA) |
Koha item type |
E-BOOKS |
264 #1 - |
-- |
Berlin, Heidelberg : |
-- |
Springer Berlin Heidelberg, |
-- |
1996. |
336 ## - |
-- |
text |
-- |
txt |
-- |
rdacontent |
337 ## - |
-- |
computer |
-- |
c |
-- |
rdamedia |
338 ## - |
-- |
online resource |
-- |
cr |
-- |
rdacarrier |
347 ## - |
-- |
text file |
-- |
PDF |
-- |
rda |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
-- |
0302-9743 ; |