„concurrent objects“

Suchergebnisse

1.000+ Treffer

• Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
  Agha, Gul ; Yonezawa, Akinori ; Igarashi, Atsushi ; Kobayashi, Naoki ; Masuhara, Hidehiko ; Matsuoka, Satoshi ; Shibayama, Etsuya ; Taura, Kenjiro 2014 Springer Berlin Heidelberg
• Seamless Concurrent Programming of Objects, Aspects and Events
  Van Ham, Jurgen Michael ; Mezini, Mira ; De Meuter, Wolfgang 2015 Universitäts- und Landesbibliothek Darmstadt
• Programming with Actors – State-of-the-Art and Research Perspectives
  Ricci, Alessandro 2018 Springer International Publishing
• Hyperproperty-Preserving Register Specifications
  Ben Shimon, Yoav ; Lahav, Ori ; Shoham, Sharon 2024 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
• Intermediate Value Linearizability: A Quantitative Correctness Criterion
  Rinberg, Arik ; Keidar, Idit 2020 Schloss Dagstuhl – Leibniz-Zentrum für Informatik
• An Efficient Universal Construction for Large Objects
  Fatourou, Panagiota ; Kallimanis, Nikolaos D. ; Kanellou, Eleni 2020 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
• Mailbox Types for Unordered Interactions
  de'Liguoro, Ugo ; Padovani, Luca 2018 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
• Object-Oriented Technology
  Alagić, Suad 2015 Springer International Publishing
• Concurrent behavior: A construct to specify the external behavior of objects in object databases
  Francesco, Nicoletta De ; Vaglini, Gigliola
• Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language
  Rueda, Camilo ; Alvarez, Gloria ; Quesada, Luis O. ; Tamura, Gabriel ; Valencia, Frank ; Díaz, Juan Francisco ; Assayag, Gerard
• Pattern-Oriented Software Architecture, Volume 2, Patterns for Concurrent and Networked Objects
  Schmidt, Douglas C. ; Stal, Michael ; Rohnert, Hans ; Buschmann, Frank 2013 John Wiley & Sons
• Understanding Control Flow – Concurrent Programming Using μC++
  Buhr, Peter A. 2016 Springer International Publishing