Resultado da Busca
Há 5 dias · Leslie Lamport. 2019. A new solution of Dijkstra’s concurrent programming problem. In Concurrency: the works of leslie lamport. 171–178. Google Scholar; Hyokeun Lee, Kwanseok Choi, Hvuk-Jae Lee, and Jaewoong Sim. 2023. SDM: Sharing-Enabled Disaggregated Memory System with Cache Coherent Compute Express Link.
Há 3 dias · Mack W Alford, Jean-Pierre Ansart, Günter Hommel, Leslie Lamport, Barbara Liskov, Geoff P Mullery, and Fred B Schneider. 1985. Distributed systems: methods and tools for specification. An advanced course.
Há 2 dias · [8] Lamport Leslie et al. Paxos made simple. ACM Sigact News, 32(4):18–25, 2001. [9] Aishwarya Ganesan, Ramnatthan Alagappan, Andrea C Arpaci-Dusseau, and Remzi H Arpaci-Dusseau. Exploiting nil-externality for fast replicated storage. In Proceedings of the ACM SIGOPS 28th Symposium on Operating Systems Principles, pages 440–456, 2021.
Há 3 dias · To my astonishment, not one but five Turing Award winners kindly offered to speak: Dr. Leslie Lamport, Dr. Edward Feigenbaum, Jeffrey D. Ullman, Dr. Barbara Liskov, and Dr. Jack Dongarra. We even have our sessions recorded on our website, www.turing.rsvp, for anyone who wishes to watch – it’s free to the community.
Leslie Lamport (the creator) has videos online and I love them, because they’re both educational and hilariously stilted in delivery. I’ve not yet convinced an employer of the worth of using it in practice.
Há 22 horas · Time and State in Distributed Systems Time, Clocks, and the Ordering of Events in a Distributed System. Leslie Lamport, Commn. of the ACM, 1978. Distributed Snapshots: Determining Global States of a Distributed System. K. Mani Chandy Leslie Lamport, ACM Transactions on Computer Systems, 1985. Virtual Time and Global States of Distributed Systems.
Há 4 dias · LaTeX, créé par Leslie Ramport en 1985, simplifie TeX en intégrant des macros. Les documents structurés que LaTeX produit sont de type WYSIWYM (What You See Is What You Mean = ce que vous voyez est ce que vous voulez dire), contrairement à Microsoft Word, qui est un logiciel de traitement de texte WYSIWYG (What You See Is What ...
