42507 search results - page 123 / 8502 » On the analysis of |
166
click to vote
ICISS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. To ease the analysis of potentially malicious programs, dynamic behavior-based techniques have been proposed in the literature. Unfortunately, these techniques often give...
175
click to vote
ISORC
2008
IEEE
16 years 28 days ago
2008
IEEE
Conditional real-time task models, which are generalizations of periodic, sporadic, and multi-frame tasks, represent real world applications more accurately. These models can be c...
235
click to vote
CAIP
2007
Springer
16 years 22 days ago
2007
Springer
Automating the steps involved in video processing has yet to be tackled with much success by vision developers and knowledge engineers. This is due to the difficulty in formulating...
162
click to vote
CC
2007
Springer
16 years 22 days ago
2007
Springer
We present a unification-based, context-sensitive escape and effect analysis that infers lightweight method summaries describing heap effects. The analysis is parameterized on two...
154
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...