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.

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

   www.lamport.org

   • Im Cache

   Learn about Leslie Lamport, a pioneer of distributed systems and TLA+, who works at Microsoft Research. Find his contact information, publications, and TLA+ resources.

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

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

     360.5K Aufrufe

   • 

     23:58

     bilibili.com

     5th HLF – Lecture- Leslie Lamport

     29. Jan. 2024

     19 Aufrufe

   Alle anzeigen

8. lamport.azurewebsites.net › pubs › pubsThe Writings of Leslie Lamport

   lamport.azurewebsites.net › pubs › pubs

   • Im Cache

   29. Apr. 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.

9. amturing.acm.org › award_winners › lamport_1205376Leslie Lamport - A.M. Turing Award Laureate

   amturing.acm.org › award_winners › lamport_1205376

   • Im Cache

   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.