Search Results - "Theory of computation → Shared memory algorithm"

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Cover Image

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

    ISSN: 2509-8195
    Published: Schloss Dagstuhl – Leibniz-Zentrum für Informatik 12.09.2024
    “…We present and verify template algorithms for lock-free concurrent search structures that cover a broad range of existing implementations based on lists and…”
    Get full text
    Data Set
    Save to List
    Saved in:

Search Tools: