The Bakery Algorithm in 2015
- document 1 document 2 document 3
- niveau 1 niveau 2 niveau 3
- audio 1 audio 2 audio 3
Descriptif
This talk revisits the Bakery Algorithm I proposed in1974 from the point of view of the tools that we now have at our disposal in2015, notably the PlusCal Algorithm Language, and the TLA+ specificationlanguage
Thèmes
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
-
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.
-
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.
-
Détecteurs de défaillanceDelporte-GalletCarole
Cet exposé fait un tour d'horizon sur les détecteurs de défaillances, introduits par Chandra et Toueg en 1996. Michel Raynal a largement participé aux recherches sur ce sujet.
Sur le même thème
-
Une minute avec Emmanuelle SaillardSaillardEmmanuelle
1 une minute avec ... met à l'honneur les scientifiques et les personnels d'appuis à la recherche du Centre Inria de l'université de Bordeaux. Grâce à ce nouveau format, le monde de la recherche n
-
Une minute avec Clément FoyerFoyerClément
1 une minute avec ... met à l'honneur les scientifiques et les personnels d'appuis à la recherche du Centre Inria de l'université de Bordeaux. Grâce à ce nouveau format, le monde de la recherche n
-
Désassemblons le numérique - #Episode1 : plongée au cœur des donnéesProuzeauArnaud
Ce premier épisode de Désassemblons le numérique part à la rencontre d'Arnaud Prouzeau, chercheur au sein de l'équipe-projet Potioc du Centre Inria de l'université de Bordeaux. Arnaud oriente ses
-
Opinion polarization and network segregation. Modelling a complex RelationshipFlacheAndreas
Recently, many societies seem to shift towards more polarization and volatility in opinions, for example in attitudes about immigration, climate policy, or the best policy response to Covid-19. A
-
21 Molecular Algorithms Using Reprogrammable DNA Self-AssemblyWoodsDamien
The history of computing tells us that computers can be made of almost anything: silicon, gears and levers, neurons, flowing water, interacting particles or even light. Although lithographically
-
Topological insights in neuroscienceHess BellwaldKathryn
Over the past decade, and particularly over the past five years, research at the interface of topology and neuroscience has grown remarkably fast. Topology has, for example, been successfully applied
-
Quelques algorithmes de calcul d'enveloppe convexe en 2DGiraultAlain
Le calcul de l'enveloppe convexe d'un nuage de points est un des problèmes fondamentaux en informatique, avec des applications multiples : traitement d'images, reconstruction 3D, détection de
-
Modélisation de la croissance des micro-organismesJongHidde de
La croissance microbienne peut être formulée comme un problème d'optimisation : comment allouer les ressources nutritives extraites de l'environnement aux différentes fonctions cellulaires afin de
-
Les mathématiques et la physique dans les effets spéciaux et les jeux vidéoNeyretFabrice
La synthèse d’images (parfois appelée « la 3D ») permet de créer dans l’ordinateur des mondes fictifs, ultra-réalistes ou de style cartoon selon l’envie des graphistes, des réalisateurs, des
-
Théorie de l’appariement et applications actuelles
Pourquoi y a-t-il tant de personnes sans emploi alors qu’au même moment un grand nombre de postes sont disponibles ? La théorie de l’appariement analyse ces problèmes où un certain nombre de
-
Caches, montrez-vous !DurandMarie
Les processeurs actuels permettent de l'ordre de quelques tera-opérations par seconde. Puissance nécessaire pour soutenir les besoins en simulation numérique, qui constitue, après la théorie et l
-
Self-Supervised Visual Learning and SynthesisEfrosAlexei A.
Computer vision has made impressive gains through the use of deep learning models, trained with large-scale labeled data. However, labels require expertise and curation and are expensive to collect.