42507 search results - page 69 / 8502 » On the analysis of |
126
click to vote
FLOPS
2004
Springer
15 years 11 months ago
2004
Springer
This paper presents a backward sharing analysis for logic programs. The analysis computes pre-conditions for a query that guarantee a given post-condition is satisfied after the q...
177
click to vote
ICA
2004
Springer
15 years 11 months ago
2004
Springer
We present independent slow feature analysis as a new method for nonlinear blind source separation. It circumvents the indeterminacy of nonlinear independent component analysis by ...
139
click to vote
DAC
2005
ACM
15 years 8 months ago
2005
ACM
Traditional corner analysis fails to guarantee a target yield for a given performance metric. However, recently proposed solutions, in the form of statistical timing analysis, whi...
152
click to vote
ENTCS
2008
15 years 6 months ago
2008
We introduce a Control Flow Analysis, that statically approximates the dynamic behaviour of processes, expressed in the Beta-Binders calculus. Our analysis of a system is able to ...
130
click to vote
IEICET
2007
15 years 6 months ago
2007
Formerly, microwave emissions accompanying hypervelocity impacts were confirmed experimentally. In this paper, two kinds of analyses, output waveform analysis and spectral analys...