8232 search results - page 1475 / 1647 » Dynamic Logic Programming |
156
click to vote
IPPS
2003
IEEE
15 years 11 months ago
2003
IEEE
The Adaptive Parallelism Environment is introduced as a means of effectively utilizing MPP processing resources in a multi-programmed MIMD or distributed system. It achieves this...
150
click to vote
ISSRE
2003
IEEE
15 years 11 months ago
2003
IEEE
This paper investigates the precision of three linearcomplexity type analyses for Java software: Class Hierarchy Analysis (CHA), Rapid Type Analysis (RTA) and Variable Type Analys...
186
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
With power dissipation becoming an increasingly vexing problem across many classes of computer systems, measuring power dissipation of real, running systems has become crucial for...
163
click to vote
MICRO
2003
IEEE
15 years 11 months ago
2003
IEEE
Many dynamic optimization and/or binary translation systems hold optimized/translated superblocks in a code cache. Conventional code caching systems suffer from overheads when con...
182
click to vote
AOSD
2003
ACM
15 years 11 months ago
2003
ACM
We define a generic join point model for checking the Law of Demeter (LoD). Join points are trees, pointcuts are predicates over join points, and advice is checked statically sim...