THIS IS THE ARCHIVED SSRC SITE
The SSRC was active from 2001–2024.
This archived site is maintained by Ethan L. Miller.
The current CRSS site is at https://www.crss.us/. Please contact the current CRSS Director (Heiner Litz) if you have issues accessing the CRSS site.

Seminar: Effective Computation of Reliability of Storage Systems

In this talk, we will discuss the problem of effective computation of reliability of non-trivial storage systems. We will discuss mostly the use of model checking but will also touch upon simulation, sampling and some interesting combinations of these techniques.

When:
Wednesday, March 4, 2009 at 12:00 PM

Where:
E2-599

SSRC Contact:
Gopinath, Kanchi

Last modified 24 May 2019