2673 search results - page 357 / 535 » Guided Static Analysis |
147
click to vote
MSR
2005
ACM
15 years 10 months ago
2005
ACM
One of the most successful applications of static analysis based bug finding tools is to search the source code for violations of system-specific rules. These rules may describe h...
134
click to vote
EMSOFT
2005
Springer
15 years 10 months ago
2005
Springer
Abstract— This paper explores the problem of efficiently ordering interprocessor communication operations in both statically and dynamically-scheduled multiprocessors for iterat...
119
Voted
GEOS
2005
Springer
15 years 10 months ago
2005
Springer
Traditional spatial information systems hold only a single state of the ‘real world’. However, geographic phenomena have not only static but dynamic characteristics. The work d...
159
Voted
IBPRIA
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we propose a new method to extract moving objects from a video stream without any motion estimation. The objective is to obtain a method robust to noise, large motio...
147
click to vote
LOPSTR
2005
Springer
15 years 10 months ago
2005
Springer
A variable is local if it occurs in a clause body but not in its head. Local variables appear naturally in practical logic programming, but they complicate several aspects such as ...