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
2142006
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
992018
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
992015
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
922009
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
752018
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
582018
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
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
552019
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
472013
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
442018
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
402019
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
402017
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
382019
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
322012
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
Property learning techniques for efficient generation of directed tests
M Chen, P Mishra
IEEE Transactions on Computers 60 (6), 852-864, 2011
312011
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
282018
Assertion-Based Functional Consistency Checking between TLM and RTL Models
M Chen, P Mishra
International Conference on VLSI Design, 320-325, 2013
272013
Efficient test case generation for validation of UML activity diagrams
M Chen, P Mishra, D Kalita
Design Automation for embedded systems 14 (2), 105-130, 2010
262010
O sistema não pode efectuar a operação agora. Tente novamente mais tarde.
Artigos 1–20