31686 search results - page 106 / 6338 » Resource typing in Guru |
162
click to vote
ACTA
2002
15 years 5 months ago
2002
Object type constructors have been introduced as an approach to adding container object types to a language with type inference. Useful subtyping for object type constructors requ...
178
click to vote
SEMCO
2009
IEEE
16 years 12 days ago
2009
IEEE
Software development and maintenance are highly distributed processes that involve a multitude of supporting tools and resources. Knowledge relevant to these resources is typicall...
156
click to vote
GRID
2007
Springer
15 years 12 months ago
2007
Springer
— In order for Grids to become relied upon for critical infrastructure and reliable scientific computing, Grid-wide management must be automated so that it is possible in quickly...
140
click to vote
ESCIENCE
2006
IEEE
15 years 11 months ago
2006
IEEE
Many areas of science currently use computing resources as a important part of their research, and many research groups adopt cluster architecture to use them efficiently and mana...
163
click to vote
HASKELL
2006
ACM
15 years 11 months ago
2006
ACM
Correct handling of concurrently accessed external resources is a demanding problem in programming. The standard approaches rely on database transactions or concurrency mechanisms...