• 中国精品科技期刊
  • CCF推荐A类中文期刊
  • 计算领域高质量科技期刊T1类
高级检索

程序语义深度理解前沿进展专题前言
卜磊, 陈振邦
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