Méthode Formelle
- Manager: Houssem Mansouri
- Enseignant: Abdelkader Bouamari
Administration Client/Serveur
- Manager: Houssem Mansouri
- Enseignant: Abdelhafid Benaouda
Évaluation des Performances des Systèmes
- Manager: Houssem Mansouri
- Enseignant: Cherbal Sarra
Évaluation des performances des systèmes
Description du module
Ce cours vise à sensibiliser les étudiants aux problèmes de performances des systèmes informatiques, plus particulièrement celles des réseaux. Cette matière aborde les différentes techniques quantitatives permettant de modéliser puis d'évaluer les performances d'un système. Les principes de la modélisation, les techniques à base de file d'attente markovienne et celles de simulation sont ainsi abordés.
Public cible
Ce cours est destiné aux étudiants en Master 1 Informatique, option : Réseaux et Systèmes Distribués (RSD)
Réseaux Mobiles
- Manager: Houssem Mansouri
- Enseignant: Louail Lemia
Réseaux Mobiles:
- Introduction
- Méthodes d'accès au canal de communication
- Les réseaux cellulaires
- La mobilité dans les réseaux cellulaires
Algorithmique Répartie
- Manager: Houssem Mansouri
- Enseignant: Nabil Guellati
Programme:
- Introduction.
- Algorithmes répartis auto-stabilisants.
- Détecteurs de défaillances.
- Communication de groupe.
- Cohérence des données réparties.
Pour avoir le mot de passe d'accès il faut contacter le chargé de cours.
Réseaux II
- Manager: Houssem Mansouri
- Enseignant: Ahlem Drif
Pédagogie
- Manager: Houssem Mansouri
- Enseignant: Moussa Semchedine