Parallel algorithms and architectures for rule-based systems
ISCA '86 Proceedings of the 13th annual international symposium on Computer architecture
Parallel Rule Firing in Production Systems
IEEE Transactions on Knowledge and Data Engineering
Optimizing compilation of constraint handling rules in HAL
Theory and Practice of Logic Programming
Constraint handling rules: the story so far
Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Proceedings of the 2007 workshop on Declarative aspects of multicore programming
User-definable rule priorities for CHR
Proceedings of the 9th ACM SIGPLAN international conference on Principles and practice of declarative programming
Parallel generational-copying garbage collection with a block-structured heap
Proceedings of the 7th international symposium on Memory management
Optimizing compilation of CHR with rule priorities
FLOPS'08 Proceedings of the 9th international conference on Functional and logic programming
Parallelizing union-find in constraint handling rules using confluence analysis
ICLP'05 Proceedings of the 21st international conference on Logic Programming
Analyses, optimizations and extensions of constraint handling rules: ph.d. summary
ICLP'05 Proceedings of the 21st international conference on Logic Programming
A complete and terminating execution model for constraint handling rules
Theory and Practice of Logic Programming
Concurrent goal-based execution of constraint handling rules
Theory and Practice of Logic Programming
Compiling CHR to parallel hardware
Proceedings of the 14th symposium on Principles and practice of declarative programming
| Hi-index | 0.00 |
Multi-set constraint rewriting allows for a highly parallel computational model and has been used in a multitude of application domains such as constraint solving, agent specification etc. Rewriting steps can be applied simultaneously as long as they do not interfere with each other.We wish that the underlying constraint rewrite implementation executes rewrite steps in parallel on increasingly popular becoming multi-core architectures. We design and implement efficient algorithms which allow for the parallel execution of multi-set constraint rewrite rules. Our experiments show that we obtain some significant speed-ups on multi-core architectures