7456 search results - page 6 / 1492 » Parallelism in Logic Programs |
177
Voted
AMAST
2010
Springer
15 years 2 months ago
2010
Springer
145
Voted
ICLP
1990
Springer
15 years 11 months ago
1990
Springer
163
click to vote
ISCA
1987
IEEE
15 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...
208
click to vote
CONCUR
2004
Springer
16 years 24 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...