4722 search results - page 429 / 945 » Representation-independent program analysis |
198
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
Parallel programming is elusive. The relative performance of di erent parallel implementations varies with machine architecture, system and problem size. How to compare di erent i...
261
Voted
CAV
2008
Springer
15 years 8 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...
183
click to vote
BMCBI
2005
15 years 6 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 ...
193
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....
173
click to vote
WWW
2006
ACM
16 years 7 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...