京东 11.11 红包
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
神经网络鲁棒性验证中的近似技术-华东师大张民教授
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
...
ROSMonitoring， runtime verification
...
新一代人工智能：主要特征与典型应用
...
Machine Learning Applications to Mobile Communications
...
第20届CCF 全国嵌入式系统大会--芯片形式化验证技术及其应用案例、电子系统空间辐射效应建模仿真方法
...
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
...
碳达峰碳中和-人工智能发展的必由之路
...
形式化方法与系统软件：一个实践者的视角
...
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel，下午Panel
...
轨道交通系统安全保障与智能化关键技术
...
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
...
2021年11月怎么做好科研与写好论文
...
2022.4.27--片上系统的模块化规范与形式化验证--张弘策（香港科技大学广州校区）
...
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
...
泛在操作系统：机遇与挑战--梅宏院士
...
CCF YOCSEF 观点论坛：如何释放青年学者的内生动能——帽子、票子还是调子？
...
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
...
自动驾驶系统中深度学习模型的研究现状，安全挑战与发展趋势
...
新硬件机器学习负载分析与优化
...
2021年12月一带一路人工智能大会：人工智能从“三要素”走向“四要素”
...
2021年8月29日泛在操作系统CCF系统软件技术论坛
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
ISSRE2021学术讨论
...
人工智能产业化的困境与机遇从深度学习的能力和局限谈起
...
大数据共享与保护、云服务智能故障预测诊断与优化
...
硅基文明-西电李晋
...
航天嵌入式软件可信研究进展与展望--杨孟飞院士
...
反例引导的C代码空间流模型检测方法
...
TaintPoint：使用活跃轨迹高效挖掘污点风格漏洞
...
2021年10月形式化方法专委战略研讨会-上午
...
第七届国际区块链周-部分报告
...
RobOT Robustness-Oriented Testing for Deep Learning+面向TCP 协议栈的模糊测试框架+Practical V
...
软件漏洞自动利用研究的价值与挑战
...
微小卫星的发展及智能需求
...
DSA 2022特邀报告
...
编译原理课程Flex+Bison使用讲解
...
夯实AI基础，繁荣AI生态 昇腾赋能共助“一带一路”新发展