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

Preface of Special Issue on Advances in Deep Understanding of Program Semantics
Bu Lei, Chen Zhenbang
2023, 60(2): 225-226. DOI: 10.7544/issn1000-1239.qy20230201
Abstract PDF
Research Progress on Abstract Interpretation and Its Application
Chen Liqian, Fan Guangsheng, Yin Banghu, Wang Ji
2023, 60(2): 227-247. DOI: 10.7544/issn1000-1239.202220925
Abstract PDF
Design and Implementation of a Parallel Symbolic Execution Engine Based on Multi-Threading
Zhou Peng, Zuo Zhiqiang
2023, 60(2): 248-261. DOI: 10.7544/issn1000-1239.202220920
Abstract PDF
Static Instrumentation Techniques in Fuzzing Testing
Wang Mingzhe, Jiang Yu, Sun Jiaguang
2023, 60(2): 262-273. DOI: 10.7544/issn1000-1239.202220883
Abstract PDF
Survey on Java Pointer Analysis
Tan Tian, Ma Xiaoxing, Xu Chang, Ma Chunyan, Li Yue
2023, 60(2): 274-293. DOI: 10.7544/issn1000-1239.202220901
Abstract PDF
Atomicity Violation Detection for Interrupt-Driven Aerospace Embedded Software
Yu Tingting, Li Chao, Wang Boxiang, Chen Rui, Jiang Yunsong
2023, 60(2): 294-310. DOI: 10.7544/issn1000-1239.202220908
Abstract PDF
Gas Optimization for Smart Contracts: A Survey
Song Shuwei, Ni Xiaoze, Chen Ting
2023, 60(2): 311-325. DOI: 10.7544/issn1000-1239.202220887
Abstract PDF
Memory Copy Function Identification Technique with Control Flow and Data Flow Analysis
Yin Xiaokang, Lu Bin, Cai Ruijie, Zhu Xiaoya, Yang Qichao, Liu Shengli
2023, 60(2): 326-340. DOI: 10.7544/issn1000-1239.202110990
Abstract PDF
Aggregate Signcryption Scheme Supporting Multi-Ciphertext Equality Test for Wireless Body Area Network
Yang Xiaodong, Zhou Hang, Ren Ningning, Yuan Sen, Wang Caifen
2023, 60(2): 341-350. DOI: 10.7544/issn1000-1239.202110775
Abstract PDF
Efficient and Secure Attribute-Based Signatures for General Circuits
Huang Zhenjie, Lin Zhiwei
2023, 60(2): 351-361. DOI: 10.7544/issn1000-1239.202110920
Abstract PDF
Attribute-Based Online/Offline Signature Scheme Based on SM9
Zhu Liufu, Li Jiguo, Lai Jianchang, Huang Xinyi, Zhang Yichen
2023, 60(2): 362-370. DOI: 10.7544/issn1000-1239.202220530
Abstract PDF
Task Offloading Strategy in Mobile Edge Computing Based on Cloud-Edge-End Cooperation
Zhang Wenzhu, Yu Jinghua
2023, 60(2): 371-385. DOI: 10.7544/issn1000-1239.202110803
Abstract PDF
Dynamic Key Management of Industrial Internet Based on Blockchain
Zhang Zelin, Wang Huaqun
2023, 60(2): 386-397. DOI: 10.7544/issn1000-1239.202111095
Abstract PDF
Survey of Collaborative Inference for Edge Intelligence
Wang Rui, Qi Jianpeng, Chen Liang, Yang Long
2023, 60(2): 398-414. DOI: 10.7544/issn1000-1239.202110867
Abstract PDF
An Unsupervised Person Re-Identification Method Based on Intra-/Inter-Camera Merger
Chen Liwen, Ye Feng, Huang Tianqiang, Huang Liqing, Weng Bin, Xu Chao, Hu Jie
2023, 60(2): 415-425. DOI: 10.7544/issn1000-1239.202110732
Abstract PDF
Point Cloud Scene Flow Propagation Update Method Based on Neighborhood Consistency
Zheng Han, Wang Ning, Ma Xinzhu, Zhang Hong, Wang Zhihui, Li Haojie
2023, 60(2): 426-434. DOI: 10.7544/issn1000-1239.202110745
Abstract PDF
A Fast Black Box Boundary Attack Algorithm Based on Geometric Detection
Liu Hao, Zhang Zehui, Xia Xiaofan, Gao Tiegang
2023, 60(2): 435-447. DOI: 10.7544/issn1000-1239.202110991
Abstract PDF
High-order Caputo Fractional Order Differential Operator and Its Application in Image Enhancement
Wang Xianghai, Zhang Wenya, Xing Junyu, Lü Fang, Mu Zhenhua
2023, 60(2): 448-464. DOI: 10.7544/issn1000-1239.202110942
Abstract PDF
Small Target Detection Network Based on Context Augmentation and Feature Refinement
Xiao Jinsheng, Zhao Tao, Zhou Jian, Le Qiuping, Yang Liheng
2023, 60(2): 465-474. DOI: 10.7544/issn1000-1239.202110956
Abstract PDF
Email Alert RSS
微信订阅号<br/>（实时资讯）

微信订阅号
（实时资讯）

微信服务号<br/>（同步网站）

微信服务号
（同步网站）

微信视频号<br/>（视频分享）

微信视频号
（视频分享）

CCF<br/>（扫码入会）

CCF
（扫码入会）

Copyright © Editorial Department of Computer Research and Development

Supported by: Beijing Renhe Information Technology Co., Ltd.  Baidu Analytics