4385 search results - page 134 / 877 » Abstraction for Concurrent Objects |
FOIS
2006
15 years 17 days ago
2006
Abstract. Some events recur, and some happen only once. Galton refers to the latter as "once-only" events [1]. In a first-order logic of events that makes a type-token di...
HPDC
1998
IEEE
15 years 3 months ago
1998
IEEE
Abstract Metacomputing is the seamless application of geographically-separated distributed computing resources to user applications. We consider the scheduling of metaapplications;...
ICCV
2005
IEEE
16 years 1 months ago
2005
IEEE
Object detection and segmentation can be facilitated by the availability of a reference object. However, accounting for possible transformations between the different object views...
CONCUR
2012
Springer
13 years 1 months ago
2012
Springer
Abstract. Linearizability is a commonly accepted notion of correctness for libraries of concurrent algorithms. Unfortunately, it assumes a complete isolation between a library and ...
119
click to vote
IDA
2000
Springer
14 years 11 months ago
2000
Springer
Regularities exist in datasets describing spatially distributed physical phenomena. Human experts often understand alize the regularities as abstract spatial objects evolving coher...