„Strong linearizability“

Suchergebnisse

6 Treffer

• Strong Linearizability Without Compare&Swap: The Case of Bags
  Ellen, Faith ; Sela, Gal 2025 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Hyperproperty-Preserving Register Specifications
  Ben Shimon, Yoav ; Lahav, Ori ; Shoham, Sharon 2024 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Strongly Linearizable Linked List and Queue
  Hwang, Steven Munsu ; Woelfel, Philipp 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk)
  Welch, Jennifer L. 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers
  Attiya, Hagit ; Enea, Constantin ; Welch, Jennifer L. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects
  Attiya, Hagit ; Enea, Constantin 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik