Sciweavers

146 search results - page 17 / 30
» C Templates as Partial Evaluation
Sort
View
CVPR
2008
IEEE
16 years 1 months ago
Consistent image analogies using semi-supervised learning
In this paper we study the following problem: given two source images A and A , and a target image B, can we learn to synthesize a new image B which relates to B in the same way t...
Li Cheng, S. V. N. Vishwanathan, Xinhua Zhang
SAS
2007
Springer
15 years 5 months ago
Shape Analysis with Structural Invariant Checkers
Abstract. Developer-supplied data structure specifications are important to shape analyses, as they tell the analysis what information should be tracked in order to obtain the des...
Bor-Yuh Evan Chang, Xavier Rival, George C. Necula
IPPS
2006
IEEE
15 years 5 months ago
Algorithmic skeletons for stream programming in embedded heterogeneous parallel image processing applications
Algorithmic skeletons can be used to write architecture independent programs, shielding application developers from the details of a parallel implementation. In this paper, we pre...
Wouter Caarls, Pieter P. Jonker, Henk Corporaal
SAMOS
2004
Springer
15 years 5 months ago
Modeling Loop Unrolling: Approaches and Open Issues
Abstract. Loop unrolling plays an important role in compilation for Reconfigurable Processing Units (RPUs) as it exposes operator parallelism and enables other transformations (e.g...
João M. P. Cardoso, Pedro C. Diniz
PPSN
1998
Springer
15 years 3 months ago
The Traveling Salesrep Problem, Edge Assembly Crossover, and 2-opt
Optimal results for the Traveling Salesrep Problem have been reported on problems with up to 3038 cities using a GA with Edge Assembly Crossover EAX. This paper rst attempts to ind...
Jean-Paul Watson, Charlie Ross, V. Eisele, J. Dent...