Sciweavers

56 search results - page 1 / 12
» Formal Verification of a Grid Resource Allocation Protocol
Sort
View
CCGRID
2008
IEEE
13 years 11 months ago
Formal Verification of a Grid Resource Allocation Protocol
As the adoption of grid technology moves from science to industry, new requirements arise. In todays grid middlewares, the notion of paying for a job is a secondary requirement. In...
Mathias Dalheimer, Franz-Josef Pfreundt, Peter Mer...
ITCC
2005
IEEE
14 years 2 months ago
Double Auction Protocols for Resource Allocation in Grids
In this paper we propose the double auction allocation model for grids, and three double auction protocols for resource allocation: Preston-McAfee Double Auction Protocol (PMDA), ...
Umesh Kant, Daniel Grosu
EUROPAR
2008
Springer
13 years 11 months ago
Auction Protocols for Resource Allocations in Ad-Hoc Grids
Abstract. Different auction-based approaches have been used to allocate resources in Grids, but none of them provide the design choice for a specific economic model while consideri...
Behnaz Pourebrahimi, Koen Bertels
IPPS
2005
IEEE
14 years 2 months ago
Combinatorial Auction-Based Protocols for Resource Allocation in Grids
In this paper, we introduce the combinatorial auction model for resource management in grids. We propose a combinatorial auction-based resource allocation protocol in which a user...
Anubhav Das, Daniel Grosu