ITU

Parallel Execution of Multi Set Constraint Rewrite Rules

Research output: Conference Article in Proceeding or Book/Report chapterArticle in proceedingsResearchpeer-review

View graph of relations

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 languageEnglish
Title of host publicationPPDP’08 : Proceedings of the 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Number of pages12
PublisherAssociation for Computing Machinery
Publication date2008
Pages20-31
ISBN (Print)978-1-60558-117-0
Publication statusPublished - 2008
EventPPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming - Valencia, Spain
Duration: 15 Jul 200817 Jul 2008
Conference number: 10

Conference

ConferencePPDP 2008 10th International ACM SIGPLAN Symposium on Principles and Practice of Declarative Programming
Nummer10
LandSpain
ByValencia
Periode15/07/200817/07/2008

ID: 265791