3688 search results - page 186 / 738 » Static analysis of aspects |
175
click to vote
SIGCSE
2005
ACM
16 years 3 days ago
2005
ACM
The paper advocates a wider use of puzzles and puzzle-like games in teaching the analysis of algorithms. It discusses many specific examples—from classic puzzles of recreational...
172
click to vote
CIVR
2003
Springer
15 years 11 months ago
2003
Springer
We have witnessed a decade of exploding research interest in multimedia content analysis. The goal of content analysis has been to derive automatic methods for high-level descripti...
144
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
Abstract. The performance of HPF codes is in uenced by the characteristics of the parallel system and by the e ciency of the compilation system. Performance analysis has to take in...
277
click to vote
POPL
2006
ACM
16 years 6 months ago
2006
ACM
Virtual classes are class-valued attributes of objects. Like virtual methods, virtual classes are defined in an object's class and may be redefined within subclasses. They re...
181
click to vote
EMSOFT
2007
Springer
16 years 22 days ago
2007
Springer
We explain the design of the interpretation-based static analyzer Astr´ee and its use to prove the absence of run-time errors in safety-critical codes. Categories and Subject Des...