Yahoo Search Busca da Web

Resultado da Busca

  1. 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, February 7, 1941 (age 82), New York City, U.S.
    • Computer science
  2. Leslie Lamport is a computer scientist and a Turing Award winner. His home page provides his collected works, coordinates, and contact information.

  3. 23 de dez. 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.

  4. 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.

  5. 4033. 1981. How to make a multiprocessor computer that correctly executes multiprocess programs. Lamport. IEEE transactions on computers 100 (9), 690-691. , 1979. 3704. 1979. Reaching agreement in the presence of faults.

  6. 16 de jan. de 2022 · Specifying Systems. 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. Many different publishers participate, competition is ...

  7. 6 de jan. de 2023 · Leslie Lamport. Last modified 6 January 2023. 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.