共 9 条
- [1] Automatic Verification of Directory-Based Consistency Protocols [J]. REACHABILITY PROBLEMS, PROCEEDINGS, 2009, 5797 : 36 - +
- [3] An improved centralized directory-based P2P network model [J]. 2011 CHINESE CONTROL AND DECISION CONFERENCE, VOLS 1-6, 2011, : 3522 - 3527
- [4] A fault-tolerant directory-based cache coherence protocol for CMP architectures [J]. 2008 IEEE INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS & NETWORKS WITH FTCS & DCC, 2008, : 267 - +
- [5] Brief Announcement: Quasi-Linearizability: Relaxed Consistency for Improved Concurrency [J]. DISTRIBUTED COMPUTING, 2010, 6343 : 127 - 129
- [6] DIRECTORY-BASED CACHE COHERENCE PROTOCOL FOR POWER-AWARE CHIP-MULTIPROCESSORS [J]. 2011 24TH CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2011, : 1036 - 1039
- [7] Brief announcement: An adaptive randomised searching protocol in peer-to-peer systems based on probabilistic weak quorum system [J]. STABILIZATION, SAFETY, AND SECURITY OF DISTRIBUTED SYSTEMS, PROCEEDINGS, 2006, 4280 : 586 - +