Descriptif
Le principal objectif de ce cours est d'apprendre les techniques d'analyse des algorithmes distribués pour les systèmes réels combinant parallélisme avec des retards imprévisibles, tels que les multi-noyaux, réseaux sans fil, les systèmes distribués, et des protocoles Internet. Un accent particulier sera mis sur les méthodes de calcul mathématique fondées sur la topologie combinatoire.Objectifs pédagogiques
Acquis d'apprentissage À l'issue de l'UE, l'élève sera capable de: \- Understand the basics of shared-memory distributed computing \- Describe a distributed computing models and protocols using the language of combinatorial topology. \- Learn how to reason about distributed computability and complexity using the properties of corresponding combinatorial structures. Compétences de rattachement (et justification) \- BC1.1 – Analyser des systèmes existants de traitement des données, de communication et/ou d’organisation de l’information, en mobilisant les sciences et technologies (mathématiques, physique et informatique) dans un but d’audit ou d’optimisation; Justification : The course helps to represent a complex behavior of a distributed systems through simple and visually appealing combinatorial structures. \- BC10.3 – Analyser une résolution par des approches formelles ou mathématiques; Justification : The properties of a computing artifact (a shared-memory distributed system) is casred to the abstract mathematical space.
24 heures en présentiel
6 heures de travail personnel estimé pour l’étudiant.
