Détecteurs de défaillance
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
- audio 1 audio 2 audio 3
Descriptif
Cet exposé fait un tour d'horizon sur les détecteursde défaillances, introduits par Chandra et Toueg en 1996. Michel Raynal alargement participé aux recherches sur ce sujet.
Intervenant
Thème
Notice
Documentation
Documents pédagogiques
Dans la même collection
-
Distributed data structures and consistency criteriaMostefaouiAchour
Les systèmes distribués sont divers mais peuvent être classés en deux classes principales, ceux à communication par messages et ceux à mémoire partagée. Depuis qu'il a
-
Tasks, algorithms, and models of distributed computing with Michel (together with other colleagues)RajsbaumSergio
In this talk, I describe some of the work I have done with Michel (and others) over a very productive period that started 15 years ago, and hopefully will last for many more years, where we have
-
Adding Concurrency to Smart ContractsHerlihyMaurice
Modern cryptocurrency systems, such as Ethereum, permit complex financial transactions through scripts called *smart contracts*. These smart contracts are executed many, many times, always without
-
A brief history of atomic commitmentGuerraouiRachid
Cet exposé retrace brièvement l'historique de l'algorithmique répartie à travers l'un de ses problèmes les plus fondamentaux: la validation atomique.
-
Indistinguishability, Duality and Necessary ConditionsMosesYoram
This talk discusss the most fundamental notion in distributed computing. I will present and prove a universal property for distributed computing, and discuss implications and applications.
-
The Bakery Algorithm in 2015LamportLeslie
This talk revisits the Bakery Algorithm I proposed in 1974 from the point of view of the tools that we now have at our disposal in 2015, notably the PlusCal Algorithm Language, and the TLA+
