4934 search results - page 439 / 987 » Implementing an API for Distributed Adaptive Computing Syste... |
153
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates a complexity-effective technique for verifying a highly distributed directory-based cache coherence protocol. We develop a novel approach called “witnes...
169
click to vote
CONCURRENCY
2007
15 years 6 months ago
2007
: We present the initial architecture and implementation of VLab, a Grid and Web Service-based system for enabling distributed and collaborative computational chemistry and materia...
142
click to vote
PODC
2004
ACM
15 years 11 months ago
2004
ACM
We describe a load-balancing mechanism for assigning elements to servers in a distributed data structure that supports range queries. The mechanism ensures both load-balancing wit...
173
click to vote
FOCS
2007
IEEE
16 years 19 days ago
2007
IEEE
We present a near-optimal reduction from approximately counting the cardinality of a discrete set to approximately sampling elements of the set. An important application of our wo...
184
click to vote
PERCOM
2011
ACM
14 years 10 months ago
2011
ACM
Abstract—Pervasive vehicle-mounted mobile devices are increasingly common, and can be viewed as a large-scale ad hoc network on which collaborative, location-based services can b...