Yahoo Suche Web Suche

Suchergebnisse

1. Suchergebnisse:

1. de.wikipedia.org › wiki › Leslie_LamportLeslie Lamport – Wikipedia

   de.wikipedia.org › wiki › Leslie_Lamport

   • Im Cache

   Leslie Lamport (* 7. Februar 1941 in New York) [1] ist ein US-amerikanischer Mathematiker, Informatiker und Programmierer. 2013 erhielt er den Turing Award für seine Beiträge zur Theorie und Praxis verteilter und nebenläufiger Systeme. Inhaltsverzeichnis. 1 Leben. 2 Werk. 3 Schriften. 4 Auszeichnungen. 5 Weblinks. 6 Einzelnachweise. Leben.

2. Bilder

   • 
   • 
   • 
   • 
   • 
   • 

   Alle anzeigen

3. en.wikipedia.org › wiki › Leslie_LamportLeslie Lamport - Wikipedia

   en.wikipedia.org › wiki › Leslie_Lamport

   • Im Cache

   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.

   • Geboren: Leslie B. Lamport, February 7, 1941 (age 82), New York City, U.S.
   • Fields: Computer science

   • Doctoral advisor: Richard Palais

4. www.lamport.orgLeslie Lamport's Home Page

   www.lamport.org

   • Im Cache

   My Coordinates 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.

5. Videos

   • 39:54

     youtube.com

     Leslie Lamport - in partnership with ACM Bytecast

     9. Jan. 2024

     55 Aufrufe

   • 59:50

     youtube.com

     Leslie Lamport: Thinking Above the Code

     15. Juli 2014

     359.4K Aufrufe

   • 23:58

     bilibili.com

     5th HLF – Lecture- Leslie Lamport

     29. Jan. 2024

     19 Aufrufe

   Alle anzeigen

6. www.microsoft.com › en-us › researchLeslie Lamport at Microsoft Research

   www.microsoft.com › en-us › research

   • Im Cache

   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.

7. lamport.azurewebsites.net › tla › tlaThe TLA+ Home Page - Leslie Lamport's Home Page

   lamport.azurewebsites.net › tla › tla

   • Im Cache

   2. März 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.

8. lamport.azurewebsites.net › tla › bookSpecifying Systems - Leslie Lamport's Home Page

   lamport.azurewebsites.net › tla › book

   • Im Cache

   16. Jan. 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 ...

9. scholar.google.com › citations‪Leslie Lamport‬ - ‪Google Scholar‬

   scholar.google.com › citations

   • Im Cache

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