共 50 条
- [1] Practical constructive schemes for deterministic shared-memory access Theory of Computing Systems, 1997, 30 : 3 - 37
- [3] Semantics of deterministic shared-memory systems CONCUR 2008 - CONCURRENCY THEORY, PROCEEDINGS, 2008, 5201 : 36 - 51
- [6] Modeling Shared-Memory Metaheuristic Schemes for Electricity Consumption DISTRIBUTED COMPUTING AND ARTIFICIAL INTELLIGENCE, 2012, 151 : 33 - +
- [8] Practical Abstractions for Automated Verification of Shared-Memory Concurrency VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2020, 2020, 11990 : 401 - 425
- [10] Analysis of failure recovery schemes for distributed shared-memory systems IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 1999, 146 (03): : 125 - 130