143
click to vote
CLUSTER
2004
IEEE
15 years 9 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...
165
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
We investigate the computational complexity of reasoning about multi-agent systems using the cooperation logic ATL of Alur, Henzinger, and Kupferman. It is known that satisfiabili...
159
click to vote
ATAL
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. The generalized assignment problem (GAP) is a typical NP-hard problem and has been studied for many years mainly in the operations research community. The goal of the GAP...
139
click to vote
CLUSTER
2004
IEEE
15 years 9 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...
138
click to vote
CLUSTER
2004
IEEE
15 years 9 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...