31686 search results - page 23 / 6338 » Resource typing in Guru |
72
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
102
click to vote
GECCO
2005
Springer
15 years 6 months ago
2005
Springer
This paper evaluates a parallel genetic algorithm (GA) on the line topology of heterogeneous computing resources. Evolution process of parallel GAs is investigated on two types of...
110
Voted
POLICY
2004
Springer
15 years 5 months ago
2004
Springer
We develop a framework for specifying and reasoning about policies for sharing resources in coalitions, focussing here on a particular, common type of contract in which coalition ...
101
Voted
HPDC
2003
IEEE
15 years 5 months ago
2003
IEEE
As Data and Computational Grids grow in size and complexity, the crucial task of identifying, monitoring and utilizing available resources in an efficient manner is becoming incr...
ICPPW
2003
IEEE
15 years 5 months ago
2003
IEEE
The resource allocation problem is a fundamental problem in distributed systems. In this paper, we focus on constructing nondominated (ND) local coteries to solve the problem. Dis...