V
主页
新硬件机器学习负载分析与优化
发布人
新硬件机器学习负载分析与优化
打开封面
下载高清视频
观看高清视频
视频下载器
大数据共享与保护、云服务智能故障预测诊断与优化
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
Machine Learning Applications to Mobile Communications
形式化方法与系统软件:一个实践者的视角
一种基于GAN的跨项目软件缺陷预测方法
后E级计算:挑战和对策--钱德沛
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证,上午Panel
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
SMT求解器LiMbS+基于矛盾体分离的多元协同动态
数字粮库
区块链安全与应用技术的研究进展--张小松
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel,下午Panel
基于软件度量的Solidity智能合约缺陷预测方法
多线程程序混合式污点分析
《信息安全学报》线上学术沙龙(第七期)——“人工智能安全”学术报告会
智能算法的形式验证与分析
2021年10月形式化方法专委战略研讨会-上午
泛在互联环境下数据治理--数据安全与隐私计算
下一代人工智能交叉学科的机遇与挑战-焦李成院士
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(下午场:人机物融合系统设计、综合与监控)
Some Progressed of SAT-SMT Solving,互补近似可达技术及其应用研究
基于名义内存模型的C程序编译验证+归纳类型可数性在Coq中的形式化+并行嵌入式软件的时间正确性验证
处理器能用面向对象方法设计吗?--孙凝晖
微小卫星的发展及智能需求
ISSRE2021学术讨论
演绎数据库与溯因:回顾产学研案例与探索未来
疫情下如何加强时间管理,提高科研和学习效率
2022.4.27--片上系统的模块化规范与形式化验证--张弘策(香港科技大学广州校区)
碳达峰碳中和-人工智能发展的必由之路
DSA 2022特邀报告
ROSMonitoring, runtime verification
硅基文明-西电李晋
中国计算机学会形式化方法专委战略研讨会: 基于形式化方法的计算系统设计与验证(上午场:软硬件基础设施验证)
2021年江苏互联网+师生共创组2下午
第七届国际区块链周-部分报告
反例引导的C代码空间流模型检测方法
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models