3200 search results - page 137 / 640 » Scalable computing with parallel tasks |
FMCAD
2000
Springer
14 years 23 days ago
2000
Springer
Abstract. This paper presents a scalable method for parallel symbolic on-the-fly model checking in a distributed memory environment. Our method combines a scheme for on-the-fly mod...
ICDCS
2007
IEEE
14 years 3 months ago
2007
IEEE
This paper addresses the problem of selection and discovery of a consistent availability monitoring overlay for computer hosts in a large-scale distributed application, where host...
LCN
2002
IEEE
14 years 2 months ago
2002
IEEE
It has become increasingly popular to construct large parallel computers by connecting many inexpensive nodes built with commercial-off-the-shelf (COTS) parts. These clusters can ...
IPPS
1998
IEEE
14 years 1 months ago
1998
IEEE
In this paper we extend a previously introduced method for optimizing the arbitration policy employed by ServerNet routers and we evaluate the method's effect on scalability....
ICDCS
1999
IEEE
14 years 1 months ago
1999
IEEE
Swarm is a storage system that provides scalable, reliable, and cost-effective data storage. Swarm is based on storage servers, rather than file servers; the storage servers are o...