7049 search results - page 76 / 1410 » Data Abstraction for CSP-OZ |
WADS
2001
Springer
14 years 3 months ago
2001
Springer
Abstract. We develop succinct data structures to represent (i) a sequence of values to support partial sum and select queries and update (changing values) and (ii) a dynamic array ...
ASAP
2004
IEEE
14 years 2 months ago
2004
IEEE
We explain a systematic way of interfacing data-flow hardware accelerators (IP) for their ion in a system on chip. We abstract the communication behaviour of the data flow IP so a...
BNCOD
2008
14 years 7 days ago
2008
Abstract. One problem faced by astronomers using the virtual observatory is finding which of the multitude of data resources is relevant for them. The current tool, VOExplorer, rel...
DIWEB
2004
14 years 5 days ago
2004
Abstract. This paper describes how the AutoMed data integration system is being extended to support the integration of heterogeneous XML documents. So far, the contributions of thi...
CORR
2008
Springer
13 years 11 months ago
2008
Springer
Abstract. We are concerned with demonstrating productivity of specifications of infinite streams of data, based on orthogonal rewrite rules. In general, this property is undecidabl...