Sciweavers

1178 search results - page 25 / 236
» Static and Dynamic Evaluation of Data Dependence Analysis
Sort
View
ICIP
2000
IEEE
14 years 10 months ago
Analysis of Interscale and Intrascale Dependencies between Image Wavelet Coefficients
We develop an information?theoretic analysis of dependencies between image wavelet coefficients. The dependencies are measured using mutual information, which has a direct link wi...
Juan Liu, Pierre Moulin
CCS
2008
ACM
13 years 10 months ago
Efficient and extensible security enforcement using dynamic data flow analysis
Current taint tracking systems suffer from high overhead and a lack of generality. In this paper, we solve both of these issues with an extensible system that is an order of magni...
Walter Chang, Brandon Streiff, Calvin Lin
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
14 years 5 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
CORR
2006
Springer
77views Education» more  CORR 2006»
13 years 8 months ago
Prioritizing Software Inspection Results using Static Profiling
Static software checking tools are useful as an additional automated software inspection step that can easily be integrated in the development cycle and assist in creating secure,...
Cathal Boogerd, Leon Moonen
IWPC
2003
IEEE
14 years 1 months ago
Using Run-Time Data for Program Comprehension
Traditional approaches for program comprehension use static program analysis or dynamic program analysis in the form of execution traces. Our approach, however, makes use of runti...
Thomas Gschwind, Johann Oberleitner, Martin Pinzge...