Embedded Files
Description du cours :
Ce cours est donné aux étudiants du parcours Informatique au premier semestre de 1e année (6 séances). Il complète le cours d'algorithmique classique (ALGO1) par les aspects algorithmiques spécifiques du logiciel réparti qui est mis en œuvre dans les réseaux et les applications réparties.
Son objectif est de sensibiliser les élèves à la difficulté de conception des applications communicantes et de leur montrer quelques techniques formelles permettant une conception sure. Un TP de modélisation et vérification d'un petit protocole de traitement de flux de donnée large-échelle est demandé et initie les élèves à une forme de pédagogie résolument tournée vers la recherche.
Google Sites
Report abuse