5090 search results - page 383 / 1018 » Constructing Strategies for Programming |
285
click to vote
ICDE
2008
IEEE
16 years 8 months ago
2008
IEEE
In this work we look at combining emerging technologies in programming languages with traditional query processing techniques to provide support for efficient execution of declarat...
291
click to vote
ICFP
2009
ACM
16 years 7 months ago
2009
ACM
A number of important program rewriting scenarios can be recast as type-directed coercion insertion. These range from more theoretical applications such as coercive subtyping and ...
152
click to vote
IPPS
2008
IEEE
16 years 1 months ago
2008
IEEE
A file data model for algorithmic skeletons is proposed, focusing on transparency and efficiency. Algorithmic skeletons correspond to a high-level programming model that takes a...
192
click to vote
PC
1998
15 years 6 months ago
1998
The difficulty of handling out-of-core data limits the performance of supercomputers as well as the potential of the parallel machines. Since writing an efficient out-of-core ve...
222
click to vote
EDBT
1998
ACM
15 years 11 months ago
1998
ACM
Abstract. In this paper, we propose a new bulk-loading technique for high-dimensional indexes which represent an important component of multimedia database systems. Since it is ver...