4725 search results - page 419 / 945 » Dependence-Based Program Analysis |
277
Voted
CAV
2008
Springer
15 years 9 months ago
2008
Springer
Pointer safety faults in device drivers are one of the leading causes of crashes in operating systems code. In principle, shape analysis tools can be used to prove the absence of t...
210
click to vote
BMCBI
2005
15 years 7 months ago
2005
Background: Ambiguity is a problem in biosequence analysis that arises in various analysis tasks solved via dynamic programming, and in particular, in the modeling of families of ...
221
click to vote
RAID
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Malware attacks necessitate extensive forensic analysis efforts that are manual-labor intensive because of the analysis-resistance techniques that malware authors employ....
200
click to vote
WWW
2006
ACM
16 years 8 months ago
2006
ACM
The high availability of video streams is making necessary mechanisms for indexing such contents in the Web world. In this paper we focus on news programs and we propose a mechani...
212
Voted
AICCSA
2008
IEEE
16 years 2 months ago
2008
IEEE
In this paper, we present a novel type and effect analysis for detecting type cast errors and memory errors in C source code. Our approach involves a type system with effect, regi...