3584 search results - page 325 / 717 » Parallel Computing of Thermoelasticity Problems |
127
click to vote
CONCUR
2003
Springer
15 years 8 months ago
2003
Springer
We consider the problem of checking whether a finite (or ultimately periodic) run satisfies a temporal logic formula. This problem is at the heart of “runtime verification” ...
153
click to vote
IPPS
2010
IEEE
15 years 1 months ago
2010
IEEE
We study three scheduling problems (file redistribution, independent tasks scheduling and broadcasting) on large scale heterogeneous platforms under the Bounded Multi-port Model. I...
118
click to vote
HPDC
2000
IEEE
15 years 7 months ago
2000
IEEE
The first decades of the new millennium will witness an explosive growth in the number and diversity of networked devices and portals. We foresee high degrees of mobility, hetero...
145
Voted
DCOSS
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. We consider the problem of estimating the locations of mobile agents by fusing the measurements of displacements of the agents as well as relative position measurements b...
106
click to vote
ICDCS
2008
IEEE
15 years 9 months ago
2008
IEEE
Declustering techniques reduce query response times through parallel I/O by distributing data among multiple devices. Recently, replication based approaches were proposed to furth...