200 search results - page 6 / 40 » A Protocol for Execution of Distributed Logic Programs |
112
Voted
EUROPAR
1995
Springer
15 years 6 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...
137
Voted
CJ
2010
14 years 12 months ago
2010
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
153
Voted
PPOPP
2011
ACM
14 years 5 months ago
2011
ACM
We propose a cooperative methodology for multithreaded software, where threads use traditional synchronization idioms such as locks, but additionally document each point of potent...
129
click to vote
IPPS
2010
IEEE
15 years 14 days ago
2010
IEEE
Transactional memory is an alternative programming model for managing contention in accessing shared in-memory data objects. Distributed transactional memory (TM) promises to alle...
140
click to vote
EUROPAR
2004
Springer
15 years 8 months ago
2004
Springer
Tabling is an implementation technique that improves the declarativeness and expressiveness of Prolog by reusing answers to subgoals. The declarative nature of tabled logic program...