Výsledky vyhledávání - "Theory of computation → Shared memory algorithms"

Verifying Lock-Free Search Structure Templates (Artifact) Autor Patel, Nisarg, Shasha, Dennis, Wies, Thomas

“…We present and verify template algorithms for lock-free concurrent search structures that cover a broad range of existing implementations based on lists and…”
Získat plný text