Systèmes concurrents et distribués

  • Enseignement

    Détails

    Faculté Faculté des sciences et de médecine
    Domaine Informatique
    Code UE-SIN.05022
    Langues Français
    Type d'enseignement Cours
    Cursus Bachelor
    Semestre(s) SA-2020

    Titre

    Français Systèmes concurrents et distribués
    Allemand Konkurrierende und verteilte Systeme
    Anglais Concurrent and distributed computing

    Horaires et salles

    Horaire résumé Mardi 14:15 - 17:00, Hebdomadaire
    Struct. des horaires 2 + 2h par semaine durant 14 semaines
    Heures de contact 56

    Enseignement

    Responsables
    Enseignants
    Assistants
    Description

    Nous aborderons dans ce cours quelques-uns des problèmes principaux en programmation répartie (élection d'un leader, exclusion mutuelle, temps logique et synchronisation, algorithmes de graphe, communication de groupe, consensus, etc.) en version répartie.

    Les paradigmes de programmation concurrente et répartie seront abordés et illustrés par la mise en oeuvre d’algorithmes, principalement dans le langage Erlang.

    Le cours se compose d'une partie théorique (cours et exercices), ainsi que d’une partie pratique (exercices et mini projet, réalisés dans un environnement réparti).

    Pré-requis: une très bonne connaissance d’un langage de programmation, tel C ou Java. Une introduction à Erlang (un langage de programmation concurrent et fonctionnel) sera donnée.

    Objectifs de formation Maîtrise au niveau implémentation et utilisation des primitives de base de la programmation concurrente et initiation aux systèmes répartis (au niveau système et algorithmique).
    Commentaire

    Les unités d’enseignement se composent généralement de deux heures de cours et deux heures d’exercices par semaine. Nous vous prions de bien vouloir vous conformer aux délais d’inscriptions aux épreuves de la Faculté des sciences et de médecine.

    Softskills
    Non
    Hors domaine
    Non
    BeNeFri
    Oui
    Mobilité
    Oui
    UniPop
    Non
  • Dates et salles
    Date Heure Type d'enseignement Lieu
    15.09.2020 14:15 - 17:00 Cours PER 21, salle B130
    22.09.2020 14:15 - 17:00 Cours PER 21, salle B130
    29.09.2020 14:15 - 17:00 Cours PER 21, salle B130
    06.10.2020 14:15 - 17:00 Cours PER 21, salle B130
    13.10.2020 14:15 - 17:00 Cours PER 21, salle B130
    20.10.2020 14:15 - 17:00 Cours PER 21, salle B130
    27.10.2020 14:15 - 17:00 Cours PER 21, salle B130
    03.11.2020 14:15 - 17:00 Cours PER 21, salle B130
    10.11.2020 14:15 - 17:00 Cours PER 21, salle B130
    17.11.2020 14:15 - 17:00 Cours PER 21, salle B130
    24.11.2020 14:15 - 17:00 Cours PER 21, salle B130
    01.12.2020 14:15 - 17:00 Cours PER 21, salle B130
    15.12.2020 14:15 - 17:00 Cours PER 21, salle B130
  • Modalités d'évaluation

    Examen écrit - SA-2020, Session d'hiver 2021

    Date 02.02.2021 14:00 - 16:00
    Mode d'évaluation Par note
    Condition

    Rendre 6 séries d'exercices et projet

     

    Commentaire

    Examen écrit ONLINE

    Examen écrit - SP-2021, Session d'automne 2021

    Date 16.09.2021 10:00 - 12:00
    Mode d'évaluation Par note
    Condition

    Rendre 6 séries d'exercices et projet

     

    Commentaire

    examen écrit en présence

  • Affiliation
    Valable pour les plans d'études suivants:
    Ba - Informatique de gestion - 180 ECTS
    Version: 2020/SA_V02
    3ème année 60 ECTS > Cours de 3ème année > Cours obligatoires 32.5 ECTS > Systèmes concurrents et distribués

    Complément DEEM en informatique
    Version: 2020_1/V_01
    Complément DEEM pour Informatique 60 ou +30 > Programmes 60 ou +30 > Complément au programme Informatique 60 > Complément DEEM pour Informatique 60 (dès SA2020)

    Complément au MSc in Bioinformatics and Computational Biology [MA]
    Version: 2020_1/V_01
    Complément au MSc in Bioinformatics and Computational Biology > UE avancées en Informatique (niveau bachelor)

    Complément au MSc in Computer Science [MA]
    Version: 2018_1/V_01
    Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)

    Complément au MSc in Computer Science [MA]
    Version: 2020_1/V_01
    Complément au MSc en informatique > UE avancées en Informatique (niveau bachelor)

    Enseignement complémentaire en sciences
    Version: ens_compl_sciences
    Paquet indépendant des branches > UE avancées en Informatique (niveau bachelor)

    Informatique 120
    Version: 2021_1/V_01
    BSc en informatique, branche principale, 2-3ème années > Informatique 2e et 3e année, UE obligatoires (dès SA2021)

    Informatique 30
    Version: 2020_1/V_01
    Branche complémentaire en informatique 30 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)

    Informatique 60
    Version: 2020_1/V_01
    Branche complémentaire en informatique 60 > Informatique br. compl. 30 ou 60 ECTS à choix (dès SA2019)

    Informatique 50 [BSc/BA SI]
    Version: 2020_1/V_01
    BSc_SI/BA_SI, Informatique 50 ECTS, 1-3ème années > BSc_SI/BA_SI, Informatique, 2-3ème années, UE à choix pour 50 ECTS (dès SA2020)

    Informatique [3e cycle]
    Version: 2015_1/V_01
    Formation continue > UE avancées en Informatique (niveau bachelor)

    Informatique [DEEM] 60
    Version: 2021_1/V_01
    Branche complémentaire en informatique (DEEM) 60 > Informatique branche complémentaire DEEM 60 ECTS à choix (dès SA2021)

    Informatique [POST-DOC]
    Version: 2015_1/V_01
    Formation continue > UE avancées en Informatique (niveau bachelor)

    Préalable au Bioinformatique et biologie computationnelle [PRE-MA]
    Version: 2020_1/V_01
    Préalable au MSc in Bioinformtics and Computational Biology > UE avancées en Informatique (niveau bachelor)

    Préalable au MSc en informatique [PRE-MA]
    Version: 2020_1/V_01
    Préalable au MSc en informatique > UE avancées en Informatique (niveau bachelor)