A correctness condition for high-performance multiprocessors (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
On reasoning with the global time assumption
ACM Letters on Programming Languages and Systems (LOPLAS)
Implementing hybrid consistency with high-level synchronization operations
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
The power of processor consistency
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Maya: a simulation platform for distributed shared memories
PADS '94 Proceedings of the eighth workshop on Parallel and distributed simulation
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Mixed consistency: a model for parallel programming (extended abstract)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
A comprehensive bibliography of distributed shared memory
ACM SIGOPS Operating Systems Review
A combined-consistency approach: sequential amp; causal-consistency
ACM SIGOPS Operating Systems Review
Timed consistency for shared distributed objects
Proceedings of the eighteenth annual ACM symposium on Principles of distributed computing
On the consistency problem in mobile distributed computing
Proceedings of the second ACM international workshop on Principles of mobile computing
RT-Objects Based on Temporal Causal Consistency: A New Approach for Fieldbus Systems
ECOOP '97 Proceedings of the Workshops on Object-Oriented Technology
View consistencies and exact implementations
Parallel Computing
Applications of Probabilistic Quorums to Iterative Algorithms
ICDCS '01 Proceedings of the The 21st International Conference on Distributed Computing Systems
A unified theory of shared memory consistency
Journal of the ACM (JACM)
Consistency models for distributed interactive multimedia applications
ACM SIGOPS Operating Systems Review
Synchronous, asynchronous, and causally ordered communication
Distributed Computing
Implementing hybrid consistency with high-level synchronization operations
Distributed Computing
Randomized registers and iterative algorithms
Distributed Computing
Globally synchronized dead-reckoning with local lag for continuous distributed multiplayer games
NetGames '06 Proceedings of 5th ACM SIGCOMM workshop on Network and system support for games
Implementing causal logging using OrbixWeb interception
COOTS'99 Proceedings of the 5th conference on USENIX Conference on Object-Oriented Technologies & Systems - Volume 5
Survey of state melding in virtual worlds
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |