31686 search results - page 112 / 6338 » Resource typing in Guru |
TLDI
2010
ACM
14 years 6 months ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
PLDI
1989
ACM
14 years 1 months ago
1989
ACM
We present the rst type reconstruction system which combines the implicit typing of ML with the full power of the explicitly typed second-order polymorphic lambda calculus. The sy...
ICDCS
2009
IEEE
14 years 6 months ago
2009
IEEE
Many large-scale utility computing infrastructures comprise heterogeneous hardware and software resources. This raises the need for scalable resource selection services, which ide...
CISIS
2008
IEEE
14 years 3 months ago
2008
IEEE
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...
ATAL
2007
Springer
14 years 3 months ago
2007
Springer
Distributed applications require distributed techniques for efficient resource allocation. These techniques need to take into account the heterogeneity and potential unreliability...