Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
44 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Concurrent Linearizable Nearest Neighbour Search in LockFree-kD-tree;Proceedings of the 19th International Conference on Distributed Computing and Networking;2018-01-04
2. Reprogramming Direct Simulation Monte Carlo Solver with Partitioned Global Address Space Model;Journal of Thermophysics and Heat Transfer;2017-07
3. Atomic Consistency (Linearizability);Distributed Algorithms for Message-Passing Systems;2013
4. A formal hierarchy of weak memory models;Formal Methods in System Design;2012-06-27
5. Fences in Weak Memory Models;Computer Aided Verification;2010