3688 search results - page 128 / 738 » Static analysis of aspects |
190
click to vote
ECOOP
1999
Springer
15 years 10 months ago
1999
Springer
We discuss aspects of inlining of virtual method invocations. First, we introduce a new method test to guard inlinings of such invocations, with a di erent set of tradeo s from the...
169
click to vote
POPL
1990
ACM
15 years 10 months ago
1990
ACM
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
170
click to vote
CVPR
2011
IEEE
15 years 3 months ago
2011
IEEE
Unsupervised learning can be used to extract image representations that are useful for various and diverse vision tasks. After noticing that most biological vision systems for int...
175
click to vote
IEEEPACT
1998
IEEE
15 years 10 months ago
1998
IEEE
Hybrid branch predictors combine the predictions of multiple single-level or two-level branch predictors. The prediction-combining hardware -- the "meta-predictor" -may ...
193
click to vote
POPL
2011
ACM
14 years 9 months ago
2011
ACM
There have been several efforts to bring static type inference to object-oriented dynamic languages such as Ruby, Python, and Perl. In our experience, however, such type inference...