Parallel Execution of Multi Set Constraint Rewrite Rules
- Martin Sulzmann,
- Edmund Soon Lee Lam
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewPublication Information
Output type
Research Output:
Conference Article in Proceeding or Book/Report chapter
Article in proceedings
Peer-reviewHost publication Subtitle
Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative ProgrammingOriginal language
EnglishPages from-to (Number of pages)
Pages 20-31 (12 pages)Publication milestones
- Published - 2008
Publication status
Published - 2008
Publisher
Association for Computing Machinery, United StatesISBN (Print)
978-1-60558-117-0Publication IDs
- Scopus: 57549112249
Host publication title
PPDP’08Abstract
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
Publication metrics
PlumX
Citations
7
Captures
6
Related Event
Title
PPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Event type
ConferenceDate
15/07/2008 - 17/07/2008Location
ValenciaSpain