高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
实数域上的并行约束逻辑程序设计系统及其实现技术
作者:
收录:
摘要:
主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP(R)的Herbrand域和实数域并行求解的两种可行策略:1)单约束求解器线程并行策略.2)多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU-PARCLP(R)系统的并行算法和实现技术.
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
2010,中国电子科学研究院学报
2010,电脑编程技巧与维护
1997,北京工业大学学报
1998,北京工业大学学报
来源 :
北京工业大学学报
年份: 1998
期: 04
页码: 1-6
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 3
归属院系:
信息学部 计算机学院
全文获取
外部链接: