1880 search results - page 86 / 376 » A Static Analysis for Beta-Binders |
CC
2007
Springer
15 years 6 months ago
2007
Springer
As the amount of data used by programs increases due to the growth of hardware storage capacity and computing power, efficient memory usage becomes a key factor for performance. Si...
112
click to vote
ICCV
2003
IEEE
16 years 1 months ago
2003
IEEE
Human identification at a distance has recently gained growing interest from computer vision researchers. This paper aims to propose a visual recognition algorithm based upon fusi...
124
click to vote
TAP
2007
Springer
15 years 5 months ago
2007
Springer
Many static and dynamic analyses have been developed to improve program quality. Several of them are well known and widely used in practice. It is not entirely clear, however, how ...
133
click to vote
VLSID
2002
IEEE
15 years 4 months ago
2002
IEEE
à This paper addresses the problem of static and dynamic variable voltage scheduling of multi-rate periodic task graphs (i.e., tasks with precedence relationships) and aperiodic t...
ICSE
2009
IEEE-ACM
16 years 17 days ago
2009
IEEE-ACM
A variety of compilers, static analyses, and testing frameworks rely heavily on path frequency information. Uses for such information range from optimizing transformations to bug ...