Volgen
Xue-yang Zhu
Xue-yang Zhu
State Key Laboratray of Computer Science, Institute of Softeware, Chinese Academy of Sciences
Geverifieerd e-mailadres voor ios.ac.cn
Titel
Geciteerd door
Geciteerd door
Jaar
A temporal logic-based software architecture description language XYZ/ADL
朱雪阳, 唐稚松
Journal of Software 14 (4), 713-720, 2003
74*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
302012
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
242012
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
222015
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
162014
UML 活动图的时序逻辑语义
朱雪阳, 唐稚松
计算机研究与发展 42 (9), 1478-1484, 2005
162005
Static optimal scheduling for synchronous data flow graphs with model checking
XY Zhu, R Yan, YL Gu, J Zhang, W Zhang, G Zhang
FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015
152015
Compositional Semantics and Refinement of Statecharts [J]
ZHU Xue-Yang, T Zhi-Song
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
Formal Methods and Software Engineering: 16th International Conference on …, 2014
82014
Modeling and Analyzing Method for CPS Software Architecture Energy Consumption.
G Zhang, K Zhang, X Zhu, M Chen, C Xu, Y Shao
J. Softw. 8 (11), 2974-2981, 2013
82013
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
52016
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
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
32016
软件体系结构形式描述研究
朱雪阳
北京: 中国科学院软件研究所, 2005
32005
Optimal Offloading for Streaming Applications in Mobile Edge Computing
P Sun, XY Zhu, Y Gao
Journal of Circuits, Systems and Computers 31 (06), 2250102, 2022
12022
VERDS: Modeling and Verification of Finite State Systems with Discrete Time Models by Symbolic Techniques
W Zhang, XY Zhu, YL Bao
2021 International Symposium on Theoretical Aspects of Software Engineering …, 2021
12021
Work-in-progress: equivalence of transformations of synchronous data flow graphs
XY Zhu
2018 International Conference on Hardware/Software Codesign and System …, 2018
12018
Equivalence of transformations of synchronous data flow graphs: Work-in-progress
XY Zhu
Proceedings of the International Conference on Hardware/Software Codesign …, 2018
12018
Pareto optimal scheduling of synchronous data flow graphs via parallel methods
YL Gu, XY Zhu, G Zhang
Dependable Software Engineering: Theories, Tools, and Applications: First …, 2015
12015
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20