1011 search results - page 115 / 203 » Numerical Constraints for XML |
149
click to vote
ICFEM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Automated verification of memory safety and functional correctness for heap-manipulating programs has been a challenging task, especially when dealing with complex data ...
189
click to vote
SAS
2010
Springer
15 years 4 months ago
2010
Springer
Symbolic Abstract Domain of Boxes Arie Gurfinkel and Sagar Chaki Carnegie Mellon University Abstract. Numeric abstract domains are widely used in program analyses. The simplest nu...
162
click to vote
IJBC
2010
15 years 1 months ago
2010
In this paper, we numerically show that the dynamics of the HIV system is sensitive to both the initial condition and the system parameters. These phenomena imply that the system ...
158
click to vote
MMAS
2010
Springer
15 years 1 months ago
2010
Springer
In this paper, we introduce a new nonlinear evolution partial differential equation for sparse deconvolution problems. The proposed PDE has the form of continuity equation that ar...
156
click to vote
SIAMNUM
2010
15 years 1 months ago
2010
A set XN of N points on the unit sphere is a spherical t-design if the average value of any polynomial of degree at most t over XN is equal to the average value of the polynomial o...