张学军
作品数: 3被引量:5H指数:1
  • 所属机构:北京控制与电子技术研究所
  • 所在地区:北京市
  • 研究方向:自动化与计算机技术

相关作者

吕毅
作品数:17被引量:89H指数:4
供职机构:中国科学院软件研究所
研究主题:形式化方法 机群文件系统 服务网格 并发 机群
王恂
作品数:1被引量:1H指数:1
供职机构:北京控制与电子技术研究所
研究主题:MPI 弹道仿真 加速比 计算机机群
吴鹏
作品数:10被引量:29H指数:2
供职机构:中国科学院软件研究所
研究主题:并发 黑盒 公平 机器学习模型 环境构建
王淑灵
作品数:7被引量:29H指数:3
供职机构:中国科学院软件研究所
研究主题:形式化验证 形式化 混成系统 多机器人路径规划 定理证明
王慧
作品数:50被引量:38H指数:3
供职机构:柳州职业技术学院
研究主题:入侵检测 计算机 柴油发电机 高职院校 二值图像