7456 search results - page 114 / 1492 » Parallelism in Logic Programming |
127
Voted
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. Weighted logic programming, a generalization of bottom-up logic programming, is a successful framework for specifying dynamic programming algorithms. In this setting, pro...
105
click to vote
ICLP
2003
Springer
15 years 7 months ago
2003
Springer
Logic programming is based on the idea that computation is controlled inference. The Extended Andorra Model provides a very powerful framework that supports both co-routining and p...
109
Voted
CAP
2010
14 years 9 months ago
2010
How much of existing computer algebra libraries is amenable to automatic parallelization? This is a difficult topic, yet of practical importance in the era of commodity multicore ...
132
Voted
FCCM
2008
IEEE
15 years 9 months ago
2008
IEEE
This work proposes a set of requirements for programming emerging FPGA-based high performance computing systems, and uses them to evaluate a number of existing parallel programmin...
111
Voted
CDES
2006
15 years 4 months ago
2006