1040 search results - page 151 / 208 » Resource Usage Verification |
121
click to vote
PPDP
2009
Springer
15 years 9 months ago
2009
Springer
We propose a novel type-based model checking algorithm for higher-order recursion schemes. As shown by Kobayashi, verification problems of higher-order functional programs can ea...
128
Voted
HT
2009
ACM
15 years 9 months ago
2009
ACM
Folksonomies provide a rich source of data to study social patterns taking place on the World Wide Web. Here we study the temporal patterns of users’ tagging activity. We show t...
109
Voted
SIGCOMM
2009
ACM
15 years 9 months ago
2009
ACM
Energy is the critical limiting resource to mobile computing devices. Correspondingly, an operating system must track, provision, and ration how applications consume energy. The e...
121
click to vote
DATE
2008
IEEE
15 years 9 months ago
2008
IEEE
Stream processing applications such as image signal processing demand high throughput. However, customers increasingly demand runtime flexibility in their designs, which cannot b...
117
click to vote
DSN
2008
IEEE
15 years 9 months ago
2008
IEEE
As devices continue to scale, future shipped hardware will likely fail due to in-the-field hardware faults. As traditional redundancy-based hardware reliability solutions that ta...