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. In 2021 IEEE 23rd Int Conf on High Performance Computing & Communications; 7th Int Conf on Data Science & Systems; 19th Int Conf on Smart City; 7th Int Conf on Dependability in Sensor, Cloud & Big Data Systems & Application (HPCC/DSS/SmartCity/DependSys), Haikou, Hainan, China, December 20-22, 2021. pages 2011-2018, IEEE, 2021. [doi]
Abstract is missing.