1379 search results - page 149 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
136
click to vote
ISW
2005
Springer
15 years 8 months ago
2005
Springer
Software protection is an area of active research in which a variety of techniques have been developed to address the issue. Examples of such techniques include code obfuscation, s...
112
click to vote
APLAS
2005
ACM
15 years 5 months ago
2005
ACM
This paper describes a sound technique that combines the precision em proving with the loop-invariant inference of abstract interpretation. The loop-invariant computations are invo...
144
click to vote
IWFM
2000
15 years 4 months ago
2000
Security services in a multi-user environment are often based on access control mechanisms. Static of an access control policy can be formalised using abstract algebraic models. W...
105
Voted
ASPLOS
2006
ACM
15 years 9 months ago
2006
ACM
Cycles per Instruction (CPI) stacks break down processor execution time into a baseline CPI plus a number of miss event CPI components. CPI breakdowns can be very helpful in gaini...
132
Voted
PPOPP
2009
ACM
16 years 3 months ago
2009
ACM
Understanding why the performance of a multithreaded program does not improve linearly with the number of cores in a sharedmemory node populated with one or more multicore process...