Ricerca di contatti, progetti,
corsi e pubblicazioni

Distributed Algorithms

Descrizione

Distributed computing systems arise in a wide range of modern applications. This course surveys the foundations of many distributed computing systems, namely, the distributed algorithms that lie at their core. The course provides the basis for designing distributed algorithms and formally reasoning about their correctness. It addresses issues related to what distributed systems can and cannot do (i.e., impossibility results) in certain system models. The course focuses on three aspects of distributed computing: system models, fundamental problems in distributed computing, and application of distributed algorithms. System models include synchronous versus asynchronous systems, communication models, and failure models. Several fundamental problems are covered, including consensus, atomic broadcast, atomic multicast, atomic commit, and data consistency. Applications of distributed algorithms target various forms of replication techniques.

 

REFERENCES

  • Lecture notes and research articles.

***************************

This course is not offered in the academic year 2019/20

Persone

 

Pedone F.

Docente titolare del corso

Informazioni aggiuntive

Semestre
Autunnale
Anno accademico
2019-2020
ECTS
6
Lingua
Inglese
Offerta formativa
Master of Science in Artificial Intelligence, Corso di base, Corso, 2° anno

Master of Science in Computational Science, Corso a scelta, Corso, 2° anno

Master of Science in Financial Technology and Computing, Corso a scelta, Corso, 2° anno

Master of Science in Informatics, Corso a scelta, Corso, 2° anno

Master of Science in Informatics, Corso a scelta, Corso, 1° anno

Dottorato in Scienze informatiche, Corso a scelta, Corso, 1° anno (4 ECTS)

Dottorato in Scienze informatiche, Corso a scelta, Corso, 2° anno (4 ECTS)