您的位置： 专家智库 > >

教育部“新世纪优秀人才支持计划”(NCET-04-0996)

作品数：5 被引量：5H指数：2
相关作者：王戟陈火旺刘万伟马晓东徐厚峰更多>>
相关机构：国防科学技术大学并行与分布处理国防科技重点实验室更多>>
发文基金：教育部“新世纪优秀人才支持计划”国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 5个自动化与计算...
  • 3个经济管理
  • 3个文化科学
  • 3个理学
  • 2个生物学
  • 2个天文地球
  • 1个石油与天然气...
  • 1个金属学及工艺
  • 1个电子电信
  • 1个航空宇航科学...
  • 1个医药卫生
  • 1个一般工业技术
  • 1个社会学
  • 1个军事
  • 1个语言文字
  • 1个自然科学总论

主题

  • 3个代码
  • 3个迭代
  • 3个形式化
  • 3个指向
  • 3个台下
  • 3个SUIF2
  • 3个MOD
  • 2个代码实现
  • 2个递归
  • 2个迭代函数
  • 2个迭代函数系
  • 2个迭代函数系统
  • 2个定理
  • 2个定理证明
  • 2个定理证明器
  • 2个对等网
  • 2个对等网络
  • 1个大学计算机
  • 1个大学计算机基...
  • 1个代码覆盖

机构

  • 4个并行与分布处...
  • 3个国防科学技术...
  • 2个武汉大学
  • 2个国防科技大学
  • 1个长沙大学
  • 1个长沙工学院
  • 1个哈尔滨工业大...
  • 1个湖南大学
  • 1个北京航空航天...
  • 1个中国石油天然...
  • 1个中国人民解放...
  • 1个中国计算机学...

资助

  • 5个国家高技术研...
  • 5个国家重点基础...
  • 5个国家自然科学...
  • 5个教育部“新世...
  • 3个湖南省自然科...
  • 2个霍英东教育基...
  • 2个国家杰出青年...
  • 2个湖南省自然科...
  • 2个霍英东青年教...
  • 2个软件工程国家...
  • 1个福建省自然科...
  • 1个高等学校国家...
  • 1个广东省自然科...
  • 1个国防科技大学...
  • 1个国防科技技术...
  • 1个江苏省科技攻...
  • 1个江苏省自然科...
  • 1个教育部科学技...
  • 1个武汉大学软件...
  • 1个中国博士后科...

传媒

  • 5个计算机工程与...
  • 3个计算机研究与...
  • 3个软件学报
  • 3个计算机科学
  • 3个吉林大学学报...
  • 3个2007全国...
  • 2个电子学报
  • 2个南京大学学报...
  • 2个计算机学报
  • 2个计算机工程
  • 2个计算机应用研...
  • 2个计算机工程与...
  • 2个中国科学（E...
  • 2个生物物理学报
  • 2个武汉大学学报...
  • 2个Journa...
  • 2个计算机教育
  • 2个前瞻科技
  • 1个信息系统工程
  • 1个大庆石油地质...

地区

  • 5个湖南省
共 5 条 记 录，以下是 1-5
王戟
供职机构：国防科学技术大学
研究主题：软件测试 软件开发 软件工程 时序逻辑 自动机
发表作品相关人物供职机构所获资助研究领域
陈火旺
供职机构：国防科学技术大学计算机学院
研究主题：人工智能 程序设计 计算机 遗传算法 软件工程
发表作品相关人物供职机构所获资助研究领域
刘万伟
供职机构：国防科学技术大学
研究主题：勘探开发 自动机 操作系统 词法分析 内存泄漏检测
发表作品相关人物供职机构所获资助研究领域
徐厚峰
供职机构：并行与分布处理国防科技重点实验室
研究主题：MOD SUIF2 台下 指向
发表作品相关人物供职机构所获资助研究领域
马晓东
供职机构：并行与分布处理国防科技重点实验室
研究主题：MOD SUIF2 台下 指向
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0