Conférence

Détecteurs de défaillance

Durée : 00:44:55 -Réalisation : 5 mai 2017 -Mise en ligne : 5 mai 2017
  • 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
Discipline :
Notice
Langue :
Français
Crédits
INRIA (Institut national de recherche en informatique et automatique) (Production), Carole Delporte-Gallet (Intervenant)
Conditions d'utilisation
Document libre, dans le cadre de la licence Creative Commons (http://creativecommons.org/licenses/by-nd/2.0/fr/), citation de l'auteur obligatoire et interdiction de désassembler (paternité, pas de modification).
Citer cette ressource :
Carole Delporte-Gallet. Inria. (2017, 5 mai). Détecteurs de défaillance. [Vidéo]. Canal-U. https://www.canal-u.tv/69759. (Consultée le 29 mai 2023)
Contacter
Documentation


Dans la même collection

  • Distributed data structures and consistency criteria
    Conférence
    00:39:43
    Distributed data structures and consistency criteria
    Mostefaoui
    Achour

    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

  • Adding Concurrency to Smart Contracts
    Conférence
    00:44:07
    Adding Concurrency to Smart Contracts
    Herlihy
    Maurice

    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 commitment
    Conférence
    00:33:20
    A brief history of atomic commitment
    Guerraoui
    Rachid

    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 Conditions
    Conférence
    00:49:33
    Indistinguishability, Duality and Necessary Conditions
    Moses
    Yoram

    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 2015
    Conférence
    00:40:00
    The Bakery Algorithm in 2015
    Lamport
    Leslie

    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+