4722 search results - page 771 / 945 » Encoding Program Executions |
136
Voted
SENSYS
2009
ACM
15 years 9 months ago
2009
ACM
The programming and retasking of sensor nodes could benefit greatly from the use of a virtual machine (VM) since byte code is compact, can be loaded on demand, and interpreted on...
146
Voted
SASP
2009
IEEE
15 years 9 months ago
2009
IEEE
— As growing power dissipation and thermal effects disrupted the rising clock frequency trend and threatened to annul Moore’s law, the computing industry has switched its route...
134
Voted
KBSE
2009
IEEE
15 years 9 months ago
2009
IEEE
—Automated debugging is becoming increasingly important as the size and complexity of software increases. This paper makes a case for using constraint-based data structure repair...
133
click to vote
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Control-Flow Integrity (CFI) is a property that guarantees program control flow cannot be subverted by a malicious adversary, even if the adversary has complete control of data m...
100
Voted
ASPLOS
2006
ACM
15 years 8 months ago
2006
ACM
Current taint checking architectures monitor tainted data usage mainly with control transfer instructions. An alarm is raised once the program counter becomes tainted. However, su...