Group Membership and View Synchrony

Related lectures (29)

Page 1 of 3

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Covers causal broadcast, ensuring messages are delivered in a causal order using algorithms and reliable broadcast.

Explores reliable broadcast in distributed systems, presenting specifications, algorithms, and properties for different types of broadcast.

Covers search algorithms, focusing on abductive reasoning and heuristic search strategies.

Covers counting distinct elements using hash functions and the median trick.

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

Explores latent tree learning, covering node properties, sibling relationships, and algorithmic structure.

Explores total order broadcast and its equivalence to consensus in reliable systems.

Introduces Dijkstra's algorithm and probabilistic analysis through the Hiring Problem.