4725 search results - page 335 / 945 » Dependence-Based Program Analysis |
193
click to vote
IEEEPACT
2002
IEEE
16 years 5 days ago
2002
IEEE
Optimizations performed at link time or directly applied to final program executables have received increased attention in recent years. Such low-level optimizations can benefit...
149
click to vote
APSEC
2000
IEEE
15 years 11 months ago
2000
IEEE
Many program maintenance tools rely on traditional parsing techniques to obtain syntactic level models of the code being maintained. When, for some reason, code cannot be parsed, ...
210
click to vote
CAV
2010
Springer
15 years 11 months ago
2010
Springer
Testing of multi-threaded programs poses enormous challenges. To improve the coverage of testing, we present a framework named CONTESSA that augments conventional testing (concrete...
221
click to vote
JETAI
2007
15 years 7 months ago
2007
Research in computational cognitive modeling investigates the nature of cognition through developing process-based understanding by specifying computational models of mechanisms (...
211
click to vote
IEEEARES
2009
IEEE
15 years 5 months ago
2009
IEEE
We present an automatic analyzer for measuring information flow within software systems. In this paper, we quantify leakage in terms of information theory and incorporate this comp...