268 search results - page 14 / 54 » Experimental Evaluation of Code Properties for WCET Analysis |
MSR
2006
ACM
15 years 3 months ago
2006
ACM
Versioned and bug-tracked software systems provide a huge amount of historical data regarding source code changes and issues management. In this paper we deal with impact analysis...
118
click to vote
ISSTA
2012
ACM
12 years 12 months ago
2012
ACM
A static analysis design is sufficient if it can prove the property of interest with an acceptable number of false alarms. Ultimately, the only way to confirm that an analysis d...
ICICS
2003
Springer
15 years 2 months ago
2003
Springer
In this paper, a digital video watermarking algorithm is proposed. We present a novel DWT-based blind digital video watermarking scheme with scrambled watermark and error correctin...
PPDP
2005
Springer
15 years 2 months ago
2005
Springer
The paper develops a self-tuning resource aware partial evaluation technique for Prolog programs, which derives its own control strategies tuned for the underlying computer archit...
BMVC
2010
14 years 7 months ago
2010
Recently, sparse coding has been receiving much attention in object and scene recognition tasks because of its superiority in learning an effective codebook over k-means clusterin...