6960 search results - page 776 / 1392 » Continuity Analysis of Programs |
154
click to vote
ICSM
2009
IEEE
16 years 1 months ago
2009
IEEE
Dependence analysis underpins many activities in software maintenance such as comprehension and impact analysis. As a result, dependence has been studied widely for programming la...
183
click to vote
CSMR
2007
IEEE
16 years 1 months ago
2007
IEEE
Many of the existing techniques for impact set computation in change propagation and regression testing are approximate for the sake of efficiency. A way to improve precision is ...
194
click to vote
IEEEPACT
2006
IEEE
16 years 1 months ago
2006
IEEE
Static Single Assignment (SSA) has become the intermediate program representation of choice in most modern compilers because it enables efficient data flow analysis of scalars an...
254
click to vote
MM
2010
ACM
15 years 7 months ago
2010
ACM
This paper proposes a new framework to formulate the problem of rushes video summarization as an unsupervised learning problem. We pose the problem of video summarization as one o...
193
click to vote
AAECC
2007
Springer
15 years 7 months ago
2007
Springer
We enhance the dependency pair method in order to prove termination using recursive structure analysis in simply-typed term rewriting systems, which is one of the computational mod...