您的位置： 专家智库 > >

“核心电子器件、高端通用芯片及基础软件产品”国家科技重大专项(2009z01036-001-001-3)

作品数：3 被引量：23H指数：2
相关作者：王林章崔展齐李宣东戴雪峰李倩更多>>
相关机构：南京大学苏州大学更多>>
发文基金：国家自然科学基金国家重点基础研究发展计划国家科技重大专项更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 10个自动化与计算...
  • 6个文化科学
  • 3个经济管理
  • 3个电子电信
  • 3个医药卫生
  • 2个机械工程
  • 2个建筑科学
  • 2个理学

主题

  • 7个上下文
  • 5个代码
  • 5个迭代
  • 5个上下文敏感
  • 4个代码分析
  • 4个代码生成
  • 4个等价
  • 4个递归
  • 4个多线程
  • 4个循环语句
  • 3个代数
  • 3个代数变换
  • 3个代数表示
  • 3个代数形式
  • 3个单词
  • 3个迭代过程
  • 2个代码覆盖
  • 2个代码覆盖率
  • 2个代码结构
  • 2个代码库

机构

  • 10个南京大学
  • 4个计算机软件新...
  • 1个北京信息工程...
  • 1个苏州大学
  • 1个中国科学技术...
  • 1个香港城市大学
  • 1个电力部
  • 1个兖矿集团有限...
  • 1个兖矿集团总医...
  • 1个兖州矿业(集...

资助

  • 10个国家重点基础...
  • 10个国家自然科学...
  • 10个国家科技重大...
  • 9个国家高技术研...
  • 5个江苏省自然科...
  • 5个江苏省基础研...
  • 4个国家重点实验...
  • 3个国家教育部博...
  • 3个江苏省产学研...
  • 3个中央高校基本...
  • 2个山东省自然科...
  • 2个中国博士后科...
  • 2个教育部高等学...
  • 2个山东省高等学...
  • 2个泰安市科技发...
  • 1个Intern...
  • 1个国家社会科学...
  • 1个浙江省自然科...
  • 1个江苏省科技支...
  • 1个“九五”国家...

传媒

  • 10个软件学报
  • 7个计算机学报
  • 6个计算机科学与...
  • 5个计算机科学
  • 4个电子学报
  • 4个中国科学：信...
  • 3个计算机研究与...
  • 3个计算机应用与...
  • 3个计算机应用研...
  • 2个南京大学学报...
  • 2个计算机工程与...
  • 2个计算机教育
  • 2个信息安全学报
  • 2个863计划智...
  • 1个系统工程与电...
  • 1个中国煤炭工业...
  • 1个软科学
  • 1个山东医药
  • 1个计算机工程与...
  • 1个计算机工程

地区

  • 10个江苏省
共 10 条 记 录，以下是 1-10
王林章
供职机构：南京大学
研究主题：制导 数据竞争 自动机 数据流分析 规约
发表作品相关人物供职机构所获资助研究领域
崔展齐
供职机构：南京大学
研究主题：ANDROID应用 SQL注入漏洞 SQL注入 污点分析 处理技术
发表作品相关人物供职机构所获资助研究领域
杨璐
供职机构：苏州大学
研究主题：用户 游泳 溺水 主题模型 控制装置
发表作品相关人物供职机构所获资助研究领域
赵建华
供职机构：南京大学
研究主题：MDA 规约 EDOC 实时系统 时间自动机
发表作品相关人物供职机构所获资助研究领域
汤恩义
供职机构：南京大学
研究主题：制导 软件测试 浮点 图形界面 网络爬虫
发表作品相关人物供职机构所获资助研究领域
潘敏学
供职机构：南京大学
研究主题：控件 神经网络 脚本 图形界面 测试用例生成
发表作品相关人物供职机构所获资助研究领域
李倩
供职机构：南京大学计算机科学与技术系
研究主题：并发软件 内存泄漏 死锁检测 死锁 上下文敏感
发表作品相关人物供职机构所获资助研究领域
柳溪
供职机构：南京大学计算机科学与技术系
研究主题：WEB服务 消息流 BPEL 自动机 PETRI网
发表作品相关人物供职机构所获资助研究领域
戴雪峰
供职机构：南京大学计算机科学与技术系
研究主题：上下文敏感 JAVA
发表作品相关人物供职机构所获资助研究领域
李宣东
供职机构：南京大学
研究主题：自动机 面向对象 混成系统 MDA 实时系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0