Xue-yang Zhu
Xue-yang Zhu
State Key Laboratray of Computer Science, Institute of Softeware, Chinese Academy of Sciences
Verified email at ios.ac.cn
Title
Cited by
Cited by
Year
A temporal logic-based software architecture description language XYZ/ADL
ZHU Xue-Yang, T Zhi-Song
85*2003
Efficient retiming of multirate DSP algorithms
XY Zhu, T Basten, M Geilen, S Stuijk
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2012
252012
Static rate-optimal scheduling of multirate DSP algorithms via retiming and unfolding
XY Zhu, M Geilen, T Basten, S Stuijk
2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium …, 2012
202012
A temporal logic semantics for UML activity diagrams
X Zhu, ZS Tang
Journal of Computer Research and Development 42 (9), 1478-1484, 2005
19*2005
Multiconstraint static scheduling of synchronous dataflow graphs via retiming and unfolding
XY Zhu, M Geilen, T Basten, S Stuijk
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
132015
Memory-Constrained Static Rate-Optimal Scheduling of Synchronous Dataflow Graphs via Retiming
XY Zhu, M Geilen, T Basten, S Stuijk
17th Design, Automation and Test in Europe, DATE2014, 2014
132014
Static optimal scheduling for synchronous data flow graphs with model checking
XY Zhu, R Yan, YL Gu, J Zhang, W Zhang, G Zhang
International Symposium on Formal Methods, 551-569, 2015
112015
Compositional Semantics and Refinement of Statecharts [J]
XY ZHU, ZS TANG
Journal of Software 4 (17), 670-681, 2006
10*2006
Retiming multi-rate DSP algorithms to meet real-time requirement
XY Zhu
2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010 …, 2010
92010
Formal throughput and response time analysis of MARTE models
G Yan, XY Zhu, R Yan, G Li
International Conference on Formal Engineering Methods, 430-445, 2014
62014
Modeling and analyzing method for cps software architecture energy consumption
G Zhang, K Zhang, X Zhu, M Chen, C Xu, Y Shao
Journal of Software 8 (11), 2974-2981, 2013
62013
The Dual Software Architecture Description Framework XYZ/ADL
X Zhu
Jisuanji Yanjiu yu Fazhan(Computer Research and Development) 44 (9), 1485-1494, 2007
4*2007
软件体系结构形式描述研究
朱雪阳
北京: 中国科学院软件研究所, 2005
32005
Work-in-progress: equivalence of transformations of synchronous data flow graphs
XY Zhu
2018 International Conference on Hardware/Software Codesign and System …, 2018
22018
Pareto optimal scheduling for synchronous data flow graphs on heterogeneous multiprocessor
YL Gu, XY Zhu, G Zhang, Y He
2016 21st International Conference on Engineering of Complex Computer …, 2016
22016
Equivalence of transformations of synchronous data flow graphs: Work-in-progress
XY Zhu
Proceedings of the International Conference on Hardware/Software Codesign …, 2018
12018
Analyzing GUI running fluency for android apps
T Huang, Z Zhang, XY Zhu
Proceedings of the 3rd ACM Workshop on Mobile Sensing, Computing and …, 2016
12016
Pareto optimal scheduling of synchronous data flow graphs via parallel methods
YL Gu, XY Zhu, G Zhang
International Symposium on Dependable Software Engineering: Theories, Tools …, 2015
12015
Static Optimal Scheduling and Mapping of Synchronous Dataflow Graphs on a Heterogeneous Multiprocessor Platform with Model Checking
XY Zhu, R Yan, YL Gu, G Zhang
12014
Efficient Retiming of Unfolded Synchronous Dataflow Graphs
XY Zhu
2019 24th International Conference on Engineering of Complex Computer …, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–20