您的位置： 专家智库 > >

王念永

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

合作作者

文献类型

  • 1篇中文期刊文章

领域

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

主题

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

机构

  • 1篇北京工业大学

作者

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

传媒

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

年份

  • 1篇1998
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
实数域上的并行约束逻辑程序设计系统及其实现技术
1998年
主要讨论了在线程模式下实数域上的约束逻辑程序设计系统CLP（R）的Herbrand域和实数域并行求解的两种可行策略：1）单约束求解器线程并行策略．2）多约束求解器线程并行策略。并着重介绍了基于前一种策略实现的BPU－PARCLP（R）系统的并行算法和实现技术．
王念永刘椿年聂文英
关键词：程序设计线程CLP求解器
全选 清除 导出
共1页<1>
聚类工具0