1174 search results - page 100 / 235 » Optimizing generics is easy! |
VLDB
1997
ACM
14 years 2 months ago
1997
ACM
This paper describes the Array Manipulation Language (AML), an algebra for multidimensional array data. AML is generic, in the sense that it can be customized to support a wide va...
PDPTA
2007
13 years 11 months ago
2007
In this paper we present a multiple phase I/O collective operation for generic block cyclic distributions. The communication pattern is automatically generated by an inspector pha...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
The goal of this lecture is to show how modern theorem provers--in this case, the Coq proof assistant--can be used to mechanize the specification of programming languages and their...
OL
2008
13 years 10 months ago
2008
We introduce the Symmetric Reduction Ansatz at a point from the closure of the feasible set in generalized semi-infinite programming. A corresponding Symmetric Reduction Lemma is s...
ICASSP
2011
IEEE
13 years 1 months ago
2011
IEEE
Stereo audio enhancement and upmixing techniques require spatial analysis of the mixture in order to work optimally for different types of contents. In this paper a method is prop...