您的位置： 专家智库 > >

聂文英

作品数：2 被引量：0H指数：0
供职机构：北京工业大学计算机学院计算机应用技术系更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 2篇中文期刊文章

领域

  • 2篇自动化与计算...

主题

  • 2篇程序设计
  • 1篇实数
  • 1篇实数域
  • 1篇数域
  • 1篇求解器
  • 1篇线程
  • 1篇逻辑程序
  • 1篇PROLOG...
  • 1篇CLP

机构

  • 2篇北京工业大学

作者

  • 2篇聂文英
  • 2篇刘椿年
  • 1篇王念永

传媒

  • 2篇北京工业大学...

年份

  • 1篇1998
  • 1篇1997
共 2 条 记 录，以下是 1-2
全选 清除 导出
排序方式：
实数域上的并行约束逻辑程序设计系统及其实现技术
1998年
主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的并行算法和实现技术．
王念永刘椿年聂文英
关键词：程序设计线程CLP求解器
BPU-SPAR:一个并行Prolog系统
1997年
BPU-SPAR系统是在原BPU-Prolog系统的基础上研制开发出来的一个流并行prolog系统,已在SUN工作站上实现.BPU-SPAR继承了原BPU-Prolog的结构共享机制,其运行速度可以和基于Warren抽象机的PARLOG相比.BPU-SPAR是我们目前正在研制的并行约束逻辑程序设计系统的基础设施.本文主要给出BPU-SPAR的内部实现技术和特有的优化机制.
聂文英刘椿年王念永
关键词：程序设计PROLOG系统
全选 清除 导出
共1页<1>
聚类工具0