3688 search results - page 247 / 738 » Static analysis of aspects |
145
click to vote
DATE
2002
IEEE
15 years 11 months ago
2002
IEEE
Accurate gate-level static timing analysis in the presence of RC loads has become an important problem for modern deep-submicron designs. Non-capacitive loads are usually analyzed...
178
click to vote
IWPC
2002
IEEE
15 years 11 months ago
2002
IEEE
Most previously published case studies in architecture recovery have been performed on statically linked software systems. Due to the increase in use of middleware technologies, s...
150
click to vote
ESOP
1990
Springer
15 years 10 months ago
1990
Springer
The key to realistic self-applicable partial evaluation is to analyze binding times in the source program, i.e., whether the result of partially evaluating a source expression is ...
199
click to vote
3DPVT
2006
IEEE
15 years 10 months ago
2006
IEEE
This paper extends the idea of classification schemes for static surface curvature into the temporal domain. We seek to identify regions in sequences of depth data that exhibit va...
192
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We propose a new type discipline for the -calculus in which secure information flow is guaranteed by static type checking. Secrecy levels are assigned to channels and are...