On scaling dynamic programming problems with a multithreaded tabling Prolog system

详细信息    查看全文

• 作者：Miguel Areias ; ^{miguel-areias@dcc.fc.up.pt} ; Ricardo Rocha ^{ricroc@dcc.fc.up.pt}
• 关键词：Dynamic programming ; Multithreading ; Tabling ; Prolog ; Scalability
• 刊名：Journal of Systems and Software
• 出版年：2017
• 出版时间：March 2017
• 年：2017
• 卷：125
• 期：Complete
• 页码：417-426
• 全文大小：1093 K
• 卷排序：125

文摘

Prolog system scaling the execution of dynamic programming problems. New design supporting multithreaded tabling in Prolog systems Application of multithreaded tabling to well-known dynamic programming problems. Experimental results showing promising speedup results up to 32 cores.