學術報告----中國科學院軟件研究所

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

中國科學院軟件研究所

學術報告

[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
[2022-06-29][07-01] Local Search for SMT on Linear Integer Arithmetic
[2022-05-25][05-27] 數值程序分析、驗證與修復
[2022-04-27][04-28] 區塊鏈發展形勢與區塊鏈服務網絡（BSN）創新實踐
[2022-04-11][04-27] 片上系統的模塊化規范與形式化驗證
[2022-04-02][04-08] Superposition for Higher-Order Logic
[2022-03-01][03-03]Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time

12 3 4 5 »下5頁

Copyright © Institute of Software, CAS. All rights reserved.info(at)iscas.ac.cn
版權所有 © 中國科學院軟件研究所　京ICP備05046678號-1　文保網安備1101080077
電話：86-10-62661012　傳真：86-10-62562533　電子郵箱：info@iscas.ac.cn

<u id="saeeq"><wbr id="saeeq"></wbr></u>

<s id="saeeq"><div id="saeeq"></div></s>

<u id="saeeq"></u>

<u id="saeeq"><noscript id="saeeq"></noscript></u>

<s id="saeeq"></s>

久久久综合香蕉尹人综合网