Relaxing the Correctness Conditions on Concurrent Data Structures for Multicore CPUs. A Numerical Case Study
1985 ◽
Vol C-34
(12)
◽
pp. 1178-1185
◽
2020 ◽
Vol 30
(09)
◽
pp. 1263-1288
Keyword(s):