Parallel algorithm for computing fixpoints of Galois connections.

Petr Krajca Jan Outrata Vilém Vychodil

Published in: Ann. Math. Artif. Intell. (2010)

Keyphrases

parallel algorithm
parallel computation
logic programs
parallel programming
cluster of workstations
deductive databases
shared memory
binary search trees
parallel version
pc cluster
nonmonotonic reasoning
parallel implementations
general purpose
medial axis transform
multicore processors