29 search results - page 4 / 6 » Randomized Wait-Free Concurrent Objects (Extended Abstract) |
FOSSACS
2005
Springer
14 years 3 days ago
2005
Springer
We study the concept of choice for true concurrency models such as prime event structures and safe Petri nets. We propose a dynamic variation of the notion of cluster previously in...
COLT
2007
Springer
14 years 23 days ago
2007
Springer
Abstract. We establish a generic theoretical tool to construct probabilistic bounds for algorithms where the output is a subset of objects from an initial pool of candidates (or mo...
CDC
2009
IEEE
13 years 11 months ago
2009
IEEE
Abstract— In this paper, we consider a discrete-time stochastic system, where sensor measurements are sent over a network to the controller. The design objective is a non-classic...
ACCV
2010
Springer
13 years 1 months ago
2010
Springer
Abstract. Robust foreground object segmentation via background modelling is a difficult problem in cluttered environments, where obtaining a clear view of the background to model i...
ASIAN
2006
Springer
13 years 10 months ago
2006
Springer
Abstract. We aim to provide information hiding support in concurrent object-oriented programming languages. We study the issue both at the object level and class level, in the cont...