Lei Qiao(乔磊)关注立即认领分享关注立即认领分享基本信息浏览量:4职业迁徙个人简介暂无内容研究兴趣论文共 21 篇作者统计合作学者相似作者按年份排序按引用量排序主题筛选期刊级别筛选合作者筛选合作机构筛选时间引用量主题期刊级别合作者合作机构面向安全关键内存管理系统分层验证方法李少峰,乔磊,杨孟飞,张锦坤,马智,刘洪标软件学报(2022)引用0浏览0引用00面向空间飞行器的文件系统需求层验证李少峰,杨孟飞,乔磊,姜菁菁,王婷煜空间控制技术与应用(2022)引用0浏览0引用00基于周期虚拟缩减的实时任务调度和分析方法刘洪标,乔磊,杨孟飞, 陈熙,马智,李少峰软件学报(2022)引用0浏览0引用00云计算环境下基于多目标优化的虚拟机放置研究付雄,乔磊,张从越计算机应用与软件(2021)引用0浏览0引用00支持乱序执行的Raft协议魏恒峰,黄宇, 谷晓松,乔磊软件学报(2021)引用2浏览0EI引用20面向SPARC处理器架构的操作系统异常管理验证马智,李少峰,乔磊,杨孟飞软件学报(2021)引用2浏览0引用20基于云计算的航天操作系统中的任务分区与迁移关键技术研究王云,付雄,乔磊,刘波空间控制技术与应用(2020)引用0浏览0引用00PaxosStore中共识协议TPaxos的推导、规约与精化 易星辰,魏恒峰,黄宇,乔磊,吕建软件学报(2020)引用0浏览0引用00基于Coq的操作系统任务管理需求层建模及验证姜菁菁,乔磊,杨孟飞,杨桦,刘波软件学报(2020)引用0浏览0引用00SpaceOS中若干全局性质的形式化描述和验证乔磊,冯新宇, 顾海博,付明小型微型计算机系统no. 1 (2019): 141-148引用1浏览0引用10加载更多作者统计合作学者合作机构D-Core合作者学生导师暂无相似学者,你可以通过学者研究领域进行搜索筛选数据免责声明页面数据均来自互联网公开来源、合作出版商和通过AI技术自动分析结果,我们不对页面数据的有效性、准确性、正确性、可靠性、完整性和及时性做出任何承诺和保证。若有疑问,可以通过电子邮件方式联系我们:report@aminer.cn