Relaxing the Correctness Conditions on Concurrent Data Structures for Multicore CPUs. A Numerical Case Study.
Giuliano Laccetti, Marco Lapegna, Valeria Mele, Raffaele Montella
Browse the full PPAM paper archive.
Giuliano Laccetti, Marco Lapegna, Valeria Mele, Raffaele Montella
Browse the full PPAM paper archive.