403 search results - page 29 / 81 » Data Partitioning for Minimizing Transferred Data in MapRedu... |
125
click to vote
ICALP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper we investigate automated methods for externalizing internal memory data structures. We consider a class of balanced trees that we call weight-balanced parti...
155
click to vote
SOSP
2009
ACM
16 years 28 days ago
2009
ACM
This paper addresses the problem of scheduling concurrent jobs on clusters where application data is stored on the computing nodes. This setting, in which scheduling computations ...
104
click to vote
ENTCS
2002
15 years 3 months ago
2002
In this paper, we revisit the forward and backward approaches to the verification of extensions of infinite state Petri Nets. As contributions, we propose an efficient data struct...
173
click to vote
DFT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper describes a methodology of creating a built-in diagnostic system of a System on Chip and experimental results of the system application on the AT94K FPSLIC with cores d...
255
click to vote
POPL
2004
ACM
16 years 4 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...