高级检索

    栏目
    程序语义深度理解前沿进展专题前言
    卜磊, 陈振邦
    2023, 60(2): 225-226. DOI: 10.7544/issn1000-1239.qy20230201
    摘要 HTML全文 PDF
    抽象解释及其应用研究进展
    陈立前, 范广生, 尹帮虎, 王戟
    2023, 60(2): 227-247. DOI: 10.7544/issn1000-1239.202220925
    摘要 HTML全文 PDF
    基于多线程并行的符号执行引擎设计与实现
    周彭, 左志强
    2023, 60(2): 248-261. DOI: 10.7544/issn1000-1239.202220920
    摘要 HTML全文 PDF
    模糊测试中的静态插桩技术
    王明哲, 姜宇, 孙家广
    2023, 60(2): 262-273. DOI: 10.7544/issn1000-1239.202220883
    摘要 HTML全文 PDF
    Java指针分析综述
    谭添, 马晓星, 许畅, 马春燕, 李樾
    2023, 60(2): 274-293. DOI: 10.7544/issn1000-1239.202220901
    摘要 HTML全文 PDF
    中断驱动型航天嵌入式软件原子性违反检测方法
    于婷婷, 李超, 王博祥, 陈睿, 江云松
    2023, 60(2): 294-310. DOI: 10.7544/issn1000-1239.202220908
    摘要 HTML全文 PDF
    智能合约Gas优化综述
    宋书玮, 倪孝泽, 陈厅
    2023, 60(2): 311-325. DOI: 10.7544/issn1000-1239.202220887
    摘要 HTML全文 PDF
    基于控制流和数据流分析的内存拷贝类函数识别技术
    尹小康, 芦斌, 蔡瑞杰, 朱肖雅, 杨启超, 刘胜利
    2023, 60(2): 326-340. DOI: 10.7544/issn1000-1239.202110990
    摘要 HTML全文 PDF
    支持多密文等值测试的无线体域网聚合签密方案
    杨小东, 周航, 任宁宁, 袁森, 王彩芬
    2023, 60(2): 341-350. DOI: 10.7544/issn1000-1239.202110775
    摘要 HTML全文 PDF
    支持一般电路的高效安全基于属性签名
    黄振杰, 林志伟
    2023, 60(2): 351-361. DOI: 10.7544/issn1000-1239.202110920
    摘要 HTML全文 PDF
    基于商密SM9的属性基在线/离线签名方案
    朱留富, 李继国, 赖建昌, 黄欣沂, 张亦辰
    2023, 60(2): 362-370. DOI: 10.7544/issn1000-1239.202220530
    摘要 HTML全文 PDF
    移动边缘计算中基于云边端协同的任务卸载策略
    张文柱, 余静华
    2023, 60(2): 371-385. DOI: 10.7544/issn1000-1239.202110803
    摘要 HTML全文 PDF
    基于区块链的工业互联网动态密钥管理
    张泽林, 王化群
    2023, 60(2): 386-397. DOI: 10.7544/issn1000-1239.202111095
    摘要 HTML全文 PDF
    面向边缘智能的协同推理综述
    王睿, 齐建鹏, 陈亮, 杨龙
    2023, 60(2): 398-414. DOI: 10.7544/issn1000-1239.202110867
    摘要 HTML全文 PDF
    基于摄像头域内域间合并的无监督行人重识别方法
    陈利文, 叶锋, 黄添强, 黄丽清, 翁彬, 徐超, 胡杰
    2023, 60(2): 415-425. DOI: 10.7544/issn1000-1239.202110732
    摘要 HTML全文 PDF
    基于邻域一致性的点云场景流传播更新方法
    郑晗, 王宁, 马新柱, 张宏, 王智慧, 李豪杰
    2023, 60(2): 426-434. DOI: 10.7544/issn1000-1239.202110745
    摘要 HTML全文 PDF
    一种基于几何探测的快速黑盒边界攻击算法
    刘昊, 张泽辉, 夏晓帆, 高铁杠
    2023, 60(2): 435-447. DOI: 10.7544/issn1000-1239.202110991
    摘要 HTML全文 PDF
    高阶次Caputo型分数阶微分算子及其图像增强应用
    王相海, 张文雅, 邢俊宇, 吕芳, 穆振华
    2023, 60(2): 448-464. DOI: 10.7544/issn1000-1239.202110942
    摘要 HTML全文 PDF
    基于上下文增强和特征提纯的小目标检测网络
    肖进胜, 赵陶, 周剑, 乐秋平, 杨力衡
    2023, 60(2): 465-474. DOI: 10.7544/issn1000-1239.202110956
    摘要 HTML全文 PDF
    邮件订阅 RSS