共 50 条
- [2] Dynamic verification of memory consistency in cache-coherent multithreaded computer architectures [J]. DSN 2006 INTERNATIONAL CONFERENCE ON DEPENDABLE SYSTEMS AND NETWORKS, PROCEEDINGS, 2006, : 73 - 82
- [3] Impact of switch design on the application performance of cache-coherent multiprocessors [J]. FIRST MERGED INTERNATIONAL PARALLEL PROCESSING SYMPOSIUM & SYMPOSIUM ON PARALLEL AND DISTRIBUTED PROCESSING, 1998, : 466 - 474
- [4] Scaling application performance on a cache-coherent multiprocessors [J]. PROCEEDINGS OF THE 26TH INTERNATIONAL SYMPOSIUM ON COMPUTER ARCHITECTURE, 1999, : 305 - 316
- [5] Modular Specification and Verification of a Cache-Coherent Interface [J]. PROCEEDINGS OF THE 2016 16TH CONFERENCE ON FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD 2016), 2016, : 109 - 116
- [6] Accelerating Wait-Free Algorithms: Pragmatic Solutions on Cache-Coherent Multicore Architectures [J]. IEEE ACCESS, 2019, 7 : 74653 - 74669
- [8] CCNoC: Cache-Coherent Network on Chip for Chip Multiprocessors [J]. Journal of Computer Science and Technology, 2010, 25 : 257 - 266
- [9] Cache-Coherent Accelerators for Persistent Memory Crash Consistency [J]. PROCEEDINGS OF THE 2022 14TH ACM WORKSHOP ON HOT TOPICS IN STORAGE AND FILE SYSTEMS, HOTSTORAGE 2022, 2022, : 37 - 44
- [10] A model of pipelined mutual exclusion on cache-coherent multiprocessors [J]. EURO-PAR 2003 PARALLEL PROCESSING, PROCEEDINGS, 2003, 2790 : 917 - 922