4586 search results - page 494 / 918 » Computing stable models in parallel |
185
click to vote
ICPP
2006
IEEE
16 years 24 days ago
2006
IEEE
Recently, Bloom filters have been widely used in distributed systems where they are replicated to process distributed queries. Bloom filter replicas become stale in a dynamic en...
155
click to vote
IPPS
2006
IEEE
16 years 24 days ago
2006
IEEE
In this paper we discuss the role of a broker in a market-oriented resource allocation model for largescale heterogeneous systems. The simplified model is based upon a three part...
166
click to vote
ICDCS
2005
IEEE
16 years 11 days ago
2005
IEEE
TLS has been formally analyzed with the OTS/CafeOBJ method. In the method, distributed systems are modeled as transition systems, which are written in terms of equations, and it i...
161
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
The problem of scheduling independent tasks on heterogeneous trees is considered. The nodes of the tree may have different processing times, and links different communication time...
155
click to vote
IPPS
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper presents the design and implementation of a thread virtual machine, called TNT (or TiNy-Threads) for the IBM Cyclops64 architecture (the latest Cyclops architecture tha...