首頁 > 雜志
軟件學(xué)報(2023年08期)
Journal of Software
-
- 基本信息
-
主辦單位 :中國科學(xué)院軟件研究所;中國計算機學(xué)會出版周期 :月刊ISSN :1000-9825
- 出版信息
-
專輯名稱 : 信息科技專題名稱 : 計算機軟件及計算機應(yīng)用出版文獻量 :7688篇
- 評價信息
-
(2023版)復(fù)合影響因子 :5.201(2023版)綜合影響因子 :2.815該刊被以下數(shù)據(jù)庫收錄 :
目 錄
- 約束求解與定理證明專題前言
- 基于不可滿足核的近似逼近可達性分析
- GC-MCR:有向圖約束指導(dǎo)的并發(fā)缺陷檢測方法
- 基于精化的TrustZone多安全分區(qū)建模與形式化驗證
- L4虛擬內(nèi)存子系統(tǒng)的形式化驗證
- 針對教學(xué)場景的ZFC集合論Coq形式化
- 強表達描述邏輯本體的后繼式公理定位研究
- 基于核外計算的Datalog引擎設(shè)計與實現(xiàn)
- 用戶特征請求分析與處理研究綜述
- 可信執(zhí)行環(huán)境訪問控制建模與安全性分析
- Streett自動機確定化工具
- 基于非交互式Petri網(wǎng)的異步程序驗證模型和方法
- 基于函數(shù)式語義的循環(huán)和遞歸程序結(jié)構(gòu)通用證明技術(shù)
- 一個切換認證的5G鑒權(quán)協(xié)議及其形式化分析
- 基于Petri網(wǎng)展開的多線程程序數(shù)據(jù)競爭檢測與重演
- 基于Capstone和流敏感混合執(zhí)行的自動化反混淆技術(shù)
- 反射剖面精確擬合的次表面散射計算方法
- 人工智能系統(tǒng)可信性度量評估研究綜述
- 電動自行車軌跡簡化與自適應(yīng)地圖匹配算法
- 顯式知識推理和深度強化學(xué)習(xí)結(jié)合的動態(tài)決策
- 基于貝葉斯網(wǎng)絡(luò)構(gòu)建RoboSim模型的自動駕駛行為決策
- 基于K Framework的向量化機器學(xué)習(xí)指令語義形式化
- 帶內(nèi)網(wǎng)絡(luò)遙測方法綜述
- 對一種白盒SM4方案的差分計算分析
- 基于深度學(xué)習(xí)的事件抽取研究綜述
- 基于流特征的數(shù)據(jù)中心非對稱流負載均衡方法