Advanced Search

    column
    Preface
    Dong Zhen, Du Dehui, Zhang Min, Yue Tao, Liang Peng
    2026, 63(5): 1095-1096. DOI: 10.7544/issn1000-1239.20265
    Abstract PDF
    LLM-Based Interpretable Embedded System Requirements Specification
    Wang Chunhui, Zhao Jiaqi, Chen Xiaohong, Jin Zhi
    2026, 63(5): 1097-1116. DOI: 10.7544/issn1000-1239.202550898
    Abstract PDF
    Isabelle-Driven Modeling and Automated Verification of Search Tree Algorithms
    Zuo Zhengkang, Zhu Xiaoying, You Zhen, Wang Changjing
    2026, 63(5): 1117-1138. DOI: 10.7544/issn1000-1239.202550899
    Abstract PDF
    Functional Modeling, Verification and Access Optimization of Adaptive Priority Search Tree
    Zuo Zhengkang, Zhou Chao, Ke Yuhan, You Zhen, Wang Changjing
    2026, 63(5): 1139-1157. DOI: 10.7544/issn1000-1239.202550901
    Abstract PDF
    Towards Trustworthy Evaluation and Analysis of Intelligent Vulnerability Detection Models under Pairwise Prediction
    Zhu Jiahao, Wei Zichao, Guo Jingyi, Wen Ming, Jin Hai
    2026, 63(5): 1158-1176. DOI: 10.7544/issn1000-1239.202550902
    Abstract PDF
    An Empirical Study of Privilege Usage in Large Language Model MCP Servers
    Zhang Quan, Feng Juexiao, Zhou Chijin, Jiang Yu
    2026, 63(5): 1177-1190. DOI: 10.7544/issn1000-1239.202550874
    Abstract PDF
    A Performance Detection Metric for Cloud Applications Based on Kernel Function Call Frequencies
    Huang Ziwei, Yao Yiqi, Bao Yungang, Wang Sa
    2026, 63(5): 1191-1208. DOI: 10.7544/issn1000-1239.202440970
    Abstract PDF
    Optimizing Graph Computing with an Adaptive Cache Structure
    Jia Chaoyang, Chen Shi, Liu Jingyu, Shen Li
    2026, 63(5): 1209-1223. DOI: 10.7544/issn1000-1239.202550219
    Abstract PDF
    Efficient and Scalable 3D-FFT Heterogeneous Computing Architecture
    Deng Ziwei, Guo Wei, Xu Yaming, Wang Qing, Zhang Deshan, Lu Shengcai, Liu Tao
    2026, 63(5): 1224-1237. DOI: 10.7544/issn1000-1239.202550393
    Abstract PDF
    BE-HB: A Hybrid Bit-Width Convolution Processing Unit Based on Block Floating Point
    Li Dongyang, Li Zeyang, Tang Yibin, Liu Bosheng, Wu Jigang
    2026, 63(5): 1238-1248. DOI: 10.7544/issn1000-1239.202550645
    Abstract PDF
    Decision Tree-Based Assembly for Learnwares from Heterogeneous Feature Spaces
    Tan Peng, Zhou Zhihua
    2026, 63(5): 1249-1260. DOI: 10.7544/issn1000-1239.202550460
    Abstract PDF
    Iterative Two-Stage Schema-Enhanced SQL Generation with Large Language Models
    Zhang Wei, Zhou Dong’ao, Gong Yongshun, Yin Yilong
    2026, 63(5): 1261-1272. DOI: 10.7544/issn1000-1239.202550355
    Abstract PDF
    Visual Reinforcement Learning Representation Optimization Based on Memory Augmentation and Environment Disentanglement
    Xu Donghong, Wu Shilong
    2026, 63(5): 1273-1289. DOI: 10.7544/issn1000-1239.202550320
    Abstract PDF
    Skin Lesion Segmentation Based on Topological Prior and Dual-Branch Vision Mamba
    Geng Leilei, Xu Zhenxi, Ji Zexuan, Wu Sihan, Fan Linwei, Liu Hui
    2026, 63(5): 1290-1304. DOI: 10.7544/issn1000-1239.202550492
    Abstract PDF
    AI-Model Network: Concept, Current State and Future
    Li Zhetao, Zeng Xiyu, Wang Jianhui, Xiao Yong, Liu Zhongren, Wu Junru, Lai Junjie, Huang Jijun, Long Saiqin
    2026, 63(5): 1305-1318. DOI: 10.7544/issn1000-1239.202550223
    Abstract PDF
    Survey on Blockchain Sharding Technologies with Smart Contract Compatibility
    Zhang Zitong, Han Haoxiang, Shi Chaoming, Yan Zheng, Wang Haiguang, Li Tieyan
    2026, 63(5): 1319-1336. DOI: 10.7544/issn1000-1239.202550305
    Abstract PDF
    Lightweight Embedded RDMA Software Stack for High-Speed Sensor Data Acquisition
    Yang Hui, Zhang Yutao, Huang Mandi, Yuan Yulei, Wang Qing, Li Tao
    2026, 63(5): 1337-1349. DOI: 10.7544/issn1000-1239.202550472
    Abstract PDF
    LASM: Automatically Lift x86 Inline Assembly for Whole Program Analysis
    Lai Yuanming, Wang Zhe, Wu Chenggang, Yu Ding, Hou Chengxuan
    2026, 63(5): 1350-1375. DOI: 10.7544/issn1000-1239.202440881
    Abstract PDF
    Email Alert RSS