Risultati di ricerca
Leslie Lamport è un matematico e informatico statunitense. È noto per essere stato pioniere degli studi scientifici nell'ambito del calcolo distribuito, per i quali ha ricevuto il premio Turing 2013, nonché ideatore di LaTeX, un'estensione del software tipografico TeX.
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.
37° 24' 14" North. 122° 2' 6" West. address: Microsoft Corporation. 1020 Enterprise Way. Sunnyvale, CA 94089. U.S.A. email: I am happy to receive email from people, but not from spammers.
1 mar 2024 · TLA+ is a high-level language for modeling programs and systems--especially concurrent and distributed ones. It's based on the idea that the best way to describe things precisely is with simple mathematics. TLA+ and its tools are useful for eliminating fundamental design errors, which are hard to find and expensive to correct in code.
29 apr 2024 · The Writings of Leslie Lamport. My Writings. 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.
23 dic 2022 · Leslie B. Lamport is an American computer scientist. Lamport is best known for his seminal work in distributed systems and as the initial developer of the document preparation system LaTeX.
4054. 1981. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691. , 1979. 3720. 1979. Reaching agreement in the presence of faults.
