3360 search results - page 323 / 672 » Opportunistic Data Structures with Applications |
129
click to vote
CC
2003
Springer
15 years 10 months ago
2003
Springer
We have developed Tm, a template-based metacompiler. Given a set of data-structure definitions and a template, Tm generates files that instantiate the template for the given data...
128
click to vote
ISPAN
1996
IEEE
15 years 9 months ago
1996
IEEE
In this paper, we have presented the design and evaluation of a compiler system, called APE,for automatic parallelization of scientific and engineering applications on distributed...
172
click to vote
JMLR
2008
15 years 5 months ago
2008
Pointwise consistent, feasible procedures for estimating contemporaneous linear causal structure from time series data have been developed using multiple conditional independence ...
181
click to vote
JPDC
2006
15 years 5 months ago
2006
Irregular parallel algorithms pose a significant challenge for achieving high performance because of the difficulty predicting memory access patterns or execution paths. Within an...
133
click to vote
JUCS
2006
15 years 5 months ago
2006
: We present a tutorial of the ITP tool, a rewriting-based theorem prover that can be used to prove inductive properties of membership equational specifications. We also introduce ...