# Probability for computer science - 4MMPIEP6

• #### Number of hours

• Lectures 16.5
• Projects -
• Tutorials 16.5
• Internship -
• Laboratory works -
• Written tests -

ECTS 3.0

## Goal(s)

Random processes are basic tools for modeling communication networks and computer systems for their design. They allow on one hand to understand the phenomena of heavy/low traffic and on the other hand to develop management policies (protocols, allocation, optimization...)
The purpose of this course is to lead to:

• Know how to model a computer system using Markov processes;
• Be able to analyze the behavior of random processes using
formal methods or simulations;
• Be able to analyze the behavior of classic protocols of communication.

Responsible(s)

Herve GUIOL

## Content(s)

1. Modeling of computer systems and performance evaluation;
2. Basic tools in probability;
3. Fundamentals of Performance Evaluation;
4. Markov chains : automata and probabilities;
5. Poisson process : Quality of service, traffic models and loss analysis;
6. Reversibility, Markov algorithm : contention and network of queueing systems
7. Robustness of Markov models.

Prerequisites

Applied Probability and Statistical Principles and Methods (1rst year Ensimag).

Test

1st session : Written exam 2h

2nd session : Written exam 2h

1. Lexique
CC = contrôle continu # non rattrapable
E1 = examen de session 1
E2 = examen de session 2
1. Notes transmises à la scolarité
N1=(2 x E1+CC)/3 # note finale de session 1 si examen en présenciel
ou
N1=CC # si pas d'examen en présenciel
N2=(2 x E2+CC)/3 # note finale après rattrapage

Calendar

The course exists in the following branches:

see the course schedule for 2023-2024

Course ID : 4MMPIEP6
Course language(s):

The course is attached to the following structures:

You can find this course among all other courses.

Bibliography

O. François : Notes de Cours de Probabilités Ensimag 1ère année.
O. Gaudoin : Principe et Méthode Statistique Ensimag 2ème année.
S.M. Ross : Probability Models for Computer Science, Academic Press, 2001.

Cours de Gérard Hébuterne à l'INT
Le livre de Jean-Yves Le Boudec en évaluation de performances

Orienté évaluation de performances (pratique)

P.Brémaud Markov Chains, Gibbs Fields, Monte Carlo Simulation and Queues, Springer 1999.
J. Banks, J. S. Carson II, B. L. Nelson et D. M. Nicol, Discrete-Event System Simulation, Pearson 2010
R. Jain, The Art of Computer Systems Performance Analysis Techniques for Experimental Design, Measurement, Simulation, and Modeling, Wiley 1991