„Asynchronous shared-memory systems“

Suchergebnisse

9 Treffer

• Model checking parameterized asynchronous shared-memory systems
  Durand-Gasselin, Antoine ; Esparza, Javier ; Ganty, Pierre ; Majumdar, Rupak
• Optimal Register Construction in M&M Systems
  Hadzilacos, Vassos ; Hu, Xing ; Toueg, Sam 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• On Deterministic Linearizable Set Agreement Objects
  de Azevedo Piovezan, Felipe ; Hadzilacos, Vassos ; Toueg, Sam 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• The Synchronization Power of Atomic Bitwise Operations
  Imbs, Damien 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Safety of Parametrized Asynchronous Shared-Memory Systems is Almost Always Decidable
  La Torre, Salvatore ; Muscholl, Anca ; Walukiewicz, Igor 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Asynchronous Protocol for Release Consistent Distributed Shared Memory Systems
  Yeo, Jaeheung ; Yeom, Heon Y. ; Park, Taesoon
• Magas: matrix-based asynchronous graph analytics on shared memory systems
  Luo, Le ; Liu, Yi ; Yang, Hailong ; Qian, Depei
• An asynchronous protocol for virtual factory simulation on shared memory multiprocessor systems
  Gan, B-P ; Turner, S J.
• A Shared Memory Module for Asynchronous Arrays of Processors
  Meeuwsen, Michael J. ; Yu, Zhiyi ; Baas, Bevan M.