Details

Subject(s)

• Fault-tolerant computing [Browse]
• Computers—Reliability [Browse]

Related name

• Dal Cin, Mario, 1940- [Browse]
• Meadows, Catherine [Browse]
• Sanders, William Huston, 1949- [Browse]

Series

• Dependable computing and fault-tolerant systems ; v. 11. [More in this series]
• Dependable computing and fault-tolerant systems ; vol. 11 [More in this series]

Notes

"IEEE Computer Society Press order number BP08009"--T.p. verso.

Bibliographic references

Includes bibliographical references and index.

Contents

• Experimental Evaluation of Assigned Signature Checking With Return Address Hashing on Different Platforms / Uwe Wildner
• Transient Fault Detection in Cache Memories by Employing a Small Shadow Cache / Arun K. Somani and Seongwoo Kim
• Frequentist and Bayesian Coverage Estimations for Stratified Fault-Injection / Michel Cukier, Jean Arlat and David Powell
• Comparing Different Fault Models Using VERIFY / Volkmar Sieh, Oliver Tschache and Frank Balbach
• A Highly Available Local Leader Election Service / Christof Fetzer and Flaviu Cristian
• Deterministic Operation of Dissimilar Replicated Task Sets in Fault-Tolerant Distributed Real-Time Systems / Stefan Poledna
• Fault-Tolerant Rate-Monotonic Scheduling / Sunondo Ghosh, Rami Melhem and Daniel Mosse
• Panel 1. Extending QoS to include Performance, Dependability, and Security Chair / David E. Bakken, Chris Sluman and J. P. LeBlanc [et al.] --
• Position paper: On Specification, Metadata, and Binding of Multi-Property Quality of Service / David E. Bakken
• Position paper: Quality of Service: An Industry Perspective / Chris Sluman
• Position paper: Multi-Property QoS in CORBA: Providing Implementation Visibility / J. P. LeBlanc
• Position paper: High Assurance Properties / John McLean
• Position paper: Initial Design Concepts for Quality of Service / Chris Maeda, Arthur Lee and Gail Murphy [et al.]
• Verifying the Specification-to-Code Correspondence for Abstract Data Types / Daniel Schweizer and Christoph Denzler
• Systematic Formal Verification for Fault-Tolerant Time-Triggered Algorithms / John Rushby
• Validating the Fail-Silence Assumption of the MARS Architecture / Emmerich Fuchs
• Influence of On-line Spare Disks and Duplicated Controllers on RAID Dependability / Vicente Santonja, Javier Molero and Marina Alonso [et al.] --
• Evaluating the Impact of Transient Faults on Software Behavior: Case Study of a Commercial High-Speed Network / Greg Ries and Ravishankar K. Iyer
• Formalising Engineering Judgement of Software Dependability via Belief Networks / Kemal A. Delic, Franco Mazzanti and Lorenzo Strigini
• Experimenting with Quantitative Evaluation Tools for Monitoring Operational Security / Rodolphe Ortalo, Yves Deswarte and Mohamed Kaaniche
• Panel 2. Survivability in the Face of Malicious Attack / Teresa Lunt, Yves Deswarte and Keith Marzullo [et al.].

Show 18 more Contents items

ISBN

0818680091

LCCN

97041366

OCLC

37631237

RCP

C - S

Statement on responsible collection description

Princeton University Library aims to describe library materials in a manner that is respectful to the individuals and communities who create, use, and are represented in the collections we manage. Read more...