3931 search results - page 56 / 787 » Separation logic and abstraction |
ESANN
2006
14 years 11 months ago
2006
Abstract. This paper is a survey of semi-blind source separation approaches. Since Gaussian iid signals are not separable, simplest priors suggest to assume non Gaussian iid signal...
129
click to vote
CPM
2010
Springer
14 years 4 months ago
2010
Springer
Abstract. We consider the problem of highly space-efficient representation of separable graphs while supporting queries in constant time in the RAM with logarithmic word size. In p...
SAS
2009
Springer
15 years 10 months ago
2009
Springer
We show how, given a program and its separation logic proof, one can parallelize and optimize this program and transform its proof simultaneously to obtain a proven parallelized an...
FASE
2010
Springer
15 years 4 months ago
2010
Springer
This paper describes a compositional analysis algorithm for statically detecting leaks in Java programs. The algorithm is based on separation logic and exploits the concept of bi-a...
ICA
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. This paper deals with the problem of Blind Source Separation. Contrary to the vast majority of works, we do not assume the statistical independence between the sources an...