14558 search results - page 126 / 2912 » Resources |
TGC
2010
Springer
13 years 7 months ago
2010
Springer
Recent work in resource analysis has translated the idea of amortised resource analysis to imperative languages using a program logic that allows mixing of assertions about heap sh...
SIGMETRICS
2011
ACM
13 years 4 days ago
2011
ACM
The workloads in modern Chip-multiprocessors (CMP) are becoming increasingly diversified, creating different resource demands on hardware substrate. It is necessary to allocate h...
CCGRID
2005
IEEE
14 years 3 months ago
2005
IEEE
In order to allow every user to extract aggregated computational power from idle PCs in the Internet, we propose a distributed architecture to achieve a market based resource shar...
ICSE
2012
IEEE-ACM
11 years 11 months ago
2012
IEEE-ACM
—Large frameworks and libraries require extensive developer learning resources, such as documentation and mailing lists, to be useful. Maintaining these learning resources is cha...
WWW
2008
ACM
14 years 10 months ago
2008
ACM
Nowadays the Web represents a growing collection of an enormous amount of contents where the need for better ways to find and organize the available data is becoming a fundamental...