Browse by Journal
 | Up a level |
Lai, Zewei and Ye, Jinhui and Wang, Xiaohang and Fu, Zheang and Singh, Amit Kumar and Jiang, Yingtao and Ren, Kui and Yang, Mei and Qiu, Sihai and Li, Xiaodong and Tang, Xin and Song, Jie and Zhang, Mingzhe (2025) On Optimizing Intra- and Inter-chiplet Interconnection Networks in Multi-chiplet Systems for Accelerating FHE Encrypted Neural Network Applications. Transactions on Embedded Computing Systems. (In Press)
Yu, Wangyang and Guo, Qi and Cheng, Yumeng and Liu, Lu and Hao, Fei and Zhai, Xiaojun and Chen, Minsi (2025) Formal Modeling and Reliability Analysis of Hybrid System Based on Semi-continuous Colored Petri Net: A Case Study of Adaptive Cruise Control System. Transactions on Embedded Computing Systems, 24 (3). pp. 1-21. DOI https://doi.org/10.1145/3715960