共 50 条
- [1] Lock-free and Wait-free Slot Scheduling Algorithms IEEE 27TH INTERNATIONAL PARALLEL AND DISTRIBUTED PROCESSING SYMPOSIUM (IPDPS 2013), 2013, : 961 - 972
- [2] Are Lock-Free Concurrent Algorithms Practically Wait-Free? STOC'14: PROCEEDINGS OF THE 46TH ANNUAL 2014 ACM SYMPOSIUM ON THEORY OF COMPUTING, 2014, : 714 - 723
- [4] Brief Announcement: Are Lock-Free Concurrent Algorithms Practically Wait-Free? PROCEEDINGS OF THE 2014 ACM SYMPOSIUM ON PRINCIPLES OF DISTRIBUTED COMPUTING (PODC'14), 2014, : 50 - 52
- [6] RADIR: Lock-free and Wait-free Bandwidth Allocation Models for Solid State Drives 2014 21ST INTERNATIONAL CONFERENCE ON HIGH PERFORMANCE COMPUTING (HIPC), 2014,
- [8] Practical lock-free and wait-free LL/SC/VL implementations using 64-bit CAS DISTRIBUTED COMPUTING, PROCEEDINGS, 2004, 3274 : 144 - 158
- [9] Formal Verification of Lock-Free Algorithms NINTH INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, 2009, : 13 - 18