您的位置： 专家智库 > >

国家高技术研究发展计划(2007AA01Z147)

作品数：4 被引量：9H指数：2
相关作者：陈昊吕正陈峰吕毅高磊更多>>
相关机构：中国劳动关系学院西北大学中国科学院软件研究所更多>>
发文基金：国家高技术研究发展计划国家自然科学基金更多>>
相关领域：自动化与计算机技术自然科学总论更多>>

领域

  • 8个自动化与计算...
  • 4个电子电信
  • 4个自然科学总论
  • 3个文化科学
  • 2个经济管理
  • 2个航空宇航科学...
  • 2个理学
  • 1个生物学
  • 1个天文地球
  • 1个化学工程
  • 1个机械工程
  • 1个电气工程
  • 1个轻工技术与工...
  • 1个医药卫生
  • 1个文学

主题

  • 8个形式化
  • 5个形式化方法
  • 5个软件测试
  • 4个多核
  • 4个多核处理
  • 4个多核处理器
  • 4个一致性
  • 3个代码
  • 3个信号
  • 3个形式化建模
  • 3个有限自动机
  • 2个低能耗
  • 2个电路
  • 2个调度
  • 2个调度算法
  • 2个调理电路
  • 2个定理
  • 2个定理证明
  • 2个信号采集
  • 2个信号采集与处...

机构

  • 5个西北工业大学
  • 4个西北大学
  • 2个中国科学院软...
  • 1个中国科学院
  • 1个中国劳动关系...
  • 1个中国科学院研...
  • 1个UT斯达康
  • 1个中国科学院大...

资助

  • 8个国家高技术研...
  • 8个国家自然科学...
  • 4个陕西省自然科...
  • 4个西北工业大学...
  • 3个陕西省科技攻...
  • 3个陕西省教育厅...
  • 3个中国航空科学...
  • 2个国家科技支撑...
  • 2个教育部科学技...
  • 2个陕西省教育厅...
  • 2个国家教育部博...
  • 2个陕西省教育厅...
  • 2个西北工业大学...
  • 2个中央高校基本...
  • 1个国家重点基础...
  • 1个中国博士后科...
  • 1个陕西省国际科...
  • 1个国家杰出青年...
  • 1个国家科技重大...
  • 1个海南省自然科...

传媒

  • 8个计算机工程
  • 6个计算机工程与...
  • 5个软件学报
  • 4个微电子学与计...
  • 3个计算机研究与...
  • 3个西北大学学报...
  • 3个西安交通大学...
  • 3个计算机应用研...
  • 3个计算机科学
  • 3个计算机技术与...
  • 2个西北工业大学...
  • 2个电子学报
  • 2个计算机应用
  • 2个计算机测量与...
  • 2个2008中国...
  • 1个微计算机应用
  • 1个通信学报
  • 1个计算机学报
  • 1个武汉大学学报...
  • 1个计算机工程与...

地区

  • 6个陕西省
  • 2个北京市
共 8 条 记 录，以下是 1-8
陈昊
供职机构：中国劳动关系学院
研究主题：无线传感网 无线传感器网络 WSN 机会路由 ARM
发表作品相关人物供职机构所获资助研究领域
吕正
供职机构：西北大学
研究主题：多核处理器 形式化建模 确定有限自动机 ARM处理器 ARM
发表作品相关人物供职机构所获资助研究领域
陈峰
供职机构：西北大学信息科学与技术学院
研究主题：智能手机 形式化建模 污点分析 确定有限自动机 访问控制
发表作品相关人物供职机构所获资助研究领域
吕毅
供职机构：中国科学院软件研究所
研究主题：形式化方法 机群文件系统 服务网格 机群 语义
发表作品相关人物供职机构所获资助研究领域
高磊
供职机构：西北工业大学计算机学院
研究主题：AADL L模型 GSPN AAD 形式化方法
发表作品相关人物供职机构所获资助研究领域
张凡
供职机构：西北工业大学
研究主题：AADL 架构模型 网络处理器 嵌入式软件 软件架构
发表作品相关人物供职机构所获资助研究领域
董云卫
供职机构：西北工业大学
研究主题：AADL 嵌入式软件 架构模型 AAD L模型
发表作品相关人物供职机构所获资助研究领域
王广仁
供职机构：西北工业大学
研究主题：AADL 可靠性评估 架构模型 模型架构 嵌入式系统
发表作品相关人物供职机构所获资助研究领域
全选 清除 导出
共1页<1>
聚类工具0