7456 search results - page 336 / 1492 » Parallelism in Logic Programming |
163
click to vote
PDP
2010
IEEE
16 years 1 months ago
2010
IEEE
—This paper argues that algorithmic skeletons are a suitable programming model for multi-core architectures. -level abstractions offered by algorithmic skeletons provide a simple...
225
click to vote
LCPC
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Intervals are a new, higher-level primitive for parallel programming with which programmers directly construct the program schedule. Programs using intervals can be stati...
184
click to vote
ESOP
2000
Springer
15 years 10 months ago
2000
Springer
Abstract. We show how a program analysis technique originally developed for C-like pointer structures can be adapted to analyse the hierarchical structure of processes in the ambie...
197
click to vote
PPL
2008
15 years 6 months ago
2008
Execution of programs with data parallel language constructs is either based on the fork/join or on the SPMD model. Whereas the former executes a program sequentially and confines...