Xue-Yang Zhu

Xue-Yang Zhu

Institute of Software, Chinese Academy of Sciences - Beijing / China
Engineering & Technology / Computer Science
AD Scientific Index ID: 4601752
-
person_outline Xue-Yang Zhu's MOST POPULAR ARTICLES
1-) A temporal logic-based software architecture description language XYZ/ADLZHU Xue-Yang, T Zhi-Song74*2003
2-) Efficient retiming of multirate DSP algorithmsXY Zhu, T Basten, M Geilen, S StuijkIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012282012
3-) Multiconstraint static scheduling of synchronous dataflow graphs via retiming and unfoldingXY Zhu, M Geilen, T Basten, S StuijkIEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015232015
4-) Static rate-optimal scheduling of multirate DSP algorithms via retiming and unfoldingXY Zhu, M Geilen, T Basten, S Stuijk2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012242012
5-) Static optimal scheduling for synchronous data flow graphs with model checkingXY Zhu, R Yan, YL Gu, J Zhang, W Zhang, G ZhangInternational Symposium on Formal Methods, 551-569, 2015162015