咨询与建议

限定检索结果

文献类型

  • 1 篇 会议

馆藏范围

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

日期分布

学科分类号

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

主题

  • 1 篇 hardware-softwar...
  • 1 篇 design analysis
  • 1 篇 instruments
  • 1 篇 computer archite...
  • 1 篇 time windows
  • 1 篇 graphics process...
  • 1 篇 data mining
  • 1 篇 invariant
  • 1 篇 logic relations
  • 1 篇 hardware/softwar...
  • 1 篇 scalability prob...
  • 1 篇 sequential paral...
  • 1 篇 analytical model...
  • 1 篇 time phase
  • 1 篇 gpu-oriented par...
  • 1 篇 likely invariant...
  • 1 篇 instruction sets
  • 1 篇 time-consuming p...
  • 1 篇 graphics process...
  • 1 篇 dynamic techniqu...

机构

  • 1 篇 univ verona str ...

作者

  • 1 篇 pravadelli grazi...
  • 1 篇 piccolboni luca
  • 1 篇 danese alessandr...

语言

  • 1 篇 英文
检索条件"主题词=sequential parallel implementation"
1 条 记 录,以下是1-10 订阅
排序:
A parallelizable approach for mining likely invariants
A parallelizable approach for mining likely invariants
收藏 引用
IEEE/ACM International Conference on Hardware/Software Codesign and System Synthesis (CODES+ISSS)
作者: Danese, Alessandro Piccolboni, Luca Pravadelli, Graziano Univ Verona Str Grazie 15 I-37134 Verona Italy
A relevant aspect in design analysis and verification is monitoring how logic relations among different variables change at run time. Current static approaches suffer from scalability problems that prevent their adopt... 详细信息
来源: 评论