V
主页
京东 11.11 红包
芯片形式验证技术及应用--华为
发布人
芯片形式验证技术及应用--华为
打开封面
下载高清视频
观看高清视频
视频下载器
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
2022.7.23 人工智能安全可信理论与验证平台
智能算法的形式验证与分析
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
轨道交通联锁系统形式化验证解决方案
新一代人工智能:主要特征与典型应用
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(上午场:软硬件基础设施验证)
神经网络鲁棒性验证中的近似技术-华东师大张民教授
Some Progressed of SAT-SMT Solving,互补近似可达技术及其应用研究
CNCC2021《区块链可靠性技术研究》
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证,上午Panel
微小卫星的发展及智能需求
基于软件度量的Solidity智能合约缺陷预测方法
碳达峰碳中和-人工智能发展的必由之路
2021年12月一带一路人工智能大会:人工智能从“三要素”走向“四要素”
2021年11月施巍松教授边缘计算背景应用和挑战讲座
自动驾驶与网络安全
疫情下如何加强时间管理,提高科研和学习效率
编译原理课程Flex+Bison使用讲解
大数据共享与保护、云服务智能故障预测诊断与优化
信息安全发展历程与趋势--冯登国
形式化方法与系统软件:一个实践者的视角
软件工程未来趋势研讨会-2022.7.16
反例引导的C代码空间流模型检测方法
第20届CCF 全国嵌入式系统大会--面向芯片可靠性的任务调度、开源硬件与开源软件、先进技术节点下的混合行高单元合法化研究
SMT求解器LiMbS+基于矛盾体分离的多元协同动态
泛在操作系统:机遇与挑战--梅宏院士
2022年3月人工智能论坛机器之心AI科技年会(上午)
人工智能安全的相关近期研究--南京大学仲盛教授
处理器能用面向对象方法设计吗?--孙凝晖
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
轨道交通系统安全保障与智能化关键技术
2021 CCF软件大会 优秀博士论坛
20241009_095534
夯实AI基础,繁荣AI生态 昇腾赋能共助“一带一路”新发展
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel,下午Panel
美国宇航局最新发布的火星照片
《信息安全学报》线上学术沙龙(第七期)——“人工智能安全”学术报告会
DSA 2022特邀报告