TY - GEN
T1 - A parallel bottom-up resolution algorithm using cilk
AU - Basseda, Reza
AU - Chowdhury, Rezaul Alam
PY - 2013
Y1 - 2013
N2 - Rapid developments of multicore processors in the last ten years have accelerated the advancements in concurrency platforms. Performance of bottom-up resolution algorithms used in logic programming and artificial intelligent systems, can potentially be improved using the parallel programming constructs offered by these platforms (e.g., OpenMP, Cilk++, etc.). In this work we use Cilk++ to implement a parallel bottom-up resolution algorithm, and study how different parallel programming constructs affect its performance. Our experimental results show that a careful Cilk++ implementation of the algorithm can leadto significant speedup w.r.t. its traditional serial implementation.
AB - Rapid developments of multicore processors in the last ten years have accelerated the advancements in concurrency platforms. Performance of bottom-up resolution algorithms used in logic programming and artificial intelligent systems, can potentially be improved using the parallel programming constructs offered by these platforms (e.g., OpenMP, Cilk++, etc.). In this work we use Cilk++ to implement a parallel bottom-up resolution algorithm, and study how different parallel programming constructs affect its performance. Our experimental results show that a careful Cilk++ implementation of the algorithm can leadto significant speedup w.r.t. its traditional serial implementation.
KW - Bottom-up Reasoning
KW - Parallel Logic Programming
KW - Parallel Resolution Algorithm
UR - https://www.scopus.com/pages/publications/84897705836
U2 - 10.1109/ICTAI.2013.24
DO - 10.1109/ICTAI.2013.24
M3 - Conference contribution
AN - SCOPUS:84897705836
SN - 9781479929719
T3 - Proceedings - International Conference on Tools with Artificial Intelligence, ICTAI
SP - 95
EP - 100
BT - Proceedings - 25th International Conference on Tools with Artificial Intelligence, ICTAI 2013
T2 - 25th IEEE International Conference on Tools with Artificial Intelligence, ICTAI 2013
Y2 - 4 November 2013 through 6 November 2013
ER -