My Wish Lists Login / Join

Lecture Notes in Computer Science

Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

By: Andrzej Hlawiczka (Editor), Joao G.S. Silva (Editor), Luca Simoncini (Editor)

Write A Review

Paperback | 18 September 1996

At a Glance

Paperback
464 Pages

Dimensions(cm)
24.13 x 15.88 x 2.54

Paperback

$84.99

or 4 interest-free payments of $21.25 with

Ships in 5 to 7 business days

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.

Shipping

	Standard Shipping	Express Shipping
Metro postcodes:	$9.99	$14.95
Regional postcodes:	$9.99	$14.95
Rural postcodes:	$9.99	$14.95

Orders over $79.00 qualify for free shipping.

How to return your order

At Booktopia, we offer hassle-free returns in accordance with our returns policy. If you wish to return an item, please get in touch with Booktopia Customer Care.

Additional postage charges may be applicable.

Defective items

If there is a problem with any of the items received for your order then the Booktopia Customer Care team is ready to assist you.

For more info please visit our Help Centre.

You Can Find This Book In

Non-Fiction Computing & I.T.Computer Science Systems Analysis & Design Computer Architecture & Logic Design Computer Hardware Personal Computers Maintenance & Repairs Artificial Intelligence Expert Systems & Knowledge-Based Systems Operating Systems Digital Lifestyle & Online World: Consumer & User Guides

Portable & Handheld Devices User Guides Computer Programming & Software Development Software Engineering

Friends - A Flexible Architecture for Implementing Fault Tolerant and Secure Distributed Applications	p. 3
Adaptable Fault Tolerance for Distributed Process Control Using Exclusively Standard Components	p. 21
On Stratified Sampling for High Coverage Estimations	p. 37
Fault Injection Evaluation of Assigned Signatures in a RISC Processor	p. 55
An Evaluation of the Error Detection Mechanisms in MARS Using Software-Implemented Fault Injection	p. 73
Dependability Modeling and Analysis of Complex Control Systems: An Application to Railway Interlocking	p. 93
The Effect of Interfailure Time Variability on the Software Reliability Growth Modelling	p. 111
Dependability Evaluation of a Computing System for Traction Control of Electrical Locomotives	p. 129
Dependability Models of RAID Using Stochastic Activity Networks	p. 141
Compiler Assisted Self-checking of Structural Integrity Using Return Address Hashing	p. 161
Single Source Fault-Tolerant Broadcasting for Two-Dimensional Meshes Without Virtual Channels	p. 178
On-line Testing of an Off-the-shelf Microprocessor Board for Safety-critical Applications	p. 190
The Logic Threshold Based Voting: A Model for Local Feedback Bridging Fault	p. 205
On the Yield of VLSI Processors with on-chip CPU Cache	p. 214
Design of Dependable Hardware: What BIST is most Efficient?	p. 233
Pseudorandom Testing of Microprocessors at Instruction/Data Flow Level	p. 246
Multi-Level Test Generation and Fault Diagnosis for Finite State Machines	p. 264
Dynamic Testing from Bounded Data Type Specifications	p. 285
A Theory of Specification-Based Testing for Object-Oriented Software	p. 303
Proving Safety Properties for Embedded Control Systems	p. 321
Enhancing Dependability of Cooperative Applications in Partitionable Environments	p. 335
Efficient Message Logging for Uncoordinated Checkpointing Protocols	p. 353
Atomic Updates of Replicated Data	p. 365
Removal of all Faulty Nodes from a Fault-Tolerant Service by means of Distributed Diagnosis with Imperfect Fault Coverage	p. 385
Constraint Based System-Level Diagnosis of Multiprocessors	p. 403
A Unified Theory for f1/f2-Diagnosable Communication Networks	p. 421
Author Index	p. 439
Table of Contents provided by Blackwell. All Rights Reserved.

Lecture Notes in Computer Science

Second European Dependable Computing Conference, Taormina, Italy, October 2 - 4, 1996. Proceedings

At a Glance

Paperback

Shipping

How to return your order

Defective items

You Can Find This Book In

More in Software Engineering

Code

2nd Edition - The Hidden Language of Computer Hardware and Software

Blockchain of Things

Research Challenges and Applications

Scenarios Engineering for Services Science

Towards Trustworthy and Reliable Services Systems with New AI

Coordination Models and Languages

28th IFIP WG 6.1 International Conference, COORDINATION 2026, Held as Part of the 21st International Federated Conference on Distributed Computing Techniques, DisCoTec 2026, Urbino, Italy, June 8-12, 2026, Proceedings

The Essence of Software Engineering

Building Microservices

Designing Fine-Grained Systems 2nd Edition

Design Patterns

Elements of Reusable Object-Oriented Software

The Manager`s Path

A Guide for Tech Leaders Navigating Growth and Change

Hacking For Dummies

For Dummies (Computer/Tech)

Observability Engineering

Achieving Production Excellence

Git : Pocket Guide

A Working Introduction

Refactoring 2ed

Improving the Design of Existing Code

Arduino for Dummies

Blackwell Philosophy Anthologies

Fundamentals of Software Architecture, 2nd Edition

A Modern Engineering Approach

Swim Training Patterns

1st Edition - Plan your Training Sessions with the Power of Mathematics

Coding All-in-One For Dummies

2nd Edition

Architecture Patterns with Python

Enabling Test-Driven Development, Domain-Driven Design, and Event-Driven Microservices

C++ Programming Language (hardcover), The

Site Reliability Engineering

How Google Runs Production Systems

Web Application Security

2nd Eidtion - Exploitation and Countermeasures for Modern Web Applications

Learning Algorithms

A Programmer's Guide to Writing Better Code

Head First Design Patterns

Building Extensible and Maintainable Object-Oriented Software 2nd Edition

C# 12 in a Nutshell

The Definitive Reference

C# 12 Pocket Reference

Instant Help for C# 12 Programmers

This product is categorised by