首頁 > 雜志

軟件學(xué)報(bào)(2023年08期)
Journal of Software

  • 基本信息
  • 中國科學(xué)院軟件研究所;中國計(jì)算機(jī)學(xué)會

    月刊

    1000-9825

  • 11-2560/TP

    北京市

    中文;

    16開

    82-367

    1990

  • 出版信息
  • 信息科技

    計(jì)算機(jī)軟件及計(jì)算機(jī)應(yīng)用

    7688篇

  • 4448356次

    301525次

  • 評價(jià)信息
  • 5.201

    2.815

  • INSPEC 科學(xué)文摘(英)(2024)

    JST 日本科學(xué)技術(shù)振興機(jī)構(gòu)數(shù)據(jù)庫(日)(2024)

    Pж(AJ) 文摘雜志(俄)(2020)

    EI 工程索引(美)(2024)

    CSCD 中國科學(xué)引文數(shù)據(jù)庫來源期刊(2023-2024年度)

    WJCI 科技期刊世界影響力指數(shù)報(bào)告(2023)來源期刊

    1992年(第一版),1996年(第二版),2000年版,2004年版,2008年版,2011年版,2014年版,2017年版,2020年版,2023年版

    中科雙百期刊;

目 錄

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

掃碼添加客服微信

聯(lián)系客服