2478 search results - page 189 / 496 » Quadtrees as an Abstract Domain |
140
click to vote
EWC
2002
15 years 5 months ago
2002
An object-oriented (OO) framework for Partial tial Equations (PDEs) provides software abstractions for numerical simulation of PDEs. The design of such frameworks is not trivial, a...
142
click to vote
ACSD
2010
IEEE
15 years 3 months ago
2010
IEEE
Abstract--Semantics of many specification languages, particularly those used in the domain of hardware, is described in terms of vector-based transition systems. In such a transiti...
180
click to vote
SEDE
2010
15 years 3 months ago
2010
New emerging scientific applications in geosciences, sensor and spatio-temporal domains require adaptive analysis frameworks that can handle large datasets with multiple dimension...
167
click to vote
CORR
2011
Springer
15 years 14 days ago
2011
Springer
We consider the problem of computing numerical invariants of programs by abstract interpretation. Our method eschews two traditional sources of imprecision: (i) the use of widenin...
177
click to vote
ERCIMDL
2009
Springer
16 years 1 days ago
2009
Springer
Abstract. The PROBADO project is a research effort to develop Digital Library support for non-textual documents. The main goal is to contribute to all parts of the Digital Library...