3515 search results - page 72 / 703 » Resource usage analysis |
127
click to vote
ESOP
2010
Springer
15 years 11 months ago
2010
Springer
Type-based amortised resource analysis following Hofmann and Jost--where resources are associated with individual elements of data structures and doled out to the programmer under ...
90
Voted
FLOPS
2006
Springer
15 years 6 months ago
2006
Springer
We propose a new method to control memory resources by static analysis. For this, we introduce the notion of sup-interpretation which bounds from above the size of function outputs...
122
click to vote
DATE
2009
IEEE
15 years 9 months ago
2009
IEEE
—As multiprocessor systems are increasingly used in real-time environments, scheduling and synchronization analysis of these platforms receive growing attention. However, most kn...
146
Voted
WWW
2008
ACM
16 years 3 months ago
2008
ACM
We conduct the first systematical adoption of the Semantic Web solution in the integration, management, and utilization of TCM information and knowledge resources. As the results,...
139
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Recommender systems are an emerging technology that helps consumers find interesting products and useful resources. A recommender system makes personalized product suggestions by e...