906 search results - page 70 / 182 » Linking Theories of Concurrency |
187
click to vote
OOPSLA
2010
Springer
15 years 4 months ago
2010
Springer
Atomic regions are an important concept in correct concurrent programming: since atomic regions can be viewed as having executed in a single step, atomicity greatly reduces the nu...
180
click to vote
HIPC
2009
Springer
15 years 4 months ago
2009
Springer
Software transactional memory (STM) is an emerging concurrency control mechanism for shared memory accesses. Early abort is one of the important techniques to improve the executio...
175
click to vote
CVPR
2010
IEEE
16 years 2 months ago
2010
IEEE
The widespread availability of digital cameras and ubiquitous Internet access have facilitated the creation of massive image collections. These collections can be highly interconn...
146
click to vote
HT
2004
ACM
15 years 11 months ago
2004
ACM
While much attention is paid to defining and examining interactions with links, little is paid to the front end: the anchor. We examine what an anchor is, describe six anchor prop...
155
click to vote
ISIPTA
2003
IEEE
15 years 11 months ago
2003
IEEE
We apply random set theory to an analysis of future climate change. Bounds on cumulative probability are used to quantify uncertainties in natural and socio-economic factors that ...