高级检索
检索提示:高级检索多个条件检索时是按照顺序运算的:如 A或B与C 即:(A或B)与C
[期刊论文]
BPU-SPAR:一个并行Prolog系统
作者:
收录:
摘要:
BPU-SPAR系统是在原BPU-Prolog系统的基础上研制开发出来的一个流并行prolog系统,已在SUN工作站上实现.BPU-SPAR继承了原BPU-Prolog的结构共享机制,其运行速度可以和基于Warren抽象机的PARLOG相比.BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施.本文主要给出BPU-SPAR的内部实现技术和特有的优化机制.
关键词:
作者机构:
通讯作者信息:
电子邮件地址:
相关关键词:
相关文章:
1994,北京工业大学学报
2005,北京工业大学学报
来源 :
北京工业大学学报
年份: 1997
期: 03
页码: 83-90
被引次数:
WoS核心集被引频次: 0
SCOPUS被引频次:
ESI高被引论文在榜: 0 展开所有
万方被引频次:
中文被引频次:
近30日浏览量: 3
归属院系:
信息学部 计算机学院
全文获取
外部链接: