458 search results - page 4 / 92 » Symbolic Object Code Analysis |
154
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Predictive analysis aims at detecting concurrency errors during runtime by monitoring a concrete execution trace of a concurrent program. In recent years, various models ...
166
click to vote
TSMC
2011
14 years 11 months ago
2011
—In this paper, we propose a circular blurred shape model descriptor to deal with the problem of symbol detection and classification as a particular case of object recognition. ...
136
click to vote
MIR
2004
ACM
15 years 9 months ago
2004
ACM
Searching moving object trajectories of video databases has been applied to many fields, such as video data analysis, content-based video retrieval, video scene classification. ...
150
click to vote
SP
2010
IEEE
15 years 8 months ago
2010
IEEE
—As AJAX applications gain popularity, client-side JavaScript code is becoming increasingly complex. However, few automated vulnerability analysis tools for JavaScript exist. In ...