Libri UniversitariApri il catalogo

Dependable Distributed Systems – prof. Silvia Bonomi, Andrea Vitaletti

Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · Sapienza Università di Roma · 1º anno · 1º semestre · 9 CFU · canale unico

Testi d'esame di Dependable Distributed Systems del prof. Silvia Bonomi, Andrea Vitaletti, canale unico, corso di laurea in Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale (Laurea magistrale (LM-32)), Sapienza Università di Roma, 1º anno · 1º semestre · 9 CFU, a.a. 2026/2027. Libri adottati: Cachin – Introduction to Reliable and Secure Distributed Programming; Concepts and Design; A Practical Tour of Vector Clock Systems; Lamport – Paxos Made Simple; Cimmino – Roberto Baldoni A Guided Tour on Total…; Leslie Lamport – The Byzantine Generals Problem; Matthew – A Routing Scheme for Content-Based Networking; Steven Ko – Imranul Hoque; Baldoni – An Implementation in a Churn Prone Environment; Arnaud Casteigts – Time-varying graphs and dynamic networks.

Dependable Distributed Systems – Prof. Silvia Bonomi, Prof. Andrea Vitaletti Canale unico

Il docente consiglia di frequentare

Corso di laurea: Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale · Laurea magistrale (LM-32) · 1º anno · 1º semestre · 9 CFU

Sapienza · Ingegneria dell'informazione, informatica e statistica · 9 CFU · apri nel catalogo

Testi principali

Cachin – Introduction to Reliable and Secure Distributed ProgrammingVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026

Letture

Concepts and DesignVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
A Practical Tour of Vector Clock SystemsVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Lamport – Paxos Made SimpleVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Cimmino – Roberto Baldoni A Guided Tour on Total…Vai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Leslie Lamport – The Byzantine Generals ProblemVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Matthew – A Routing Scheme for Content-Based NetworkingVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Steven Ko – Imranul HoqueVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Baldoni – An Implementation in a Churn Prone EnvironmentVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Arnaud Casteigts – Time-varying graphs and dynamic networksVai su Amazon ›Verificato sulla scheda ufficiale il 18/09/2026
Bacheca del docente: cosa indica di studiare

Argomenti del programma: Introduction to Distributed Systems and Dependability Basic Abstractions * Distributed Computations * Abstracting Processes * Abstracting Communications * Timing Assumptions * Abstracting Time ** Failure Detector abstractions ** Leader Election abstractions Clock Synchronization * Internal and External synchronization * Christian’s algorithm * Berkley’s algorithm * NTP * Happened-before relation * Application of…

Apri la scheda ufficiale ›
Aiutaci a tenerci aggiornati
Il prof ha indicato altri libri, pagine o modifiche? Scrivicelo.

Altre materie del prof. Bonomi, Vitaletti

Altri esami del 1º anno – Engineering in Computer Science and Artificial Intelligence - Ingegneria Informatica e Intelligenza Artificiale

Vedi anche: Prof. Silvia Bonomi · Prof. Andrea Vitaletti · Dependable Distributed Systems a Sapienza (tutti i canali)