, INRIA-LIRMM, University of Montpellier, Montpellier, France; University of Electronic Science and Technology of China, Chengdu, China