294 search results - page 53 / 59 » On Recursively Directed Hypercubes |
149
click to vote
PLDI
2010
ACM
16 years 23 days ago
2010
ACM
An ad hoc data format is any non-standard, semi-structured data format for which robust data processing tools are not available. In this paper, we present ANNE, a new kind of mark...
145
Voted
POPL
2010
ACM
16 years 23 days ago
2010
ACM
The method of logical relations is a classic technique for proving the equivalence of higher-order programs that implement the same observable behavior but employ different intern...
147
click to vote
POPL
2010
ACM
16 years 23 days ago
2010
ACM
We describe a new automatic static analysis for determining upper-bound functions on the use of quantitative resources for strict, higher-order, polymorphic, recursive programs de...
125
click to vote
PEPM
2010
ACM
16 years 7 days ago
2010
ACM
Pushdown systems are well understood as abstract models of programs with (recursive) procedures. Reps et al. recently extended pushdown systems into weighted pushdown systems, whi...
122
click to vote
PLDI
2009
ACM
15 years 10 months ago
2009
ACM
It is often impossible to obtain a one-size-fits-all solution for high performance algorithms when considering different choices for data distributions, parallelism, transformati...