News

• [2011-07-07] The tutorial scheduled for 12.07.11 is cancelled.
  
• [2011-07-01] The tutorial scheduled for 05.07.11 was moved to 08.07.11 (061, subsequent to the tutorial of "Formale Techniken in der Software-Entwicklung").
  
• [2011-06-17] The tutorial scheduled for 28.06.11 was moved to 30.06.11 (U139, 18:00).
  
• [2011-06-09] Some lecture notes have been updated with more material and bug fixes.
  
• [2011-05-19] The tutorial scheduled for 24.05.2011 is cancelled. The next tutorial will be on 31.05.2011.
  
• The course will start on 6th May 2011, 10-12 Uhr, Geschwister Scholl Platz 1, M 201.

Inhalt

Performance evaluation allows one to quantify the use of resources in a system, where the notion of system is broad (e.g., a supermarket, a web server, a communication network, an ecosystem). This course offers the basics of this discipline with emphasis on the techniques devoted to the analysis of computer systems. Special attention is given to analytical models, where the system under scrutiny can be conveniently represented as a mathematical problem. Typical indices of performance that can be obtained from the analysis are throughput (how frequently an event happens), utilisation (the percentage of time that a resource is employed), and response time (how long it takes to perform one or a series of events). A central role will be played by stochastic models, which enable the expression of uncertainties using a probabilistic framework.

The course is self-contained and no prior knowledge is required. It is divided into two main parts. In the first part it covers elementary notions of probability theory, culminating with the study of Markov chains. The second part covers some techniques based on Markov chains to conveniently express and analyse the performance of computer systems, specifically queueing networks and stochastic process algebra. The tutorials will consists of exercises accompanying the lectures, as well as practical applications with software tools such as GNU Octave, R, and other research tools. 

Termine

Vorlesung

• Freitag, 10-12 Uhr, Geschwister Scholl Platz 1, M 201

Übung

• Dienstag 16-18 Uhr, Oettingenstr. 67, U139

Vorlesungsfolien

1. [2011-05-10] Probability Basics
2. [2011-05-20] Stochastic Processes (animations) (updated 2011-06-09)
   
3. [2011-06-03] Queueing Systems (updated 2011-06-09)
4. [2011-06-09] Queueing Networks
5. [2011-06-17] Simulation
6. [2011-06-24] Stochastic Process Algebra
7. [2011-07-08] Lumpability
8. [2011-07-15] Differential Approximations
   

Personen

Dozent

• Prof. Mirco Tribastone, Ph.D.

Übungsleiter

• Dipl.-Math. Max Tschaikowski