Advanced Search

    column
    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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML 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 FullText HTML PDF
    Email Alert RSS