Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Dependable computing for critical applications 6 / > Transient Fault Detection in Cache Memories by Employing a Small Shadow Cache
Dependable computing for critical applications 6 / |
Dal Cin, Mario,; Meadows, Catherine.; Sanders, William Huston,
IEEE Computer Society,
Dependable computing for critical applications 6 /
Transient Fault Detection in Cache Memories by Employing a Small Shadow Cache
Authors

Arun K. Somani and Seongwoo Kim

ARI Id

1675244617954_52118244

Access

Not Available Free

Table of Contents of Book
Showing 1 to 20 of 21 entries
Chapters/HeadingsAuthor(s)PagesInfo
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
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 21 entries
Similar Books
Similar Chapters
Similar Thesis

Similar News

Similar Articles
Similar Article Headings