15754 search results - page 3056 / 3151 » Programs are Knowledge Bases |
122
click to vote
CCS
2009
ACM
15 years 11 months ago
2009
ACM
Binary attestation, as proposed by the Trusted Computing Group (TCG), is a pragmatic approach for software integrity protection and verification. However, it has also various sho...
143
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
Speed scaling is a power management technique that involves dynamically changing the speed of a processor. This gives rise to dualobjective scheduling problems, where the operating...
130
click to vote
ICALP
2009
Springer
15 years 11 months ago
2009
Springer
We study the problem of matching applicants to jobs under one-sided preferences; that is, each applicant ranks a non-empty subset of jobs under an order of preference, possibly inv...
156
click to vote
LCTRTS
2009
Springer
15 years 11 months ago
2009
Springer
Dynamic binary translation (DBT) can provide security, virtualization, resource management and other desirable services to embedded systems. Although DBT has many benefits, its r...
135
click to vote
TACAS
2009
Springer
15 years 11 months ago
2009
Springer
Analysis of execution traces plays a fundamental role in many program analysis approaches. Execution traces are frequently parametric, i.e., they contain events with parameter bind...