GLOBAN 2006 - The Global Computing Approach to Analysis of Systems

International Summer School at DTU, August 21-25, 2006

Stochastic modelling

Lectures by Stephen Gilmore, University of Edinburgh, Scotland


In some circumstances it is not sufficient to know that a computer system will not exhibit unwanted behaviour: one wants to know that it will deliver the desired behaviour within a prescribed time bound, or with a specified quality of service. Quantitative methods are needed here to ensure timely responses to requests. These lectures will show how stochastic process algebras are used to quantify system performance.

Contact: globan@imm.dtu.dk