Ci-dessous, les différences entre deux révisions de la page.
| Les deux révisions précédentesRévision précédente | |||
| formations:masters:cours:resume_concurrence [2021/02/03 17:35] – ↷ Page déplacée de formations:masters:1ere_annee:cours:resume_concurrence à formations:masters:cours:resume_concurrence admin | formations:masters:cours:resume_concurrence [2022/07/26 19:04] (Version actuelle) – modification externe 127.0.0.1 | ||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| + | ====== Théorie et Pratique de la Concurrence ====== | ||
| + | ==== Etude des problèmes algorithmiques liés à la concurrence : ==== | ||
| + | algorithmes d’exclusion mutuelle (Dekker, Peterson, Boulangerie, | ||
| + | * synchronisation de haut et bas niveau: verrous, moniteurs barrières, | ||
| + | * modèles et preuves d’algorithmes, | ||
| + | |||
| + | ==== Programmation concurrente en Java ==== | ||
| + | |||
| + | **Prérequis** : notions de base en algorithmique et en Java. | ||