J. Syst. Archit.

Keyphrases

Publications

volume 147, 2024

Jieung Kim, Ronghui Gu, Zhong Shao
SimplMM: A simplified and abstract multicore hardware model for large scale system software formal verification. J. Syst. Archit. 147 (2024)
Yuhan Lin, Qingxu Deng, Meiling Han, Zhiwei Feng, Shumo Wang, Qize Peng
LAG-based schedulability analysis for preemptive global EDF scheduling with dynamic cache allocation. J. Syst. Archit. 147 (2024)
Xing Chen, Anish Krishnakumar, Ümit Y. Ogras, Chaitali Chakrabarti
PED: Probabilistic Energy-efficient Deadline-aware scheduler for heterogeneous SoCs. J. Syst. Archit. 147 (2024)
Jieung Kim, Jérémie Koenig, Hao Chen, Ronghui Gu, Zhong Shao
ThreadAbs: A template to build verified thread-local interfaces with software scheduler abstractions. J. Syst. Archit. 147 (2024)
Weichu Xiao, Guoqi Xie, Hong Liu, Weihong Chen, Renfa Li
FDAN: Fuzzy deep attention networks for driver behavior recognition. J. Syst. Archit. 147 (2024)
Ran Xu, Yanwei Zhou, Qiliang Yang, Kunwei Yang, Yu Han, Bo Yang, Zhe Xia
An efficient and secure certificateless aggregate signature scheme. J. Syst. Archit. 147 (2024)
Simran Preet Kaur, Manojit Ghose, Ananya Pathak, Rutuja Patole
A survey on mapping and scheduling techniques for 3D Network-on-chip. J. Syst. Archit. 147 (2024)
Dawei Yang, Ning He, Xing Hu, Zhihang Yuan, Jiangyong Yu, Chen Xu, Zhe Jiang
Post-training quantization for re-parameterization via coarse & fine weight splitting. J. Syst. Archit. 147 (2024)
Pu Wang, Tao Ouyang, Qiong Wu, Qianyi Huang, Jie Gong, Xu Chen
Hydra: Hybrid-model federated learning for human activity recognition on heterogeneous devices. J. Syst. Archit. 147 (2024)
Yongliang Xu, Chunhua Jin, Wenyu Qin, Jie Zhao, Guanhua Chen, Fugeng Zeng
BDACD: Blockchain-based decentralized auditing supporting ciphertext deduplication. J. Syst. Archit. 147 (2024)

volume 146, 2024

volume 145, 2023

volume 144, 2023