45 search results - page 1 / 9 » Relating Data-Parallelism and (And-) Parallelism in Logic Pr... |
EUROPAR
1995
Springer
14 years 2 months ago
1995
Springer
Much work has been done in the areas of and–parallelism and data parallelism in Logic Programs. Such work has proceeded to a certain extent in an independent fashion. Both types...
AMAST
2006
Springer
14 years 2 months ago
2006
Springer
This paper proposes a modal extension of Separation Logic [8, 11] for reasoning about data-parallel programs that manipulate heap allocated linked data structures. Separation Logi...
IJCAI
1989
13 years 12 months ago
1989
A model of unrestricted And-parallel execution for logic programs is described, based on Dependency Directed Backtracking (DDBT) aimed at improving the efficiency of execution whi...
LOPSTR
2007
Springer
14 years 5 months ago
2007
Springer
PDP
2009
IEEE
14 years 5 months ago
2009
IEEE
—Multicore machines are becoming common. There are many languages, language extensions and libraries devoted to improve the programmability and performance of these machines. In ...