咨询与建议

限定检索结果

文献类型

  • 1 篇 期刊文献
  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

  • 2 篇 理学
    • 2 篇 数学
  • 2 篇 工学
    • 2 篇 计算机科学与技术...

主题

  • 2 篇 optimization of ...
  • 2 篇 answer set progr...
  • 2 篇 answer set solve...
  • 2 篇 cache utilizatio...
  • 2 篇 declarative prog...

机构

  • 2 篇 univ bath dept c...

作者

  • 2 篇 brain martin
  • 2 篇 de vos marina

语言

  • 2 篇 英文
检索条件"主题词=declarative programming systems"
2 条 记 录,以下是1-10 订阅
排序:
The Significance of Memory Costs in Answer Set Solver Implementation
收藏 引用
JOURNAL OF LOGIC AND COMPUTATION 2009年 第4期19卷 615-641页
作者: Brain, Martin De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Implementation costs linked to processor memory subsystems (cache miss costs, stalls due to bandwidth limits, etc.) have been shown to be a factor in the performance of a variety of declarative programming tools. This... 详细信息
来源: 评论
The Significance of Memory Costs in Answer Set Solver Implementation
The Significance of Memory Costs in Answer Set Solver Implem...
收藏 引用
4th International Workshop on Answer Set programming
作者: Brain, Martin De Vos, Marina Univ Bath Dept Comp Sci Bath BA2 7AY Avon England
Implementation costs linked to processor memory subsystems (cache miss costs, stalls due to bandwidth limits, etc.) have been shown to be a factor in the performance of a variety of declarative programming tools. This... 详细信息
来源: 评论