咨询与建议

限定检索结果

文献类型

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

馆藏范围

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

日期分布

学科分类号

  • 3 篇 工学
    • 3 篇 软件工程
    • 2 篇 计算机科学与技术...
    • 1 篇 电气工程
  • 2 篇 理学
    • 2 篇 数学

主题

  • 3 篇 logic programmin...
  • 2 篇 constrained opti...
  • 2 篇 constraint logic...
  • 2 篇 answer set progr...
  • 2 篇 optical networks...
  • 1 篇 object oriented ...
  • 1 篇 communicating pr...
  • 1 篇 parallel program...
  • 1 篇 logic programmin...

机构

  • 2 篇 quantek bologna
  • 2 篇 ferrara univ dep...
  • 1 篇 department of co...

作者

  • 2 篇 gavanelli marco
  • 2 篇 peano andrea
  • 2 篇 nonato maddalena
  • 2 篇 bertozzi davide
  • 1 篇 clark kl

语言

  • 3 篇 英文
检索条件"主题词=Logic programming applications"
3 条 记 录,以下是1-10 订阅
排序:
PARLOG AND ITS applications
收藏 引用
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING 1988年 第12期14卷 1792-1804页
作者: CLARK, KL Department of Computing Imperial College London SW7 2B2 England
The key concepts of the parallel logic programming language PARLOG are introduced by comparing the language with Prolog. Some familiarity with Prolog and with the concepts of logic programming is assumed. Two major ap... 详细信息
来源: 评论
logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
收藏 引用
THEORY AND PRACTICE OF logic programming 2017年 第5-6期17卷 800-818页
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论
logic programming approaches for routing fault-free and maximally parallel wavelength-routed optical networks-on-chip (Application paper)
Logic programming approaches for routing fault-free and maxi...
收藏 引用
33rd International Conference on logic programming colocated with the 23rd International Conference on Principles and Practice of Constraint programming / 20th International Conference on Theory and applications of Satisfiability Testing
作者: Gavanelli, Marco Nonato, Maddalena Peano, Andrea Bertozzi, Davide Ferrara Univ Dept Engn Ferrara Italy QuanTek Bologna Italy
One promising trend in digital system integration consists of boosting on-chip communication performance by means of silicon photonics, thus materializing the so-called Optical Networkson- Chip. Among them, wavelength... 详细信息
来源: 评论