1760 search results - page 342 / 352 » Program Analysis Using Weighted Pushdown Systems |
HPCA
2006
IEEE
14 years 10 months ago
2006
IEEE
Computer systems increasingly rely on dynamic, phasebased system management techniques, in which system hardware and software parameters may be altered or tuned at runtime for dif...
SENSYS
2009
ACM
14 years 4 months ago
2009
ACM
Continuous and reliable operation of WSNs is notoriously difficult to guarantee due to hardware degradation and environmental changes. In this paper, we propose and demonstrate a ...
CASES
2009
ACM
14 years 4 months ago
2009
ACM
Solid State Disks (SSDs) are superior to magnetic disks from a performance point of view due to the favorable features of NAND flash memory. Furthermore, thanks to improvement on...
SSDBM
2011
IEEE
13 years 1 months ago
2011
IEEE
Database technology remains underused in science, especially in the long tail the small labs and individual researchers that collectively produce the majority of scienti c output...
SIGMOD
2002
ACM
14 years 10 months ago
2002
ACM
The widespread distribution and availability of smallscale sensors, actuators, and embedded processors is transforming the physical world into a computing platform. One such examp...