566 search results - page 87 / 114 » Adaptive Online Program Analysis |
118
Voted
DAC
2009
ACM
16 years 3 months ago
2009
ACM
Within-die variation in leakage power consumption is substantial and increasing for chip-level multiprocessors (CMPs) and multiprocessor systems-on-chip. Dealing with this problem...
115
click to vote
CSFW
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper introduces the use of static information flow analysis for the specification and enforcement of end-toend availability policies in programs. We generalize the decentr...
131
click to vote
SAC
2005
ACM
15 years 8 months ago
2005
ACM
In this paper we present an investigation into the run-time behaviour of objects in Java programs, using specially adapted coupling metrics. We identify objects from the same clas...
105
click to vote
TACAS
2009
Springer
15 years 9 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...
107
Voted
IWSEC
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. Common software-protection systems attempt to detect malicious observation and modification of protected applications. Upon tamper detection, anti-hacking code may produ...