4385 search results - page 18 / 877 » Abstraction for Concurrent Objects |
PODC
2011
ACM
13 years 1 months ago
2011
ACM
We consider the power of objects in the unbounded concurrency shared memory model, where there is an infinite set of processes and the number of processes active concurrently may...
ECCV
2008
Springer
15 years 23 days ago
2008
Springer
Abstract. This paper presents a novel framework for detecting abnormal pedestrian and vehicle behaviour by modelling cross-correlation among different co-occurring objects both loc...
CJ
2010
13 years 8 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
ECOOPW
1997
Springer
14 years 3 months ago
1997
Springer
VMCAI
2009
Springer
14 years 5 months ago
2009
Springer
lue Abstraction for Verifying Linearizability Viktor Vafeiadis Microsoft Research, Cambridge, UK This paper presents a novel abstraction for heap-allocated data structures that kee...