报告清单
我的报告
[46]软件源代码缺陷检测解决方案
潘克峰 北京北大软件工程股份有限公司
F2 /F2.1 2021年12月12日 11:00~11:30
仅限参会人 口头报告
[45]装备软件测试资产库管理与智能化复用技术
刘畅 博士 北京航空航天大学
F2 /F2.1 2021年12月12日 10:30~11:00
仅限参会人 口头报告
[44]软件源代码检测技术 及平台分享
唐明 研究员级高工
F2 /F2.1 2021年12月12日 10:00~10:30
仅限参会人 口头报告
[43]基于深度学习的 编程现场代码分析与检测
李戈 副教授 北京大学
F2 /F2.1 2021年12月12日 09:30~10:00
仅限参会人 口头报告
[42]安全攸关软件的分析与测试
张健 研究员 中国科学院软件研究所
F2 /F2.1 2021年12月12日 09:00~09:30
仅限参会人 口头报告
[41]超大规模微纳卫星集群的自主健康管理研究
康国华 南京航空航天大学
F6 /F6-1 2021年12月12日 14:00~14:30
仅限参会人 口头报告
[40]天基超算的机遇与挑战报告
赵军锁 研究院 中国科学院软件研究所
F6
仅限参会人 口头报告
[39]主持人开场致辞
邱吉冰 北京计算机技术及应用研究所
F6 /F6-1 2021年12月12日 13:25~13:30
仅限参会人 口头报告
[38]宽电压近阈值设计方法学研究进展
闫浩 讲师 东南大学
F3 /F3.1 2021年12月12日 11:45~12:15
仅限参会人 口头报告
[37]数字异构验证
林铠鹏 副总裁 上海国微思尔芯技术股份有限公司
F3 /F3.1 2021年12月12日 11:15~11:45
仅限参会人 口头报告
重要日期
  • 会议日期

    12月11日

    2021

    12月12日

    2021

  • 08月18日 2021

    注册截止日期

主办单位
中国计算机学会
承办单位
中国计算机学会容错计算专业委员会
同济大学软件学院
历届会议
移动端
在手机上打开
小程序
打开微信小程序
客服
扫码或点此咨询