Yongxiang Bao

Publication Activity (10 Years)

Years Active: 2017-2017
Publications (10 Years): 2

Top Topics

Tree Search Algorithm

Branch And Bound Search

Lagrangian Heuristic

Partial Order Reduction

Top Venues

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst.

IEEE Trans. Parallel Distributed Syst.

Publications

Mingsong Chen, Yongxiang Bao, Xin Fu, Geguang Pu, Tongquan Wei
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics. IEEE Trans. Parallel Distributed Syst. 28 (5) (2017)
Yongxiang Bao, Mingsong Chen, Qi Zhu, Tongquan Wei, Frédéric Mallet, Tingliang Zhou
Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 36 (12) (2017)