2335 search results - page 132 / 467 » Functional Differentiation of Computer Programs |
141
Voted
CLOUD
2010
ACM
15 years 7 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...
125
Voted
CVPR
2005
IEEE
16 years 4 months ago
2005
IEEE
The advance in image/video editing techniques has facilitated people in synthesizing realistic images/videos that may hard to be distinguished from real ones by visual examination...
117
Voted
ICFP
2005
ACM
15 years 7 months ago
2005
ACM
Narrowing-driven partial evaluation is a powerful technique for the specialization of (first-order) functional and functional logic programs. However, although it gives good resu...
123
click to vote
ESORICS
2010
Springer
15 years 2 months ago
2010
Springer
Collaborative optimization problems can often be modeled as a linear program whose objective function and constraints combine data from several parties. However, important applicat...
118
Voted
RECOMB
2007
Springer
16 years 2 months ago
2007
Springer
Abstract. Side-chain prediction is an important subproblem of the general protein folding problem. Despite much progress in side-chain prediction, performance is far from satisfact...