3639 search results - page 139 / 728 » Provenance as Dependency Analysis |
MICRO
2000
IEEE
15 years 2 months ago
2000
IEEE
Register promotion is an optimization that allocates a value to a register for a region of its lifetime where it is provably not aliased. Conventional compiler analysis cannot alw...
ICASSP
2010
IEEE
14 years 8 months ago
2010
IEEE
Data-driven analysis methods, in particular independent component analysis (ICA) has proven quite useful for the analysis of functional magnetic imaging (fMRI) data. In addition, ...
IPPS
1998
IEEE
15 years 2 months ago
1998
IEEE
Characterizing shared-memory applications provides insight to design efficient systems, and provides awareness to identify and correct application performance bottlenecks. Configu...
TACAS
2000
Springer
15 years 1 months ago
2000
Springer
We present three methods for the integration of symmetries into reachability analysis. Two of them lead to perfect reduction but their runtime depends on the symmetry structure. Th...
PAMI
2006
14 years 10 months ago
2006
A fast AAM search algorithm based on canonical correlation analysis (CCA-AAM) is introduced. It efficiently models the dependency between texture residuals and model parameters dur...