Search results
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.. Lamport was the winner of the 2013 Turing Award for imposing clear, well-defined coherence on the seemingly chaotic behavior of ...
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]
Leslie Lamport is a computer scientist and a Turing Award winner. His home page provides his collected works, coordinates, and contact information.
2 de mar. de 2024 · TLA+ is a high-level language for modeling programs and systems, especially concurrent and distributed ones. It's based on simple mathematics and created by Leslie Lamport, a Turing Award winner and a pioneer of distributed computing.
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.
23 de dic. de 2022 · Leslie Lamport is an American computer scientist who won the 2013 Turing Award for his work in distributed systems and LaTeX. He developed algorithms and protocols for improving the quality of real distributed systems, such as correctness, performance, and reliability.
16 de ene. de 2022 · Leslie Lamport. Last modified on 16 January 2022: This book won an award for its cover design at the New England Book Show. A production editor at Addison-Wesley wrote: For those of you who are unfamiliar with the Book Show, I think of it as the Emmys of book production.
