Leslie Lamport - PDFSEARCH.IO - Document Search Engine

Leslie Lamport
Results: 304

#	Item
1	Checking Cache-Coherence Protocols with TLA+ Rajeev Joshi HP Labs, Systems Research Center, Palo Alto, CA. Leslie Lamport Microsoft Research, Mountain View, CA. Add to Reading List Source URL: rjoshi.org Language: English - Date: 2010-09-11 18:46:20 Computing Computer architecture Concurrent computing Formal methods Theoretical computer science Cache coherency Instruction set architectures Concurrency TLA+ Model checking Cache coherence Specification language
2	Distributed Snapshots: Determining Global States of Distributed Systems K. MANI CHANDY University of Texas at Austin and LESLIE LAMPORT Add to Reading List Source URL: lamport.azurewebsites.net Language: English - Date: 2002-05-21 20:47:59 Concurrent computing Distributed algorithms Concurrency Mathematics Computing Algorithm Mathematical logic Theoretical computer science Distributed computing Deadlock Chandy-Lamport algorithm Virtual synchrony
3	The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t Add to Reading List Source URL: www-inst.eecs.berkeley.edu Language: English - Date: 2012-08-29 01:19:44 Linguistics Language Four-square cipher Culture Word square
4	The Byzantine Generals Problem LESLIE LAMPORT, ROBERT SHOSTAK, and MARSHALL PEASE SRI International Reliable computer systems must handle malfunctioningcomponents that give conflicting information to different parts of t Add to Reading List Source URL: people.eecs.berkeley.edu Language: English - Date: 2003-04-23 21:18:26 Linguistics Language Four-square cipher Culture Word square
5	Standard Document Classes for LATEX version 2e∗ Copyright (Cby Leslie Lamport Copyright (Cby Frank Mittelbach Johannes BraamsThis file is maintained by the LATEX Project team. Add to Reading List Source URL: www.latex-project.org - Date: 2018-01-31 15:00:06
6	The LATEX 2ε Sources Johannes Braams David Carlisle Alan Jeffrey Leslie Lamport Frank Mittelbach Add to Reading List Source URL: www.latex-project.org - Date: 2018-01-31 15:00:06
7	The Future of Computing: Logic or Biology Text of a talk given at Christian Albrechts University, Kiel on 11 July 2003 Leslie Lamport 21 July 2003 Add to Reading List Source URL: research.microsoft.com - Date: 2003-07-21 12:32:42
8	TLA+2 A Preliminary Guide Leslie Lamport 15 January 2014 Contents Add to Reading List Source URL: research.microsoft.com - Date: 2014-01-15 14:29:12
9	Paxos Made Simple Leslie Lamport 01 Nov 2001 Abstract The Paxos algorithm, when presented in plain English, is very simple. Add to Reading List Source URL: nil.csail.mit.edu - Date: 2015-01-05 06:37:33
10	Blueprints Leslie Lamport Microsoft Research 25 SeptemberAbstract Add to Reading List Source URL: fm.csl.sri.com - Date: 2010-10-24 05:32:36