440 search results - page 15 / 88 » Local reasoning for abstraction and sharing |
144
click to vote
ICPP
1997
IEEE
15 years 6 months ago
1997
IEEE
Abstract—This paper describes an algorithm for deriving data and computation partitions on scalable shared memory multiprocessors. The algorithm establishes affinity relationshi...
102
click to vote
DSOM
2006
Springer
15 years 5 months ago
2006
Springer
Abstract. With many organizations now employing multiple data centres around the world to share global traffic load, it is important to understand the effects of geographical distr...
203
click to vote
ETVC
2008
15 years 3 months ago
2008
s of the LIX Fall Colloquium 2008: Emerging Trends in Visual Computing Frank Nielsen Ecole Polytechnique, Palaiseau, France Sony CSL, Tokyo, Japan Abstract. We list the abstracts o...
ICML
2007
IEEE
16 years 2 months ago
2007
IEEE
We introduce a mixture of probabilistic canonical correlation analyzers model for analyzing local correlations, or more generally mutual statistical dependencies, in cooccurring d...
104
Voted
CAV
2010
Springer
15 years 5 months ago
2010
Springer
We describe a practical method for reasoning about realistic concurrent programs. Our method allows global two-state invariants that restrict update of shared state. We provide sim...