214 search results - page 25 / 43 » Dynamic Optimistic Interprocedural Analysis: A Framework and... |
171
click to vote
ICS
2001
Tsinghua U.
15 years 10 months ago
2001
Tsinghua U.
This paper presents a novel technique to perform global optimization of communication and preprocessing calls in the presence of array accesses with arbitrary subscripts. Our sche...
181
click to vote
ECOOP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. The application field of static analysis techniques for objectoriented programming is getting broader, ranging from compiler optimizations to security issues. This leads...
195
click to vote
VEE
2012
ACM
14 years 1 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
186
click to vote
SIGMETRICS
2008
ACM
15 years 5 months ago
2008
ACM
Probabilistic model checking is a formal verification framework for systems which exhibit stochastic behaviour. It has been successfully applied to a wide range of domains, includ...
193
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
Automatic non-rigid registration of 3D time-varying data is fundamental in many vision and graphics applications such as facial expression analysis, synthesis, and recognition. De...