2477 search results - page 158 / 496 » Parallelizing Functional Programs by Generalization |
122
Voted
ICFP
2005
ACM
15 years 8 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...
97
Voted
FSTTCS
1993
Springer
15 years 6 months ago
1993
Springer
A for-loop is somewhat similar to an inductive argument. Just as the truth of a proposition P(n + 1) depends on the truth of P(n), the correctness of iteration n+1 of a for-loop de...
136
Voted
GRID
2004
Springer
15 years 8 months ago
2004
Springer
This paper reports on the design, implementation and performance evaluation of a suite of GridRPC programming middleware called Ninf-G Version 2 (Ninf-G2). NinfG2 is a reference i...
122
Voted
CCGRID
2003
IEEE
15 years 8 months ago
2003
IEEE
Service-based Grid infrastructures emphasize service composition rather than sharing of low level resources. The idea is to build Grid applications out of computational services p...
124
Voted
CORR
2008
Springer
15 years 2 months ago
2008
Springer
Abstract. Logic Programming languages and combinational circuit synthesis tools share a common "combinatorial search over logic formulae" background. This paper attempts ...