Mingsong Chen
Mingsong Chen
Software Engineering Institute, East China Normal University
Email confirmado em sei.ecnu.edu.cn - Página inicial
Título
Citado por
Citado por
Ano
Automatic test case generation for UML activity diagrams
C Mingsong, Q Xiaokang, L Xuandong
Proceedings of the 2006 international workshop on Automation of software …, 2006
2152006
Resource management for improving soft-error and lifetime reliability of real-time MPSoCs
J Zhou, J Sun, X Zhou, T Wei, M Chen, S Hu, XS Hu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
1072018
Thermal-aware task scheduling for energy minimization in heterogeneous real-time MPSoC systems
J Zhou, T Wei, M Chen, J Yan, XS Hu, Y Ma
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2015
1032015
UML activity diagram-based automatic test case generation for Java programs
M Chen, X Qiu, W Xu, L Wang, J Zhao, X Li
The Computer Journal 52 (5), 545-556, 2009
952009
QoS-adaptive approximate real-time computation for mobility-aware IoT lifetime optimization
K Cao, G Xu, J Zhou, T Wei, M Chen, S Hu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
772018
Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs
J Zhou, J Yan, K Cao, Y Tan, T Wei, M Chen, G Zhang, X Chen, S Hu
Journal of Systems Architecture 82, 1-11, 2018
602018
A survey of optimization techniques for thermal-aware 3D processors
K Cao, J Zhou, T Wei, M Chen, S Hu, K Li
Journal of Systems Architecture 97, 397-415, 2019
582019
Functional test generation using efficient property clustering and learning techniques
M Chen, P Mishra
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2010
572010
Coverage-driven automatic test generation for UML activity diagrams
M Chen, P Mishra, D Kalita
Proceedings of the 18th ACM Great Lakes symposium on VLSI, 139-142, 2008
512008
System-Level Validation: High-Level Modeling and Directed Test Generation Techniques
M Chen, X Qin, HM Koo, P Mishra
Springer, 2013
502013
Energy-aware virtual machine allocation for cloud with resource reservation
X Zhang, T Wu, M Chen, T Wei, J Zhou, S Hu, R Buyya
Journal of Systems and Software 147, 147-161, 2019
482019
Cost and makespan-aware workflow scheduling in hybrid clouds
J Zhou, T Wang, P Cong, P Lu, T Wei, M Chen
Journal of Systems Architecture 100, 101631, 2019
452019
Affinity-driven modeling and scheduling for makespan optimization in heterogeneous multiprocessor systems
K Cao, J Zhou, P Cong, L Li, T Wei, M Chen, S Hu, XS Hu
IEEE Transactions on Computer-Aided Design of Integrated Circuits and …, 2018
452018
Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms
J Zhou, K Cao, P Cong, T Wei, M Chen, G Zhang, J Yan, Y Ma
Journal of Systems and Software 133, 1-16, 2017
442017
Automatic RTL test generation from SystemC TLM specifications
M Chen, P Mishra, D Kalita
ACM Transactions on Embedded Computing Systems (TECS) 11 (2), 1-25, 2012
332012
Property learning techniques for efficient generation of directed tests
M Chen, P Mishra
IEEE Transactions on Computers 60 (6), 852-864, 2011
332011
Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud
T Wu, H Gu, J Zhou, T Wei, X Liu, M Chen
Journal of Systems Architecture 84, 12-27, 2018
312018
Fault-tolerant task scheduling for mixed-criticality real-time systems
J Zhou, M Yin, Z Li, K Cao, J Yan, T Wei, M Chen, X Fu
Journal of Circuits, Systems and Computers 26 (01), 1750016, 2017
312017
Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-time MPSoC systems
J Zhou, J Yan, T Wei, M Chen, XS Hu
Design, Automation & Test in Europe Conference & Exhibition (DATE), 2017 …, 2017
272017
Assertion-Based Functional Consistency Checking between TLM and RTL Models
M Chen, P Mishra
International Conference on VLSI Design, 320-325, 2013
272013
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20