您的位置： 专家智库 > >

国家高技术研究发展计划(2011AA1A202)

作品数：2 被引量：2H指数：1
相关作者：曾庆凯贺志宏吕庆伟更多>>
相关机构：南京大学更多>>
发文基金：国家自然科学基金国家科技支撑计划国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 3个自动化与计算...
  • 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个动态链接

机构

  • 3个南京大学
  • 2个计算机软件新...
  • 1个山东交通学院
  • 1个山东大学
  • 1个上海市信息安...

资助

  • 3个国家高技术研...
  • 3个国家科技支撑...
  • 3个国家自然科学...
  • 1个国家科技攻关...
  • 1个国家重点基础...
  • 1个江苏省自然科...
  • 1个山东省自然科...
  • 1个浙江省自然科...
  • 1个中国博士后科...
  • 1个国家杰出青年...
  • 1个江苏省科技支...
  • 1个江苏省“六大...
  • 1个国际科技合作...
  • 1个国家教育部博...
  • 1个国家重点实验...
  • 1个江苏省博士后...
  • 1个江苏省高校自...
  • 1个山东省社会科...
  • 1个山东省艺术科...

传媒

  • 2个计算机应用与...
  • 2个软件学报
  • 2个计算机工程与...
  • 1个计算机研究与...
  • 1个通信学报
  • 1个电子学报
  • 1个计算机学报
  • 1个北京工业大学...
  • 1个上海交通大学...
  • 1个计算机工程
  • 1个科技管理研究
  • 1个微电子学与计...
  • 1个计算机应用
  • 1个计算机应用研...
  • 1个功能材料
  • 1个高技术通讯
  • 1个小型微型计算...
  • 1个计算机工程与...
  • 1个人工晶体学报
  • 1个解放军理工大...

地区

  • 2个江苏省
共 3 条 记 录，以下是 1-3
曾庆凯
供职机构：南京大学计算机科学与技术系
研究主题：漏洞 软件漏洞 内核 控制流 硬件虚拟化
发表作品相关人物供职机构所获资助研究领域
贺志宏
供职机构：南京大学
研究主题：LTL SPIN 线性时序逻辑 状态空间爆炸
发表作品相关人物供职机构所获资助研究领域
吕庆伟
供职机构：计算机软件新技术国家重点实验室
研究主题：访问控制 反驳 开放逻辑 精化 SAAS
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0