首頁 > 雜志
軟件學(xué)報(bào)(2023年07期)
Journal of Software
-
- 基本信息
-
：中國科學(xué)院軟件研究所;中國計(jì)算機(jī)學(xué)會
：月刊
：1000-9825
- 出版信息
-
： 信息科技
： 計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用
：7688篇
- 評價信息
-
：5.201
：2.815
：
目 錄
- 形式化方法與應(yīng)用專題前言
- 安全的混成系統(tǒng)神經(jīng)網(wǎng)絡(luò)控制器生成與驗(yàn)證
- 自動駕駛交叉路口測試場景建模及驗(yàn)證方法
- 基于LLVM Pass的復(fù)雜嵌套循環(huán)自動并行化框架
- 目標(biāo)導(dǎo)向的多線程程序UAF漏洞預(yù)測方法
- 基于約束依賴圖的并發(fā)程序模型檢測工具
- 基于SMT的區(qū)域控制器同步反應(yīng)式模型的形式化驗(yàn)證
- 智能規(guī)劃中面向簡單偏好的高效求解方法
- 面向未解釋程序的合作驗(yàn)證方法
- 前饋神經(jīng)網(wǎng)絡(luò)和循環(huán)神經(jīng)網(wǎng)絡(luò)的魯棒性驗(yàn)證綜述
- 面向Java微服務(wù)系統(tǒng)的透明請求追蹤及采樣方法
- 基于多重異質(zhì)圖的惡意軟件相似性度量方法
- 基于實(shí)例加權(quán)和雙分類器的穩(wěn)定學(xué)習(xí)算法
- 基于雙重注意力機(jī)制的事件抽取方法
- 主動自動機(jī)學(xué)習(xí)中的等價查詢算法優(yōu)化
- 互信息與多條元路徑融合的異質(zhì)網(wǎng)絡(luò)表示學(xué)習(xí)方法
- 基于霧計(jì)算的智能醫(yī)療三方認(rèn)證與密鑰協(xié)商協(xié)議
- 區(qū)塊鏈中可監(jiān)管的身份隱私保護(hù)方案
- 基于義原級語句稀釋法的文本對抗攻擊能力強(qiáng)化方法
- 一種支持分級用戶訪問的文件分層CP-ABE方案
- 集合交集元素之和的保密計(jì)算
- 基于SM9的CCA安全廣播加密方案
- 基于跨域關(guān)聯(lián)與隱私保護(hù)的深度推薦模型
- 基于U-Net結(jié)構(gòu)的生成式多重對抗隱寫算法
- 基于卷積神經(jīng)網(wǎng)絡(luò)的全景分割Transformer模型
- 基于避讓阻塞的優(yōu)先級天花板協(xié)議
- 基于標(biāo)記增強(qiáng)的離散跨模態(tài)哈希方法
- 申威1621處理器上矩陣乘法優(yōu)化研究
- 《軟件學(xué)報(bào)》2023年出版?？?專題
