Login / Signup
Chanzqing Xun
Publication Activity (10 Years)
Years Active: 2021-2021
Publications (10 Years): 1
Top Topics
Formal Analysis
Solving Multi Objective Optimization Problems
Pareto Optimal Set
Nsga Ii
Top Venues
HPCC/DSS/SmartCity/DependSys
</>
Publications
</>
Li Luo
,
Ying Zhang
,
Hongjun He
,
Lei Wang
,
Chanzqing Xun
,
Guoteng Pan
,
Junbo Tie
,
Huili Hu
Multi-objective Optimization Regression Verification for Multi-core Cache Coherence Protocol.
HPCC/DSS/SmartCity/DependSys
(2021)