Multi-objective Optimization Regression Verification for Multi-core Cache Coherence Protocol.
Li LuoYing ZhangHongjun HeLei WangChanzqing XunGuoteng PanJunbo TieHuili HuPublished in: HPCC/DSS/SmartCity/DependSys (2021)
Keyphrases
- multi objective optimization
- multi objective
- evolutionary algorithm
- cryptographic protocols
- genetic algorithm
- formal analysis
- multi objective optimization problems
- regression model
- differential evolution
- protocol specification
- pareto optimal
- multiple objectives
- bi objective
- optimization algorithm
- nsga ii
- multi objective genetic algorithm
- multi objective genetic algorithms
- hybrid evolutionary algorithm
- formal verification
- crossover and mutation
- pareto optimal set
- pareto optimal solutions
- model checking
- particle swarm optimization
- pareto frontier
- solving multi objective optimization problems
- computational efficiency
- multi objective evolutionary algorithms
- multi objective problems