„concurrent object“

Suchergebnisse

81 Treffer

• Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk)
  Welch, Jennifer L. 2022 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
• Intermediate Value Linearizability: A Quantitative Correctness Criterion
  Rinberg, Arik ; Keidar, Idit 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Multi-objective concurrent isogeometric topology optimization of multiscale structures
  Liu, Jianli ; Fan, Hongshuo ; Nie, Tao ; Zhang, Haobo ; Yu, Jingui ; Wang, Shuting ; Xia, Zhaohui
• An Efficient Universal Construction for Large Objects
  Fatourou, Panagiota ; Kallimanis, Nikolaos D. ; Kanellou, Eleni 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
• Long-Lived Counters with Polylogarithmic Amortized Step Complexity
  Baig, Mirza Ahad ; Hendler, Danny ; Milani, Alessia ; Travers, Corentin 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
• Brief Announcement: On the Impossibility of Detecting Concurrency
  Goubault, Éric ; Ledent, Jérémy ; Mimram, Samuel 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Mailbox Types for Unordered Interactions
  de'Liguoro, Ugo ; Padovani, Luca 2018 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• ActiveMonitor: Asynchronous Monitor Framework for Scalability and Multi-Object Synchronization
  Hung, Wei-Lun ; Chauhan, Himanshu ; Garg, Vijay K. 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Wait-Free Concurrent Graph Objects with Dynamic Traversals
  Kallimanis, Nikolaos D. ; Kanellou, Eleni 2016 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)
  Bouajjani, Ahmed ; Emmi, Michael ; Enea, Constantin ; Hamza, Jad 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
  Dongol, Brijesh ; Derrick, John ; Groves, Lindsay ; Smith, Graeme 2015 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Towards Testing Concurrent Objects in CLP
  Albert, Elvira ; Arenas, Puri ; Gómez-Zamalloa, Miguel 2012 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• Nash Equilibria in Concurrent Games with Büchi Objectives
  Bouyer, Patricia ; Brenguier, Romain ; Markey, Nicolas ; Ummels, Michael 2011 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• A Hybrid Functional and Object-Oriented Language for a Multi-Core Future
  Veldema, Ronald ; Philippsen, Michael
• Concurrent object-oriented programming based on MPI
  Lu, Hong-wei D. ; Wang, Hou-xiang ; Pei, Xiao-li ; Xiao, Yong-ling