„linearizability“

Suchergebnisse

74 Treffer

• Visibility and Separability for a Declarative Linearizability Proof of the Timestamped Stack
  Domínguez, Jesús ; Nanevski, Aleksandar 2023 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Ordered Reliable Broadcast and Fast Ordered Byzantine Consensus for Cryptocurrency
  Zarbafian, Pouriya ; Gramoli, Vincent 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Implementing SWMR Registers from SWSR Registers in Systems with Byzantine Failures
  Hu, Xing ; Toueg, Sam 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Polynomial-Time Verification and Testing of Implementations of the Snapshot Data Structure
  Amram, Gal ; Hayoun, Avi ; Mizrahi, Lior ; Weiss, Gera 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
• Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk)
  Rajsbaum, Sergio 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds
  Chatterjee, Bapi ; Peri, Sathya ; Sa, Muktikanta ; Manogna, Komma 2022 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Non-Blocking Dynamic Unbounded Graphs with Worst-Case Amortized Bounds
  Chatterjee, Bapi ; Peri, Sathya ; Sa, Muktikanta 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• VBR: Version Based Reclamation
  Sheffi, Gali ; Herlihy, Maurice ; Petrank, Erez 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Tame the Wild with Byzantine Linearizability: Reliable Broadcast, Snapshots, and Asset Transfer
  Cohen, Shir ; Keidar, Idit 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fully Read/Write Fence-Free Work-Stealing with Multiplicity
  Castañeda, Armando ; Piña, Miguel 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Fast Nonblocking Persistence for Concurrent Data Structures
  Cai, Wentao ; Wen, Haosen ; Maksimovski, Vladimir ; Du, Mingzhe ; Sanna, Rafaello ; Abdallah, Shreif ; Scott, Michael L. 2021 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Wait-Free CAS-Based Algorithms: The Burden of the Past
  Bédin, Denis ; Lépine, François ; Mostéfaoui, Achour ; Perez, Damien ; Perrin, Matthieu 2021 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
• Brief Announcement: Building Fast Recoverable Persistent Data Structures with Montage
  Wen, Haosen ; Cai, Wentao ; Du, Mingzhe ; Valpey, Benjamin ; Scott, Michael L. 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Intermediate Value Linearizability: A Quantitative Correctness Criterion
  Rinberg, Arik ; Keidar, Idit 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Toward Linearizability Testing for Multi-Word Persistent Synchronization Primitives
  Cepeda, Diego ; Chowdhury, Sakib ; Li, Nan ; Lopez, Raphael ; Wang, Xinzhe ; Golab, Wojciech 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Brief Announcement: Wait-Free Universality of Consensus in the Infinite Arrival Model
  Bonin, Grégoire ; Mostéfaoui, Achour ; Perrin, Matthieu 2019 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
• Concurrent Specifications Beyond Linearizability
  Goubault, Éric ; Ledent, Jérémy ; Mimram, Samuel 2019 Schloss Dagstuhl – Leibniz-Zentrum für Informatik