4307 search results - page 163 / 862 » Dynamic Spyware Analysis |
ATVA
2008
Springer
14 years 3 days ago
2008
Springer
We present a new property driven pruning algorithm in dynamic model checking to efficiently detect race conditions in multithreaded programs. The main idea is to use a lockset base...
ICIP
2005
IEEE
14 years 12 months ago
2005
IEEE
Linear Discriminant Analysis(LDA) is widely-used in face recognition systems. However, with the traditional formulation, the available information in the training samples is not su...
VLDB
2007
ACM
14 years 10 months ago
2007
ACM
In this demonstration, we present the main-memory based streaming XQuery engine GCX which implements novel buffer management strategies that combine static and dynamic analysis to...
ICDAR
2009
IEEE
14 years 5 months ago
2009
IEEE
This paper presents a dynamic approach to document page segmentation. Current page segmentation algorithms lack the ability to dynamically adapt local variations in the size, orie...
IROS
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— This paper presents a study which extends previous work on collective motion control of a group of vehicles for target tracking. The approach is to drive the group cent...