7456 search results - page 18 / 1492 » Parallelism in Logic Programming |
ICSE
2010
IEEE-ACM
13 years 10 months ago
2010
IEEE-ACM
The trend towards multicore processors and graphic processing units is increasing the need for software that can take advantage of parallelism. Writing correct parallel programs u...
SIGSOFT
2009
ACM
14 years 9 months ago
2009
ACM
The trend towards processors with more and more parallel cores is increasing the need for software that can take advantage of parallelism. The most widespread method for writing p...
CADE
2008
Springer
14 years 9 months ago
2008
Springer
Abstract. A proof method is described which combines compositional proofs of interleaved parallel programs with the intuitive and highly automatic strategy of symbolic execution. A...
ICALP
1995
Springer
14 years 9 days ago
1995
Springer
We describe the rst parallel algorithm with optimal speedup for constructing minimum-width tree decompositions of graphs of bounded treewidth. On n-vertex input graphs, the algori...
WWW
2003
ACM
14 years 9 months ago
2003
ACM
