2477 search results - page 117 / 496 » Parallelizing Functional Programs by Generalization |
184
click to vote
POPL
2012
ACM
14 years 2 months ago
2012
ACM
We present an analysis which takes as its input a sequential program, augmented with annotations indicating potential parallelization opportunities, and a sequential proof, writte...
155
click to vote
ICALP
2004
Springer
16 years 1 days ago
2004
Springer
Abstract We present an analog and machine-independent algebraic characterization of elementarily computable functions over the real numbers in the sense of recursive analysis: we p...
183
click to vote
PC
2010
15 years 5 months ago
2010
Graph component labelling, which is a subset of the general graph colouring problem, is a computationally expensive operation that is of importance in many applications and simula...
209
click to vote
SIAMIS
2011
15 years 1 months ago
2011
This article presents a new adaptive framework for locally parallel texture modeling. Oscillating patterns are modeled with functionals that constrain the local Fourier decompositi...
176
click to vote
NIPS
1993
15 years 8 months ago
1993
Dynamic programming provides a methodology to develop planners and controllers for nonlinear systems. However, general dynamic programming is computationally intractable. We have ...