Sciweavers

40 search results - page 4 / 8
» From bounded to unbounded concurrency objects and back
Sort
View
CLUSTER
2000
IEEE
14 years 1 months ago
A Concurrent Programming Environment with Support for Distributed Computations and Code Mobility
We propose a programming model for distributed concurrent systems with mobile objects in the context of a process calculus. Code mobility is induced by lexical scoping on names. O...
Luís M. B. Lopes, Álvaro Reis Figuei...
CVPR
2009
IEEE
3784views Computer Vision» more  CVPR 2009»
15 years 3 months ago
What is the Spatial Extent of an Object?
This paper discusses the question: Can we improve the recognition of objects by using their spatial context? We start from Bag-of-Words models and use the Pascal 2007 dataset. We u...
Arnold W. M. Smeulders, Jasper R. R. Uijlings, Rem...
PEPM
1998
ACM
14 years 24 days ago
Inherited Limits
We show the evolution of partial evaluators over the past ten years from a particular perspective: the attempt to remove limits on the structure of residual programs that are inher...
Torben Æ. Mogensen
PODC
2009
ACM
14 years 9 months ago
Max registers, counters, and monotone circuits
A method is given for constructing a max register, a linearizable, wait-free concurrent data structure that supports a write operation and a read operation that returns the larges...
James Aspnes, Hagit Attiya, Keren Censor
CORR
2008
Springer
122views Education» more  CORR 2008»
13 years 8 months ago
Strategy Improvement for Concurrent Safety Games
We consider concurrent games played on graphs. At every round of the game, each player simultaneously and independently selects a move; the moves jointly determine the transition ...
Krishnendu Chatterjee, Luca de Alfaro, Thomas A. H...