Resultado da Busca
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 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 B. Lamport (7 de fevereiro de 1941) é um cientista da computação estadunidense. Lamport formou-se em matemática pelo Massachusetts Institute of Technology em 1960, com mestrado e doutorado em matemática pela Universidade Brandeis, concluídos respectivamente em 1963 e 1972.
23 de dez. de 2022 · 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.
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.
4049. 1981. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691. , 1979. 3712. 1979. Reaching agreement in the presence of faults.
Learn about the life and work of Leslie Lamport, a pioneer of distributed and concurrent systems, who invented concepts such as causality, logical clocks, and Byzantine agreement. Explore his influential papers, algorithms, and parables, such as the Bakery Algorithm.
