166 search results - page 27 / 34 » Effective static deadlock detection |
ICCV
2007
IEEE
14 years 10 months ago
2007
IEEE
This paper presents a new method to detect and accurately extract the moving object from a video sequence taken by a hand-held camera. In order to extract the high quality moving ...
WCRE
2002
IEEE
14 years 1 months ago
2002
IEEE
Machine code disassembly routines form a fundamental component of software systems that statically analyze or modify executable programs. The task of disassembly is complicated by...
ECOOP
2007
Springer
14 years 10 days ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
COMSNETS
2012
12 years 4 months ago
2012
—Patterns of human encounters, which are difficult to observe directly, are fundamental to the propagation of mobile malware aimed at infecting devices in spatial proximity. We ...
TACAS
2009
Springer
14 years 3 months ago
2009
Springer
In the past, several attempts have been made to deal with the state space explosion problem by equipping a depth-first search (DFS) algorithm with a state cache, or by avoiding co...