RSS feed RSS: Events | News | Papers

News

Events

››› Complete list of events

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: Kanchi Gopinath

Last modified 18 Feb 2009
Home | Research | People | Publications | Seminars | Sponsors
  Site powered by Django