7049 search results - page 292 / 1410 » Data Abstraction for CSP-OZ |
186
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. Two ways to exploit chips with a very large number of transistors are multicore processors and programmable logic chips. Some data parallel algorithms can be executed e...
141
click to vote
GEOINFO
2004
15 years 8 months ago
2004
Abstract Projects using geographic information tools involve a large variety of data objects, represented in different formats. Many efforts pursue standards to represent each kind...
159
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Data exchanges between Web services engaged in a composition raise several heterogeneities. In this paper, we address the problem of data cardinality heterogeneity in a c...
183
click to vote
CORR
2006
Springer
15 years 6 months ago
2006
Springer
: This paper is concerned with the foundations of the Calculus of Algebraic Constructions (CAC), an extension of the Calculus of Constructions by inductive data types. CAC generali...
167
click to vote
WCRE
2007
IEEE
16 years 29 days ago
2007
IEEE
Legacy applications can be difficult and time-consuming to understand and update due to the lack of modern abstraction mechanisms in legacy languages, as well as the gradual dete...