您的位置： 专家智库 > >

国家自然科学基金(61103083)

作品数：3 被引量：5H指数：2
相关作者：马柯帆黎铁军肖立权张建民更多>>
相关机构：国防科学技术大学更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术电子电信更多>>

领域

  • 1个电子电信
  • 1个自动化与计算...
  • 1个建筑科学

主题

  • 1个等价
  • 1个等价性检验
  • 1个电路
  • 1个多核
  • 1个多核处理
  • 1个多核处理器
  • 1个多视图
  • 1个形式化
  • 1个形式化方法
  • 1个形式化验证
  • 1个一阶逻辑
  • 1个有限状态机
  • 1个语音
  • 1个语音增强
  • 1个正则
  • 1个正则化
  • 1个正则化技术
  • 1个指令级
  • 1个指令级并行
  • 1个上网

机构

  • 1个国防科学技术...

作者

  • 1个王俊
  • 1个陈磊
  • 1个屈婉霞
  • 1个李暾
  • 1个王观武
  • 1个田希
  • 1个张建民
  • 1个刘仲
  • 1个李思昆
  • 1个胡健
  • 1个刘畅
  • 1个肖立权
  • 1个刘磊
  • 1个黎铁军
  • 1个郭阳
  • 1个张龙
  • 1个马柯帆

传媒

  • 1个计算机工程与...
  • 1个国防科技大学...
  • 1个计算机工程
  • 1个计算机辅助设...
  • 1个Chines...
  • 1个Journa...
  • 1个Chines...
  • 1个软件工程与应...
共 1 条 记 录，以下是 1-1
国家自然科学基金(61133007)
相关领域：自动化与计算机技术 电子电信 建筑科学
相关作品相关人物相关机构相关资助相关领域
全选 清除 导出
共1页<1>
聚类工具0