56 search results - page 2 / 12 » Formal Verification of a Grid Resource Allocation Protocol |
IJIT
2004
13 years 8 months ago
2004
We discuss the application of matching in the area of resource discovery and resource allocation in grid computing. We present a formal definition of matchmaking, overview algorith...
ESCIENCE
2005
IEEE
14 years 21 days ago
2005
IEEE
Clusters of workstations are one of the most suitable resources to assist e-scientists in the execution of largescale experiments that demand processing power. The utilization rat...
MASCOTS
2004
13 years 8 months ago
2004
Grid computing is the future computing paradigm for enterprise applications. An enterprise application running on a grid is composed of a set of SLA-constrained sub-tasks demandin...
SASO
2008
IEEE
14 years 1 months ago
2008
IEEE
An ad hoc grid is a spontaneous formation of cooperating heterogenous computing nodes which attempts to provide computing resources on demand to every participant. In this paper, ...
CCGRID
2006
IEEE
14 years 1 months ago
2006
IEEE
Since participants in a computational Grid may be independent bodies, some mechanisms are necessary for resolving their differences. The contribution of this work is designing a b...