115 search results - page 22 / 23 » Points-to Analysis as a System of Linear Equations |
CSE
2010
IEEE
13 years 6 months ago
2010
IEEE
Morphological Component Analysis (MCA) of signals and images is an ambitious and important goal in signal processing; successful methods for MCA have many far-reaching application...
ENTCS
2008
13 years 6 months ago
2008
The verification of quantitative aspects like performance and dependability by means of model checking has become an important and vivid area of research over the past decade. An ...
TMI
2011
13 years 1 months ago
2011
Abstract—Many practical applications require the reconstruction of images from irregularly sampled data. The spline formalism offers an attractive framework for solving this prob...
ICRA
2007
IEEE
14 years 17 days ago
2007
IEEE
— Recently it has been shown that an inverse depth parametrization can improve the performance of real-time monocular EKF SLAM, permitting undelayed initialization of features at...
POPL
2010
ACM
14 years 1 months ago
2010
ACM
We propose a programming paradigm called compress-and-conquer (CC) that leads to optimal performance on multicore platforms. Given a multicore system of p cores and a problem of s...