咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献

馆藏范围

  • 1 篇 电子文献
  • 0 种 纸本馆藏

日期分布

学科分类号

  • 1 篇 理学
    • 1 篇 数学

主题

  • 1 篇 parallelization ...
  • 1 篇 parallel search ...
  • 1 篇 sat

机构

  • 1 篇 laria university...

作者

  • 1 篇 li chu min
  • 1 篇 utard gil
  • 1 篇 jurkowiak bernar...

语言

  • 1 篇 英文
检索条件"主题词=Parallelization of DPLL procedure"
1 条 记 录,以下是1-10 订阅
排序:
Parallelizing Satz using dynamic workload balancing
收藏 引用
Electronic Notes in Discrete Mathematics 2001年 9卷 174-189页
作者: Jurkowiak, Bernard Li, Chu Min Utard, Gil LaRIA University of Picardie Jules Verne 80000 Amiens 5 rue du moulin Neuf France
We presents the parallelization of Satz using work stealing for workload balancing, based on the master/slave communication model. We define a simple way to evaluate the workload of every busy slave. The master then s... 详细信息
来源: 评论