-

Résultats 1 - 10 sur un total 26 pour  Wikipedia / Leslie Lamport / Wikipedia    (2010325 articles)

Leslie Lamport Imprimer cet articleFrise de Leslie Lamport

Leslie_Lamport

niveau [ 2 ] . Systèmes répartis [ modifier | modifier le code ] On fait parfois référence à Lamport comme au père du calcul réparti [ 3 ] . Il a notamment formulé en 1979 la relation «  arrivé-avant  » (en anglais «  happened before  »), qui permet d'obtenir un ordre partiel

Horloge de Lamport Imprimer cet article

Une horloge de Lamport est un dispositif logiciel introduit en 1978 par Leslie Lamport [ 1 ] afin de donner à chaque processus d'un système distribué asynchrone des informations sur la relation de causalité arrivé-avant . C'est le premier type d' horloge logique introduit en informatique

wikipedia.org | 2016/5/12 14:10:31

Autostabilisation Imprimer cet article

Sun_Spot

L' autostabilisation , ou auto-stabilisation , est la propriété d'un système réparti , composé de plusieurs machines capables de communiquer entre elles, qui consiste, lorsque le système est mal initialisé ou perturbé, à retourner automatiquement à un fonctionnement correct en un

Signature de Lamport Imprimer cet article

En cryptologie , le schéma de signature de Lamport [ a ] , [ 1 ] est un mécanisme à usage unique [ b ] permettant de signer numériquement un document [ 2 ] . Il a été introduit en 1979 par l'informaticien américain Leslie Lamport [ 3 ] . La construction des signatures de Lamport

wikipedia.org | 2018/12/1 9:39:19

Cohérence (données) Imprimer cet article

En informatique, la cohérence est la capacité pour un système à refléter sur la copie d'une donnée les modifications intervenues sur d'autre copies de cette donnée. Cette notion est principalement utilisée dans trois domaines informatiques : les systèmes de fichiers , les bases de

wikipedia.org | 2019/2/6 7:56:35

Modèle Byzantine Altruistic Rational Imprimer cet article

Le modèle Byzantine Altruistic Rational (qui signifie en Anglais « byzantin, altruiste, rationnel », plus communément appelé modèle BAR ) est un modèle mathématique de sécurité informatique , utilisé dans les systèmes distribués afin de servir de protocole de détection d’erreur

wikipedia.org | 2018/6/20 20:31:05

Parallélisme (informatique) Imprimer cet article

BlueGeneL_cabinet

En informatique , le parallélisme consiste à mettre en œuvre des architectures d' électronique numérique permettant de traiter des informations de manière simultanée, ainsi que les algorithmes spécialisés pour celles-ci. Ces techniques ont pour but de réaliser le plus grand nombre

Paxos (informatique) Imprimer cet article

l' approche de la machine à état   (en) à l'informatique distribuée, comme suggéré par Leslie Lamport [ 3 ] et par Fred Schneider [ 4 ] . L'approche de la machine à état est une technique pour convertir un algorithme en un algorithme résistant aux pannes et distribué. Les techniques

wikipedia.org | 2019/5/14 10:22:09

Michael J. Fischer Imprimer cet article

Michael Fischer obtient un BSc en mathématiques à l' université du Michigan en 1963 ; il effectue ensuite ses études de MA et PhD en mathématiques appliquées à l' université Harvard ; il obtient la maîtrise en 1965 et le PhD en 1968, ce dernier sous la direction de Sheila A

wikipedia.org | 2018/12/11 4:52:09

Andrew Yao Imprimer cet articleFrise de Andrew Yao

Andrew_Yao

Andrew Yao est né à Shanghai le 24 décembre 1946. Il a vécu ses premières années à Hong-Kong puis Taiwan [ 1 ] . Il a fait son premier cycle universitaire en physique à l' université nationale de Taïwan . Il a obtenu un doctorat en physique de l' université Harvard en 1972,