共 50 条
- [31] Is It Time To Rethink Distributed Shared Memory Systems? 2011 IEEE 17TH INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED SYSTEMS (ICPADS), 2011, : 212 - 219
- [32] Fault recovery for distributed shared memory systems 1997 IEEE AEROSPACE CONFERENCE PROCEEDINGS, VOL 2, 1997, : 525 - 540
- [33] Reducing overheads in distributed shared memory systems THIRTIETH HAWAII INTERNATIONAL CONFERENCE ON SYSTEM SCIENCES, VOL 1: SOFTWARE TECHNOLOGY AND ARCHITECTURE, 1997, : 244 - 252
- [34] PANEL - PARALLEL AND DISTRIBUTED COMPUTING DISTRIBUTED MEMORY OR SHARED MEMORY-SYSTEMS IFIP TRANSACTIONS A-COMPUTER SCIENCE AND TECHNOLOGY, 1992, 12 : 543 - 544
- [35] Simulating shared memory primitives in asynchronous message passing systems Comput Syst Sci Eng, 2 (75-83):
- [38] Model Checking Parameterized Asynchronous Shared-Memory Systems COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 67 - 84
- [39] Model checking parameterized asynchronous shared-memory systems Formal Methods in System Design, 2017, 50 : 140 - 167
- [40] The boundary-restricted coherence protocol for scalable and highly available distributed shared memory systems COMPUTER JOURNAL, 1996, 39 (06): : 496 - 510