57 search results - page 6 / 12 » Towards Scalable Partial Evaluation of Declarative Programs |
110
Voted
IPPS
1999
IEEE
15 years 6 months ago
1999
IEEE
In this study, we introduce an evaluation methodology for advanced memory systems. This methodology is based on statistical factorial analysis. It is two fold: it first determines...
139
Voted
ICLP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...
121
Voted
CORR
2006
Springer
15 years 1 months ago
2006
Springer
In this paper, we present our proposal to Constraint Functional Logic Programming over Finite Domains (CFLP(FD) ) with a lazy functional logic programming language which seamlessl...
116
Voted
ATAL
2006
Springer
15 years 5 months ago
2006
Springer
Developing scalable algorithms for solving partially observable Markov decision processes (POMDPs) is an important challenge. One promising approach is based on representing POMDP...
104
click to vote
ESCIENCE
2006
IEEE
15 years 7 months ago
2006
IEEE
We have designed a maximum likelihood fitter using the actor model to distribute the computation over a heterogeneous network. The prototype implementation uses the SALSA program...