京东 11.11 红包
Machine Learning Applications to Mobile Communications
发布人
打开封面 下载高清视频 观看高清视频 视频下载器
...
RobOT Robustness-Oriented Testing for Deep Learning+面向TCP 协议栈的模糊测试框架+Practical V
...
数字粮库
...
泛在操作系统：机遇与挑战--梅宏院士
...
ROSMonitoring， runtime verification
...
TASE 2021 Invited Talk - Moshe Y. Vardi -Program Verification a 70+ Year
...
SETTA 2021: Mechanically Finding the Right Probabilities in Markov Models
...
2022.4.27--片上系统的模块化规范与形式化验证--张弘策（香港科技大学广州校区）
...
从工业界角度看可信AI
...
2021年10月形式化方法专委战略研讨会-下午
...
中国计算机学会形式化方法专委战略研讨会--人机物融合系统设计、综合与监控 Panel，下午Panel
...
基于系统证据分析的隐蔽性攻击检测+开源软件供应链风险分析与治理+扰动下时延混成系统的安全切换控制器生成
...
SETTA 2021 香港科技大学的Charles Zhang教授静态程序分析
...
IJTCS 2021 Industry Forum-Blockchain
...
DSA 2022特邀报告
...
中国计算机学会形式化方法专委战略研讨会--软硬件基础设施验证，上午Panel
...
形式化方法与系统软件：一个实践者的视角
...
ISSRE 2021 Code Maintainability and Testing
...
处理器能用面向对象方法设计吗？--孙凝晖
...
openEuler 与基础软件创新+自然语言驱动的程序生成和分析+程序合成——从补丁合成到算法合成+规约驱动的嵌入式系统综合与验证
...
碳达峰碳中和-人工智能发展的必由之路
...
2021年9月8号Deep Cooperation of CDCL and Local Search for SAT
...
AMiner-谷歌学术-Semantic Scholar-百度学术-知网使用方法分享
...
2021 CCF软件大会 优秀博士论坛
...
Some Progressed of SAT-SMT Solving，互补近似可达技术及其应用研究
...
第七届国际区块链周-部分报告
...
《信息安全学报》线上学术沙龙（第七期）——“人工智能安全”学术报告会
...
IJTCS 2021 Industry Forum - The Implication of EconCS in Online Markets
...
ISSRE2021学术讨论
...
《芯片形式验证技术及应用》+《硬件形式验证应用》+《形式化工具在 EDA 领域最新发展方向研究》
...
国际信息安全顶级学术会议介绍暨数据分析
...
ISSRE 2021学术讨论
...
2021年江苏互联网+师生共创组2下午
...
2021年11月怎么做好科研与写好论文
...
江贺-编译器的可信保障与智能化
...
第七届区块链全球峰会-2021年10月27日下午第一段
...
硅基文明-西电李晋
...
多线程程序混合式污点分析
...
2021年12月CNCC2021 分片区块链中的编程模型初探
...
工业物联网安全可信智能感知与计算
...
夯实AI基础，繁荣AI生态 昇腾赋能共助“一带一路”新发展