692 search results - page 14 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
111
Voted
CORR
2010
Springer
2010
Springer
Understanding periodicity and regularity of nodal encounters in mobile networks: A spectral analysis
14 years 11 months ago
Abstract--Study on human mobility is gaining increasing attention from the research community with its multiple applications to use in mobile networks, particularly for the purpose...
127
click to vote
ENTCS
2002
14 years 11 months ago
2002
A program analysis is compositional when the analysis result for a particular program fragment is obtained solely from the results for its immediate subfragments via some composit...
IWPC
2002
IEEE
15 years 4 months ago
2002
IEEE
Program understanding tools manipulate program represensuch as abstract syntax trees, control-flow graphs, or data-flow graphs. This paper deals with the use of visitor combinat...
ICCL
1992
IEEE
15 years 3 months ago
1992
IEEE
rogram. Our abstract interpretation algorithm may then be used to perform static type analysis. The analysis has applications in detecting probable errors in the PostScript code or...
CLEIEJ
2008
14 years 12 months ago
2008
A lot of material has been written about wavelet theory. Most of these texts provide an elegant framework from the functional and real analysis point of view. The complete infinit...