Sommaire
cours / présentation
The Bakery Algorithm in 2015
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+ specification
language...
Date de création :
05.05.2017Auteur(s) :
Leslie LAMPORTAccéder à la ressource :
Présentation
Informations pratiques
Langue du document : Anglais
Type : cours / présentation
Niveau : master, doctorat
Durée d'exécution : 40 minutes 1 seconde
Contenu : vidéo
Document : video/mp4
Poids : 322.69 Mo
Droits d'auteur : libre de droits, gratuit
Droits réservés à l'éditeur et aux auteurs. 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).
Droits réservés à l'éditeur et aux auteurs. 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).
Description de la ressource
Résumé
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+ specification language
"Domaine(s)" et indice(s) Dewey
- Algorithmes (518.1)
Domaine(s)
- Analyse numérique
- Programmation : Algorithmique, langages, conception objet, programmes
- Analyse numérique appliquée, calcul numérique, mathématiques numériques
Intervenants, édition et diffusion
Édition
- INRIA (Institut national de recherche en informatique et automatique)
Diffusion
Cette ressource vous est proposée par :
Document(s) annexe(s)
- Cette ressource fait partie de
Fiche technique
Identifiant de la fiche : 40143
Identifiant OAI-PMH : oai:canal-u.fr:40143
Schéma de la métadonnée : oai:uved:Cemagref-Marine-Protected-Areas
- LOMv1.0
- LOMFRv1.0
- Voir la fiche XML
Entrepôt d'origine : Canal-U
Voir aussi
02.04.2018
Description
:
François-Régis Mahieu est professeur
émérite à l’Université Versailles Saint-Quentin en Yvelines, fondateur du Fond pour la Recherche en Ethique
Economique. Il travaille actuellement dans une Unité Mixte de Recherche «
Résiliences » qui mène des études sur la vulnérabilité et les capacités de
ré ...
- exclusion
- économie
- pauvreté
01.01.2007
Description
:
Accédez aux neuf micro-ressources qui constituent ce cours grâce aux hyperliens du bloc "Voir aussi" de cette page.
Sur le mode de la conversation, Jean-Yves Trépos, Christelle Stupka et Sabrina Sinigaglia-Amadio nous proposent d'aborder notre société et le passage du XXème au XXIème siècle par ...
- exclusion
- individu
- isolement
- modernité
- sociabilité