Abstract
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
| Original language | English |
|---|---|
| Title of host publication | PPDP’08 : Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
| Number of pages | 12 |
| Publisher | Association for Computing Machinery |
| Publication date | 2008 |
| Pages | 20-31 |
| ISBN (Print) | 978-1-60558-117-0 |
| Publication status | Published - 2008 |
| Event | PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming - Valencia, Spain Duration: 15 Jul 2008 → 17 Jul 2008 Conference number: 10 |
Conference
| Conference | PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming |
|---|---|
| Number | 10 |
| Country/Territory | Spain |
| City | Valencia |
| Period | 15/07/2008 → 17/07/2008 |
Keywords
- Multi-set constraint rewriting
- Parallel computational model
- Constraint solving
- Multi-core architectures
- Parallel execution algorithms