Leslie Lamport. How to make a multiprocessor computer that correctly executes multip rocess programs. IEEE Trans. on Computers, C-28(9):690--691, September 1979. Home/Search Document Not in Database Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
How to Make a Correct Multiprocess Program Execute Correctly on a .. - Lamport (1996) (11 citations) Self-citation (Lamport) (Correct)
No context found.
Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C28 (9):690--691, September 1979.
SPMD Programming in Java - Susan Flynn Hummel (Correct)
No context found.
Leslie Lamport. How to make a multiprocessor computer that correctly executes multip rocess programs. IEEE Trans. on Computers, C-28(9):690--691, September 1979.
Heaps and Stacks in Distributed Shared Memory - Pizka Rehn Technische (Correct)
No context found.
Leslie Lamport. How to make a multiprocessor computer that correctly executes multi process programs. IEEE Transactons on Computers, 28(9):690--691, September 1979.
Allowing Atomic Objects to Coexist with - Sequentially Consistent Objects (2005) (Correct)
No context found.
Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
A Simple Protocol Offering Both Atomic Consistent Read.. - And Sequentially.. (2005) (Correct)
No context found.
Lamport L., How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C28(9):690-691, 1979.
Jupiter/SVM: A JVM-based Single System - Image For Clusters (Correct)
No context found.
L. Lamport, "How to make a multiprocessor computer that correctly executes multiprocessor programs, " IEEE Trans. on Computers, vol. 28, no. 9, pp. 690--691, 1979.
A Simulator for Concurrent Objects - Jeannette Wing And (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690, September 1979.
The Cost of Concurrent, Low-Contention Read-Modify-Write - Busch, Mavronicolas, Spirakis (Correct)
No context found.
L. Lamport, "How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs," IEEE Transactions on Computers, Vol. C-28, No. 9, pp. 690--691, September 1979.
Monotone Operations and Monotone Groups - Busch, Mavronicolas, Spirakis (Correct)
No context found.
L. Lamport, "How to Make a Multiprocessor Computer that Correctly Executes Multiprocess Programs," IEEE Transactions on Computers, Vol. C-28, No. 9, pp. 690--691, September 1979. 21
Optimizations and Oracle Parallelism with Dynamic.. - Ebcioglu, Altman.. (1999) (3 citations) (Correct)
No context found.
Leslie Lamport, How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs, IEEE Transactions on Computers, Vol. 28, No. 9, pp. 690-691, September 1979.
Emulation of a Virtual Shared Memory Architecture - Raina (1993) (3 citations) (Correct)
No context found.
L. Lamport. How to make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):241--248, September 1979.
A Scalable Logical Time Support for Lazy Release Consistency - Protocol Luciana Arantes (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocessor programs. IEEE Transactions on Computers, C-29(9):690-691, September 1979.
Arvind Krishnamurthy - Report No Ucb (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690--691, September 1979.
Distributed Algorithms and Educational Simulation/Visualisation.. - Koldehofe (2005) (Correct)
No context found.
Lamport, L. 1979. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers C-28, 9 (Sept.), 690--691.
A Distributed Architecture for Massively Multiplayer.. - GauthierDickey, Zappala, .. (2004) (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. C-28(9):690--691, September 1979.
A View-based Consistency Model based on Transparent Data.. - Huang, al. (2004) (Correct)
No context found.
L. Lamport: "How to make a multiprocessor computer that correctly executes multiprocess programs", IEEE Transactions on Computers, 28(9), pp.690-691, September 1979.
Basic Compiler Algorithms for Parallel Programs - Jaejin Lee And (1999) (16 citations) (Correct)
No context found.
Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C-28(9):690-691, September 1979.
Polynomial-time Algorithms for Enforcing Sequential - Consistency In Spmd (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE transactions on computers, 1976.
Java Consistency: Non-Operational Characterizations for.. - Gontmakher, Schuster (1997) (15 citations) (Correct)
No context found.
L. Lamport. How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):690--691, September 1979.
The UPC Memory Model: Problems and Prospects - Kuchera, Wallace (2004) (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Trans. on Computers, C-28(9):690--691, 1979.
Specifying Multithreaded Java Semantics for - Program Verification Abhik (Correct)
No context found.
Leslie Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9), 1979.
Decoupled Interconnection of Distributed Memory Models - Jiménez.. (2003) (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9):690-691, September 1979.
An Agenda for Robust Peer-to-Peer Storage - Rodrigo Rodrigues Massachusetts (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, C28 (9):690--691, 1979.
So Many States, So Little Time: Verifying Memory Coherence.. - Abts, Scott, Lilja (2003) (Correct)
No context found.
L. Lamport. How to make a multiprocessor computer that correctly executes multiprocess programs. IEEE Transactions on Computers, 28(9):690--691, 1979.
LOTS: A Software DSM Supporting Large Object Space - Cheung, Wang, Lau (2004) (Correct)
No context found.
L. Lamport. How to make a Multiprocessor Computer that Correctly Executes Multiprocess Programs. IEEE Transactions on Computers, C-28(9):690-691, September 1979.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC