CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
We introduce a generic family of behavioral relations for which the problem of comparing an arbitrary transition system to some finite-state specification can be reduced to a model...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. We unify a view on three extensions of Process Rewrite Systems (PRS) and compare their expressive power with that of PRS. We show that the class of Petri nets is less exp...
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
CONCUR
2004
Springer
13 years 11 months ago
2004
Springer
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
An efficient and distributed scheme for file mapping or file lookup scheme is critical in decentralizing metadata management within a group of metadata servers. This paper present...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
As high performance clusters continue to grow in size, the mean time between failure shrinks. Thus, the issues of fault tolerance and reliability are becoming one of the challengi...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
The combination of Grid technology and web services has produced an attractive platform for deploying distributed applications: Grid services, as represented by the Open Grid Serv...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
All-to-all broadcast is one of the common collective operations that involve dense communication between all processes in a parallel program. Previously, programmable Network Inte...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
Cluster computing environments built from commodity hardware have provided a cost-effective solution for many scientific and high-performance applications. Likewise, middleware te...
CLUSTER
2004
IEEE
13 years 11 months ago
2004
IEEE
Many of the modern networks used to interconnect nodes in cluster-based computing systems provide network interface cards (NICs) that offer programmable processors. Substantial re...