3688 search results - page 178 / 738 » Static analysis of aspects |
130
click to vote
MFCS
1994
Springer
15 years 10 months ago
1994
Springer
We consider the question of lookahead in the list update problem: What improvement can be achieved in terms of competitiveness if an on-line algorithm sees not only the present re...
191
click to vote
ICIP
2004
IEEE
16 years 8 months ago
2004
IEEE
We present a full-reference and a no-reference perceptual video quality metric that incorporate both low-level and high-level aspects of vision. Low-level aspects include color pe...
173
click to vote
BMCV
2000
Springer
15 years 11 months ago
2000
Springer
We here describe a view-based system for the pose-independent representation of objects without making reference to 3-D models. Input to the system is a collection of pictures cov...
166
click to vote
PLDI
1998
ACM
15 years 10 months ago
1998
ACM
This paper evaluates three alias analyses based on programming language types. The first analysis uses type compatibility to determine aliases. The second extends the first by u...
160
click to vote
SCAM
2008
IEEE
16 years 28 days ago
2008
IEEE
Bug-checking tools have been used with some success in recent years to find bugs in software. For finding bugs that can cause security vulnerabilities, bug checking tools requir...