1965 search results - page 346 / 393 » On the analysis of interacting pushdown systems |
ER
2007
Springer
14 years 3 months ago
2007
Springer
Today, we observe a wide use of geospatial databases that are implemented in many forms (e.g. transactional centralized systems, distributed databases, multidimensional datacubes)....
ISPA
2007
Springer
14 years 2 months ago
2007
Springer
Grid and distributed public computing schemes has become an essential tool for many scientific fields including bioinformatics, computational biology and systems biology. The adopt...
ICMCS
2006
IEEE
14 years 2 months ago
2006
IEEE
In the near future, the majority of personal computers are expected to have several processing units. This is referred to as Core Multiprocessing (CMP). Furthermore, each of the c...
HT
2006
ACM
14 years 2 months ago
2006
ACM
We present Opal, a light-weight framework for interactively locating missing web pages (http status code 404). Opal is an example of “in vivo” preservation: harnessing the col...
SI3D
2006
ACM
14 years 2 months ago
2006
ACM
This paper studies jump flooding as an algorithmic paradigm in the general purpose computation with GPU. As an example application of jump flooding, the paper discusses a constant...