News
Events
|
Seminar: Effective Computation of Reliability of Storage SystemsIn 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.
Last modified 18 Feb 2009 |
||||||
|
© 2009 SSRC & UCSC |
Home | Research | People | Publications | Seminars | Sponsors | ||||||
| Site powered by Django |