Ziyue Zheng

According to our database, Ziyue Zheng authored at least 3 papers between 2023 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Energy-Optimized Task Offloading with Genetic Simulated-Annealing-Based PSO for Heterogeneous Edge and Cloud Computing.

Haitao Yuan, Ziyue Zheng, Jing Bi, Jia Zhang, MengChu Zhou

Proceedings of the IEEE International Conference on Systems, Man, and Cybernetics, 2024

APE-FV: Concolic Testing for RTL Functional Verification Using Adaptive Path Exploration.

Ziyue Zheng, Xiangchen Meng, Yangdi Lyu

Proceedings of the 42nd IEEE International Conference on Computer Design, 2024

2023

STSearch: State Tracing-based Search Heuristics for RTL Validation.

Ziyue Zheng, Yangdi Lyu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023