206 search results - page 28 / 42 » Optimally Profiling and Tracing Programs |
113
click to vote
CCS
2009
ACM
16 years 2 months ago
2009
ACM
Inlined Reference Monitor (IRM) is an established enforcement mechanism for history-based access control policies. IRM enforcement injects monitoring code into the binary of an un...
118
click to vote
ICS
2005
Tsinghua U.
15 years 7 months ago
2005
Tsinghua U.
Excessive power consumption is becoming a major barrier to extracting the maximum performance from high-performance parallel systems. Therefore, techniques oriented towards reduci...
172
click to vote
SAS
2001
Springer
15 years 5 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...
223
click to vote
POPL
2008
ACM
16 years 1 months ago
2008
ACM
Relevance heuristics allow us to tailor a program analysis to a particular property to be verified. This in turn makes it possible to improve the precision of the analysis where n...
133
click to vote
ICLP
1999
Springer
15 years 5 months ago
1999
Springer
Oz is a multiparadigm language that supports logic programming as one of its major paradigms. A multiparadigm language is designed to support different programming paradigms (log...