42507 search results - page 30 / 8502 » On the analysis of |
142
click to vote
CORR
2011
Springer
14 years 9 months ago
2011
Springer
In this paper, we present type systems for flow-sensitive pointer analysis, live stack-heap (variables) analysis, and program optimization. The type system for live stack-heap ana...
126
click to vote
ISSTA
2009
ACM
15 years 8 months ago
2009
ACM
Exception analysis and points-to analysis are typically done in complete separation. Past algorithms for precise exception analysis (e.g., pairing throw clauses with catch stateme...
127
click to vote
CAV
2008
Springer
15 years 3 months ago
2008
Springer
This paper addresses the analysis of concurrent programs with shared memory. Such an analysis is undecidable in the presence of multiple procedures. One approach used in recent wor...
144
click to vote
JMLR
2006
15 years 1 months ago
2006
We develop a new component analysis framework, the Noisy-Or Component Analyzer (NOCA), that targets high-dimensional binary data. NOCA is a probabilistic latent variable model tha...
133
click to vote
NN
2000
Springer
15 years 1 months ago
2000
Springer
ICA (independent component analysis) is a new, simple and powerful idea for analyzing multi-variant data. One of the successful applications is neurobiological data analysis such ...