学术报告-亚博88体育

亚博88体育-亚博188网站

学术报告

[2023-12-29][2024-01-05]一生一芯”计划——设计人生中的第一颗处理器芯片
[2023-12-29][2024-01-04]protect code datasets against unauthorized training usage with imperceptible watermark
[2023-12-25][12-29]aia：ai辅助算法设计的若干尝试
[2023-12-11][12-11] an fpras for two terminal reliability in directed acyclic graphs
[2023-11-01][11-02]概率递归关系尾概率的自动化分析
[2023-10-17][10-23]linear hybrid systems are hard: the case of linear complementarity systems and the quest f...
[2023-09-18][09-20] from vision to text: data-driven automated bug replay
[2023-06-08][06-12]model-based analysis from traditional to intelligent software
[2023-05-17][05-26]verification-in-the-loop: a safe reinforcement learning framework
[2023-05-10][05-10]移动应用质量保障关键技术研究
[2023-05-10][05-17]encore: efficient architecture verification framework with fpga acceleration
[2023-05-04][05-08]sklcs seminar on “ 模糊测试的种子输入生成技术”
[2023-05-04][05-04]sklcs seminar on “解密模糊测试的基础机制"
[2023-04-20][4-26]statefuzz：状态敏感的linux内核驱动程序模糊测试
[2023-04-06][04-07] sklcs seminar on “mimos: from theory to tools for embedded software design & update”
[2022-12-12][12-23] latticed k-induction with an application to probabilistic programs
[2022-11-30][12-01] sklcs seminar on “智能数字服务生态系统演化支撑理论与应用”
[2022-10-11][10-14] optimization, generalization and implicit bias of gradient methods in deep learning
[2022-09-29][10-07] 基于算法模式合成高效程序
[2022-09-22][09-30] stability analysis of time-delay systems
[2022-09-21][09-22] 可信任的分布式隐私保护机器学习方法与应用
[2022-09-05][09-06] 人工智能安全攻防对抗
[2022-08-22][08-26] 约束满足解的近线性时间采样算法
[2022-08-18][08-19] 多项式优化：理论与实践
[2022-06-29][07-01] algorithmic foundation of blockchain: the case of broadcast

12 3 4 5 »下5页

亚博188网站 copyright © institute of software, cas. all rights reserved.info(at)iscas.ac.cn
亚博188网站的版权所有 © 中国科学院软件研究所　　文保网安备1101080077
电话：86-10-62661012　传真：86-10-62562533　电子邮箱：info@iscas.ac.cn