313 search results - page 21 / 63 » Lazy Abstraction with Interpolants |
JSCIC
2010
13 years 2 months ago
2010
Abstract In this paper, Radial Basis Function (RBF) method for interpolating two dimensional functions with localized features defined on irregular domain is presented. RBF points ...
ICCS
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We describe, devise, and augment dynamic data-driven application simulations (DDDAS). DDDAS offers interesting computational and mathematically unsolved problems. In thi...
SAC
2004
ACM
14 years 29 days ago
2004
ACM
is an abstract graph reduction machine for the implementation of lazy functional languages. Categorical multi-combinators served as a basis for the evaluation model of µΓCMC. Th...
SAS
2010
Springer
13 years 6 months ago
2010
Springer
Abstract. Properties of programs can be formulated using various techdataflow analysis, abstract interpretation and type-like inference systems. This paper reconstructs strictness...
IPL
2010
13 years 4 months ago
2010
cally Refining Abstract Interpretations Bhargav S. Gulavani1 , Supratik Chakraborty1 , Aditya V. Nori2 , and Sriram K. Rajamani2 1 IIT Bombay 2 Microsoft Research India Abstract. A...