1379 search results - page 196 / 276 » Dynamic Program Slicing in Understanding of Program Executio... |
144
click to vote
PLDI
2003
ACM
15 years 8 months ago
2003
ACM
We describe a technique for automatically proving compiler optimizations sound, meaning that their transformations are always semantics-preserving. We first present a domainspeci...
108
click to vote
ISLPED
2007
ACM
15 years 4 months ago
2007
ACM
Increases in peak current draw and reductions in the operating voltages of processors continue to amplify the importance of dealing with voltage fluctuations in processors. One a...
142
click to vote
CASSIS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper addresses the problem of static checking of programs to ensure that they satisfy confidentiality policies in the presence of dynamic access control in the for...
114
click to vote
ICPP
2009
IEEE
15 years 9 months ago
2009
IEEE
Memory-intensive threads can hoard shared resources without making progress on a multithreading processor (SMT), thereby hindering the overall system performance. A recent promisi...
DAC
2009
ACM
16 years 4 months ago
2009
ACM
Current compilers lack precise timing models guiding their built-in optimizations. Hence, compilers apply ad-hoc heuristics during optimization to improve code quality. One of the...