2673 search results - page 221 / 535 » Guided Static Analysis |
157
click to vote
IWPC
2002
IEEE
15 years 10 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...
140
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 ...
178
click to vote
3DPVT
2006
IEEE
15 years 9 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...
174
click to vote
ESOP
2000
Springer
15 years 9 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...
180
click to vote
GECCO
2000
Springer
15 years 9 months ago
2000
Springer
The success of decoder-based evolutionary algorithms (EAs) strongly depends on the achieved locality of operators and decoders. Most approaches to investigate locality properties ...