Group Mutual Exclusion by Fetch-and-increment
- 期刊名称ACM Transactions on Parallel Computing
- 作者Aravind, Alex; Hesselink, Wim H.
- 卷第5卷
- 期第4期
- 印刷ISSN2329-4949
- 文件大小3949.65KB
- 发表时间2019-02-22
- DOI10.1145/3309202
- 页码1-29
Compiling to categoriesElliott, Conal · Proceedings of the ACM on Programming Languages · 2017
Faster coroutine pipelinesSpivey, Michael · Proceedings of the ACM on Programming Languages · 2017
Gradual session typesIgarashi, Atsushi; Thiemann, Peter; Vasconcelos, Vasco T.; Wadler, Philip · Proceedings of the ACM on Programming Languages · 2017
Editorial messageWadler, Philip · Proceedings of the ACM on Programming Languages · 2017
A verified messaging systemMansky, William; Appel, Andrew W.; Nogin, Aleksey · Proceedings of the ACM on Programming Languages · 2017
The tensor algebra compilerKjolstad, Fredrik; Kamil, Shoaib; Chou, Stephen; Lugato, David; Amarasinghe, Saman · Proceedings of the ACM on Programming Languages · 2017
Staged generic programmingYallop, Jeremy · Proceedings of the ACM on Programming Languages · 2017
Evaluating and improving semistructured mergeCavalcanti, Guilherme; Borba, Paulo; Accioly, Paola · Proceedings of the ACM on Programming Languages · 2017