1411 search results - page 118 / 283 » A Value Analysis for C Programs |
147
click to vote
AIPR
2008
IEEE
15 years 11 months ago
2008
IEEE
– This paper addresses the exploitation of massive numbers of image-derived change detections. We use the term “change analysis” to emphasize the intelligence value obtained ...
143
click to vote
MICCAI
2010
Springer
15 years 2 months ago
2010
Springer
To regularize cardiac motion recovery from medical images, electromechanical models are increasingly popular for providing a priori physiological motion information. Although these...
134
click to vote
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
Taint analysis, a form of information-flow analysis, establishes whether values from untrusted methods and parameters may flow into security-sensitive operations. Taint analysis...
166
click to vote
CCS
2007
ACM
15 years 8 months ago
2007
ACM
Administrative RBAC (ARBAC) policies specify how Role-Based Access Control (RBAC) policies may be changed by each administrator. It is often difficult to fully understand the effe...
133
Voted
CORR
2010
Springer
15 years 4 months ago
2010
Springer
Recently popularized randomized methods for principal component analysis (PCA) efficiently and reliably produce nearly optimal accuracy -- even on parallel processors -- unlike the...