4722 search results - page 534 / 945 » Encoding Program Executions |
222
click to vote
SIGMOD
2007
ACM
16 years 4 months ago
2007
ACM
SwissQM is a novel sensor network platform for acquiring data from the real world. Instead of statically hand-crafted programs, SwissQM is a virtual machine capable of executing b...
138
click to vote
ICCD
2007
IEEE
16 years 1 months ago
2007
IEEE
Software integrity and confidentiality play a central role in making embedded computer systems resilient to various malicious actions, such as software attacks; probing and tamper...
137
click to vote
ASPLOS
2010
ACM
15 years 11 months ago
2010
ACM
Temperature is a dominant factor in the performance, reliability, and leakage power consumption of modern processors. As a result, increasing numbers of researchers evaluate therm...
113
click to vote
CGO
2008
IEEE
15 years 11 months ago
2008
IEEE
We propose a new instruction, branch-on-random, that is like a standard conditional branch, except rather than specifying the condition on which the branch should be taken, it spe...
142
click to vote
CSMR
2007
IEEE
15 years 11 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...