Diferenzas entre revisións de «Leslie Lamport»

m
→‎Traxectoria: Instituto de Tecnoloxía de Massachusetts
m (Bot: Arranxos varios)
m (→‎Traxectoria: Instituto de Tecnoloxía de Massachusetts)
 
== Traxectoria ==
Licenciouse en [[matemáticas]] en [[1960]] no [[MassachusettsInstituto Institutede ofTecnoloxía Technologyde Massachusetts]]. Tamén cursou un mestrado (1963) e un doutoramento (1972) na [[Universidade de Brandeis]], ambos os dous en matemáticas.
 
No campo das ciencias da computación, Lamport é recoñecido polo seu traballo en algorítmica distribuída e en lóxica temporal, na cal introduciu a lóxica de accións temporal (Temporal Logic of Actions, TLA). Formulou a relación "ocorrido antes" (happened before), importante en [[reloxo]]s lóxicos de sistemas distribuídos, xa que permite obter unha ordenación parcial. Tamén introduciu o [[algoritmo]] da panadaría de Lamport para exclusión mutua de múltiples fíos nun computador que requiren os mesmos recursos ao mesmo tempo.
110.241

edicións