13 search results - page 2 / 3 » The Essence of Data Access in Comega |
POPL
2004
ACM
14 years 5 months ago
2004
ACM
We investigate proof rules for information hiding, using the recent formalism of separation logic. In essence, we use the separating conjunction to partition the internal resource...
PARA
2004
Springer
13 years 10 months ago
2004
Springer
Abstract. This paper investigates two types of overhead due to duplicated local computations, which are frequently encountered in the parallel software of overlapping domain decomp...
KBSE
2003
IEEE
13 years 10 months ago
2003
IEEE
When performing a program evolution task, developers typically spend a significant amount of effort investigating and re-investigating source code. To reduce this effort, we prop...
VLDB
2004
ACM
13 years 10 months ago
2004
ACM
At a fundamental level, the key challenge in data integration is to reconcile the semantics of disparate data sets, each expressed with a different database structure. I argue th...
ICDCS
2010
IEEE
13 years 9 months ago
2010
IEEE
— As network infrastructures with 10 Gb/s bandwidth and beyond have become pervasive and as cost advantages of large commodity-machine clusters continue to increase, research and...