Yahoo Search Busca da Web

Entrar

Resultado da Busca

  1. zh.wikipedia.org › wiki › 莱斯利·兰波特莱斯利·兰波特 - 维基百科，自由的百科全书

    莱斯利·兰波特 （英語： Leslie Lamport ，1941年2月7日 — ），美国计算机科学家。. 也是排版系統 LaTeX 的開發者。. Lamport在计算机科学领域，特别是分布式系统，领域有着深远的影响，也奠定的此领域的基础。. 他最著名的贡献是在分布式系统中的逻辑时钟和事件 ...

  2. www.microsoft.com › en-us › researchLeslie Lamport Receives Turing Award - Microsoft Research

    18 de mar. de 2014 · Leslie Lamport first began dabbling in computers while he was still in high school. Nothing too unusual about that—until you consider that this was in the mid-1950s. Lamport was attending the Bronx High School of Science in New York, and he and a friend used to scrounge around, looking for discarded vacuum tubes to build […]

  3. zh.wikipedia.org › zh-hans › 莱斯利·兰波特莱斯利·兰波特 - 维基百科，自由的百科全书

    莱斯利·兰波特. 莱斯利·兰波特 （英语： Leslie Lamport ，1941年2月7日 — ），美国计算机科学家。. 也是排版系统 LaTeX 的开发者。. Lamport在计算机科学领域，特别是分布式系统，领域有着深远的影响，也奠定的此领域的基础。. 他最著名的贡献是在分布式系统中的 ...

  4. lamport.azurewebsites.net › tla › papersMy TLA Papers - Leslie Lamport's Home Page

    30 de nov. de 2018 · This page lists approximately every paper I've published or perhaps should have published about TLA and TLA+. Newer papers are in reverse chronological order and have links to my publication page . Older papers are in chronological order with an index and self-contained descriptions. The boundary between older and newer is the turn of the ...

  5. www.britannica.com › biography › Leslie-LamportLeslie Lamport | Turing Award, Biography, & Facts | Britannica

    9 de mai. de 2017 · Leslie Lamport, American computer scientist who received the 2013 Turing Award for his work explaining and formulating the behavior of distributed computing systems (i.e., systems made up of multiple autonomous computers that communicate by exchanging messages with one another).

  6. lamport.azurewebsites.net › tla › newsNews

    1 de mar. de 2024 · The preliminary draft of A Science of Concurrent Programs by Leslie Lamport has been extensively revised. It is now the current version, available here. Draft of New TLA Book [2 January 2024] A preliminary draft of a new book tentatively titled A Science of Concurrent Programs by Leslie Lamport is available here.

  7. zh.wikipedia.org › zh-tw › 莱斯利·兰波特萊斯利·蘭波特 - 維基百科，自由的百科全書

    萊斯利·蘭波特 （英語： Leslie Lamport ，1941年2月7日 — ），美國計算機科學家。. 也是排版系統 LaTeX 的開發者。. Lamport在計算機科學領域，特別是分布式系統，領域有著深遠的影響，也奠定的此領域的基礎。. 他最著名的貢獻是在分布式系統中的邏輯時鐘和事件 ...