区块链：零信任之上的共识（山东大学成秀珍教授）
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
第七届国际区块链周-部分报告
...
区块链安全与应用技术的研究进展--张小松
...
第七届区块链全球峰会-2021年10月27日下午第一段
...
CNCC2021《区块链可靠性技术研究》
...
数据驱动的编译器测试-北大郝丹教授
...
2024年9月16日作业讲解
...
人工智能安全的相关近期研究--南京大学仲盛教授
...
2021年11月施巍松教授边缘计算背景应用和挑战讲座
...
神经网络鲁棒性验证中的近似技术-华东师大张民教授
...
2021年12月CNCC2021 分片区块链中的编程模型初探
...
信息安全发展历程与趋势--冯登国
...
碳达峰碳中和-人工智能发展的必由之路
...
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel，下午Panel
...
芯片形式验证技术及应用--华为
...
自动驾驶与网络安全
...
硅基文明-西电李晋
...
泛在操作系统：机遇与挑战--梅宏院士
...
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
...
形式化方法与系统软件：一个实践者的视角
...
下一代人工智能交叉学科的机遇与挑战-焦李成院士
...
编译原理课程Flex+Bison使用讲解
...
2021年12月一带一路人工智能大会：人工智能从“三要素”走向“四要素”
...
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
...
ISSRE 2021主旨演讲Program Analysis中国科学院大学张健教授
...
轨道交通联锁系统形式化验证解决方案
...
后E级计算：挑战和对策--钱德沛
...
一种基于GAN的跨项目软件缺陷预测方法
...
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
...
微小卫星的发展及智能需求
...
新硬件机器学习负载分析与优化
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
SMT求解器LiMbS+基于矛盾体分离的多元协同动态
...
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证，上午Panel
...
江贺-编译器的可信保障与智能化
...
2022年3月人工智能论坛机器之心AI科技年会（上午）
...
2022.7.23 人工智能安全可信理论与验证平台
...
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
...
意念影响DNA
...
TaintPoint：使用活跃轨迹高效挖掘污点风格漏洞
...
IJTCS 2021Women in EconCS Panel