„concurrent objects“
Suchergebnisse
1.000+ Treffer
-
Concurrent Objects and Beyond – Papers dedicated to Akinori Yonezawa on the Occasion of His 65th Birthday
-
Seamless Concurrent Programming of Objects, Aspects and Events
-
Programming with Actors – State-of-the-Art and Research Perspectives
-
Hyperproperty-Preserving Register Specifications
-
Using Linearizable Objects in Randomized Concurrent Programs (Invited Talk)
-
Impossibility of Strongly-Linearizable Message-Passing Objects via Simulation by Single-Writer Registers
-
Intermediate Value Linearizability: A Quantitative Correctness Criterion
-
An Efficient Universal Construction for Large Objects
-
Long-Lived Counters with Polylogarithmic Amortized Step Complexity
-
Putting Strong Linearizability in Context: Preserving Hyperproperties in Programs That Use Concurrent Objects
-
Mailbox Types for Unordered Interactions
-
Wait-Free Concurrent Graph Objects with Dynamic Traversals
-
Checking Correctness of Concurrent Objects: Tractable Reductions to Reachability (Invited Talk)
-
Defining Correctness Conditions for Concurrent Objects in Multicore Architectures
-
Towards Testing Concurrent Objects in CLP
-
Object-Oriented Technology
-
Concurrent behavior: A construct to specify the external behavior of objects in object databases
-
Integrating Constraints and Concurrent Objects in Musical Applications: A Calculus and its Visual Language
-
Pattern-Oriented Software Architecture, Volume 2, Patterns for Concurrent and Networked Objects
-
Understanding Control Flow – Concurrent Programming Using μC++