Resultado de búsqueda
Leslie B. Lamport (born February 7, 1941) is an American computer scientist and mathematician. Lamport is best known for his seminal work in distributed systems, and as the initial developer of the document preparation system LaTeX and the author of its first manual.
Leslie Lamport (Nueva York, EE.UU., 7 de febrero de 1941) es un matemático y científico de la computación estadounidense. Es especialmente conocido por sus trabajos en sistemas distribuidos y por ser el desarrollador inicial del sistema de formateo de textos LaTeX, y de BibTeX. [1]
Learn about Leslie Lamport, a pioneer of distributed systems and TLA+, who works at Microsoft Research. Find his contact information, publications, and TLA+ resources.
Leslie Lamport is a computer scientist who won the 2013 Turing Award for his work on distributed systems and LaTeX. He is a researcher at Microsoft Research Lab in Redmond, Washington, and has published extensively on systems and networking topics.
Concurrency: the works of leslie lamport, 171-178, 2019. 1058: 2019: On-the-fly garbage collection: An exercise in cooperation. EW Dijkstra, L Lamport, AJ Martin, CS Scholten, EFM Steffens. Communications of the ACM 21 (11), 966-975, 1978. 897: 1978: SIFT: Design and analysis of a fault-tolerant computer for aircraft control.
29 de abr. de 2024 · Leslie Lamport. Last modified 29 April 2024. This document is a sort of scientific autobiography. It not only lists the papers I have written, but also describes them and explains how I came to write some of them. I have included almost all my technical papers and electronic versions of many of them for downloading.
27 de mar. de 2014 · Lamport, de 73 años y que trabaja como investigador en el área de investigación de Microsoft, ha recibido el Premio AM Turing por sus desarrollos en sistemas de computación distribuida
