7456 search results - page 6 / 1492 » Parallelism in Logic Programming |
AMAST
2010
Springer
13 years 2 months ago
2010
Springer
LOPSTR
2007
Springer
14 years 1 months ago
2007
Springer
ICLP
1990
Springer
13 years 11 months ago
1990
Springer
ISCA
1987
IEEE
13 years 11 months ago
1987
IEEE
This paper presents a new multiprocessor architecture for the parallel execution of logic programs, developed as part of the Aquarius Project. This architecture is designed to sup...
CONCUR
2004
Springer
14 years 28 days ago
2004
Springer
We present a trace semantics for a language of parallel programs which share access to mutable data. We introduce a resource-sensitive logic for partial correctness, based on a re...