您的位置： 专家智库 > >

国家自然科学基金(61170018)

作品数：10 被引量：11H指数：2
相关作者：李兆鹏张昱朱玲朱明张杰更多>>
相关机构：中国科学技术大学吉首大学安徽大学更多>>
发文基金：国家自然科学基金国家高技术研究发展计划更多>>
相关领域：自动化与计算机技术更多>>

领域

  • 13个自动化与计算...
  • 8个文化科学
  • 5个电子电信
  • 4个经济管理
  • 3个电气工程
  • 3个自然科学总论
  • 3个理学
  • 2个化学工程
  • 2个机械工程
  • 2个一般工业技术
  • 1个天文地球
  • 1个金属学及工艺
  • 1个建筑科学
  • 1个轻工技术与工...
  • 1个交通运输工程
  • 1个航空宇航科学...
  • 1个环境科学与工...
  • 1个医药卫生

主题

  • 9个内存
  • 8个C程序
  • 6个用户
  • 6个语言
  • 6个内存模型
  • 6个编程
  • 5个形式化
  • 5个形式化验证
  • 5个引擎
  • 4个代码
  • 4个调度
  • 4个定理证明
  • 4个队列
  • 4个信息处理
  • 4个指向
  • 3个点播
  • 3个电信
  • 3个断言
  • 3个硬件
  • 3个中间件

机构

  • 11个中国科学技术...
  • 2个吉首大学
  • 2个中国科学院
  • 2个中国科学院软...
  • 2个安徽省计算与...
  • 1个安徽大学
  • 1个吉林大学
  • 1个中山大学
  • 1个中国科学院研...
  • 1个中国科学院长...
  • 1个中国科学院大...

资助

  • 13个国家自然科学...
  • 9个国家高技术研...
  • 3个安徽省自然科...
  • 3个安徽省高校省...
  • 2个国家科技支撑...
  • 2个国家重点基础...
  • 2个江苏省自然科...
  • 2个中国博士后科...
  • 2个国家教育部博...
  • 2个湖南省教育厅...
  • 2个中央高校基本...
  • 1个安徽省科技攻...
  • 1个福建省自然科...
  • 1个广东省医学科...
  • 1个广东省自然科...
  • 1个湖南省自然科...
  • 1个吉林省科技发...
  • 1个吉林省自然科...
  • 1个中国科学技术...
  • 1个安徽省优秀青...

传媒

  • 12个小型微型计算...
  • 8个计算机科学
  • 6个电子技术（上...
  • 5个计算机工程
  • 5个软件学报
  • 5个计算机工程与...
  • 4个计算机研究与...
  • 4个计算机应用与...
  • 4个计算机系统应...
  • 4个计算机教育
  • 3个中国科学技术...
  • 3个电子学报
  • 3个计算机学报
  • 3个计算机应用
  • 3个教育与现代化
  • 3个计算机工程与...
  • 3个第十四届全国...
  • 2个电信科学
  • 2个中国大学教学
  • 2个西安交通大学...

地区

  • 10个安徽省
  • 1个湖南省
  • 1个吉林省
  • 1个广东省
共 13 条 记 录，以下是 1-10
李兆鹏
供职机构：中国科学技术大学软件学院
研究主题：HOARE逻辑 出具证明编译器 指针逻辑 循环不变式 自动定理证明
发表作品相关人物供职机构所获资助研究领域
张昱
供职机构：中国科学技术大学
研究主题：自动驾驶 XPATH XML流 即时编译器 多目标
发表作品相关人物供职机构所获资助研究领域
朱明
供职机构：中国科学院长春光学精密机械与物理研究所
研究主题：目标跟踪 图像 目标检测 图像处理 目标识别
发表作品相关人物供职机构所获资助研究领域
朱玲
供职机构：中国科学技术大学
研究主题：光学实验 实验教学 透镜 光栅单色仪 表面等离激元
发表作品相关人物供职机构所获资助研究领域
张杰
供职机构：吉首大学张家界学院
研究主题：计算机机箱 计算机 软件故障 软件测试 计算机键盘
发表作品相关人物供职机构所获资助研究领域
覃遵跃
供职机构：中山大学
研究主题：XML 软件工程专业 XML技术 XML文档 教学改革
发表作品相关人物供职机构所获资助研究领域
李薛剑
供职机构：安徽大学
研究主题：内存模型 形式化验证 以太网数据 遗留物检测 持续性
发表作品相关人物供职机构所获资助研究领域
李泉龙
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：并行编程模型 共享 形式化验证 逃逸 指向
发表作品相关人物供职机构所获资助研究领域
邓维
供职机构：中国科学技术大学
研究主题：抽象化 C程序 规范语言 语言设计 内存模型
发表作品相关人物供职机构所获资助研究领域
张维
供职机构：中国科学技术大学计算机科学与技术学院
研究主题：存储管理 堆内存 上下文敏感 指向
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共2页<12>
聚类工具0