Mingsong Chen

According to our database1, Mingsong Chen authored at least 69 papers between 2006 and 2019.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2019
Directed Test Generation for Validation of Cache Coherence Protocols.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2019

Energy-aware virtual machine allocation for cloud with resource reservation.
Journal of Systems and Software, 2019

OO-VR: NUMA friendly object-oriented VR rendering framework for future NUMA-based multi-GPU systems.
Proceedings of the 46th International Symposium on Computer Architecture, 2019

CE-Based Optimization for Real-time System Availability under Learned Soft Error Rate.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

Sample-Guided Automated Synthesis for CCSL Specifications.
Proceedings of the 56th Annual Design Automation Conference 2019, 2019

2018
Sustainability-Oriented Evaluation and Optimization for MPSoC Task Allocation and Scheduling under Thermal and Energy Variations.
T-SUSC, 2018

Developing User Perceived Value Based Pricing Models for Cloud Markets.
IEEE Trans. Parallel Distrib. Syst., 2018

Cost-Constrained QoS Optimization for Approximate Computation Real-Time Tasks in Heterogeneous MPSoCs.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2018

Thermal-aware correlated two-level scheduling of real-time tasks with reduced processor energy on heterogeneous MPSoCs.
Journal of Systems Architecture - Embedded Systems Design, 2018

Soft error-aware energy-efficient task scheduling for workflow applications in DVFS-enabled cloud.
Journal of Systems Architecture - Embedded Systems Design, 2018

A proof-based method of hybrid systems development using differential invariants.
Frontiers Comput. Sci., 2018

Video Vehicle Detection and Recognition Based on MapReduce and Convolutional Neural Network.
Proceedings of the Advances in Swarm Intelligence - 9th International Conference, 2018

Leveraging User Heterogeneities to Maximize Profits in the Cloud.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Reliability-Aware Energy Optimization for Throughput-Constrained Applications on MPSoC.
Proceedings of the 24th IEEE International Conference on Parallel and Distributed Systems, 2018

Variation-aware task allocation and scheduling for improving reliability of real-time MPSoCs.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Feedback control of real-time EtherCAT networks for reliability enhancement in CPS.
Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

Specification-driven automated conformance checking for virtual prototype and post-silicon designs.
Proceedings of the 55th Annual Design Automation Conference, 2018

A CGRA based Neural Network Inference Engine for Deep Reinforcement Learning.
Proceedings of the 2018 IEEE Asia Pacific Conference on Circuits and Systems, 2018

2017
Efficient Resource Constrained Scheduling Using Parallel Two-Phase Branch-and-Bound Heuristics.
IEEE Trans. Parallel Distrib. Syst., 2017

Exploring Energy-Efficient Cache Design in Emerging Mobile Platforms.
ACM Trans. Design Autom. Electr. Syst., 2017

Quantitative Performance Evaluation of Uncertainty-Aware Hybrid AADL Designs Using Statistical Model Checking.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2017

Emerging technology enabled energy-efficient GPGPUs register file.
Microprocessors and Microsystems - Embedded Hardware Design, 2017

Reliability and temperature constrained task scheduling for makespan minimization on heterogeneous multi-core platforms.
Journal of Systems and Software, 2017

Fault-Tolerant Task Scheduling for Mixed-Criticality Real-Time Systems.
Journal of Circuits, Systems, and Computers, 2017

GPU-Based Fluid Motion Estimation Using Energy Constraint.
Journal of Circuits, Systems, and Computers, 2017

An Efficient Racetrack Memory-Based Processing-in-Memory Architecture for Convolutional Neural Networks.
Proceedings of the 2017 IEEE International Symposium on Parallel and Distributed Processing with Applications and 2017 IEEE International Conference on Ubiquitous Computing and Communications (ISPA/IUCC), 2017

User Perceived Value-Aware Cloud Pricing for Profit Maximization of Multiserver Systems.
Proceedings of the 23rd IEEE International Conference on Parallel and Distributed Systems, 2017

An FPGA-Based Real-Time Moving Object Tracking Approach.
Proceedings of the Algorithms and Architectures for Parallel Processing, 2017

Energy-adaptive scheduling of imprecise computation tasks for QoS optimization in real-Time MPSoC systems.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

Data flow testing for virtual prototypes.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

An Approach to Proving Proof Obligation of Hybrid Event B Based on Differential Invariants.
Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

FingerVoice: A Syllable Based Input System Via Fingers Touching.
Proceedings of the 19th International ACM SIGACCESS Conference on Computers and Accessibility, 2017

2016
Mitigating the Impact of Hardware Variability for GPGPUs Register File.
IEEE Trans. Parallel Distrib. Syst., 2016

Exploring Soft-Error Robust and Energy-Efficient Register File in GPGPUs using Resistive Memory.
ACM Trans. Design Autom. Electr. Syst., 2016

Thermal-Aware Task Scheduling for Energy Minimization in Heterogeneous Real-Time MPSoC Systems.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2016

Efficient Resource Constrained Scheduling Using Parallel Structure-Aware Pruning Techniques.
IEEE Trans. Computers, 2016

Choosing the Best Strategy for Energy Aware Building System: an SVM-based Approach.
Proceedings of the 28th International Conference on Software Engineering and Knowledge Engineering, 2016

Quantitative Analysis of Variation-Aware Internet of Things Designs Using Statistical Model Checking.
Proceedings of the 2016 IEEE International Conference on Software Quality, 2016

Game Theoretic Energy Allocation for Renewable Powered In-Situ Server Systems.
Proceedings of the 22nd IEEE International Conference on Parallel and Distributed Systems, 2016

Quantitative timing analysis of UML activity diagrams using statistical model checking.
Proceedings of the 2016 Design, Automation & Test in Europe Conference & Exhibition, 2016

Improving Defect Detection Ability of Derived Test Cases Based on Mutated UML Activity Diagrams.
Proceedings of the 40th IEEE Annual Computer Software and Applications Conference, 2016

2015
Variation-aware evaluation of MPSoC task allocation and scheduling strategies using statistical model checking.
Proceedings of the 2015 Design, Automation & Test in Europe Conference & Exhibition, 2015

Evaluating Energy Consumption for Cyber-Physical Energy System: An Environment Ontology-Based Approach.
Proceedings of the 39th IEEE Annual Computer Software and Applications Conference, 2015

2014
Learning-oriented Property Decomposition for Automated Generation of Directed Tests.
J. Electronic Testing, 2014

Efficient Two-Phase Approaches for Branch-and-Bound Style Resource Constrained Scheduling.
Proceedings of the 2014 27th International Conference on VLSI Design and 2014 13th International Conference on Embedded Systems, 2014

ADAutomation: An Activity Diagram Based Automated GUI Testing Framework for Smartphone Applications.
Proceedings of the Eighth International Conference on Software Security and Reliability, 2014

A novel quantitative evaluation approach for software project schedules using statistical model checking.
Proceedings of the 36th International Conference on Software Engineering, 2014

Variation-Aware Resource Allocation Evaluation for Cloud Workflows Using Statistical Model Checking.
Proceedings of the 2014 IEEE Fourth International Conference on Big Data and Cloud Computing, 2014

Runtime Verification by Convergent Formula Progression.
Proceedings of the 21st Asia-Pacific Software Engineering Conference, 2014

2013
A novel requirement analysis approach for periodic control systems.
Frontiers Comput. Sci., 2013

Assertion-Based Functional Consistency Checking between TLM and RTL Models.
Proceedings of the 26th International Conference on VLSI Design and 12th International Conference on Embedded Systems, 2013

Branch-and-bound style resource constrained scheduling using efficient structure-aware pruning.
Proceedings of the IEEE Computer Society Annual Symposium on VLSI, 2013

Spatio-temporal Properties Analysis for Cyber-physical Systems.
Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Bound-oriented parallel pruning approaches for efficient resource constrained scheduling of high-level synthesis.
Proceedings of the International Conference on Hardware/Software Codesign and System Synthesis, 2013

2012
Automatic RTL Test Generation from SystemC TLM Specifications.
ACM Trans. Embedded Comput. Syst., 2012

Extending the Four-Variable Model for Cyber-Physical Systems.
Proceedings of the 15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing Workshops, 2012

An approach to communicating process modeling of MARTE.
Proceedings of the Fourth Asia-Pacific Symposium on Internetware, 2012

Efficient self-learning techniques for SAT-based test generation.
Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2011
Property Learning Techniques for Efficient Generation of Directed Tests.
IEEE Trans. Computers, 2011

Decision ordering based property decomposition for functional test generation.
Proceedings of the Design, Automation and Test in Europe, 2011

2010
Functional Test Generation Using Efficient Property Clustering and Learning Techniques.
IEEE Trans. on CAD of Integrated Circuits and Systems, 2010

Efficient test case generation for validation of UML activity diagrams.
Design Autom. for Emb. Sys., 2010

Synchronized Generation of Directed Tests Using Satisfiability Solving.
Proceedings of the VLSI Design 2010: 23rd International Conference on VLSI Design, 2010

Efficient decision ordering techniques for SAT-based test generation.
Proceedings of the Design, Automation and Test in Europe, 2010

2009
UML Activity Diagram-Based Automatic Test Case Generation For Java Programs.
Comput. J., 2009

Efficient Techniques for Directed Test Generation Using Incremental Satisfiability.
Proceedings of the VLSI Design 2009: Improving Productivity through Higher Abstraction, 2009

2008
Coverage-driven automatic test generation for uml activity diagrams.
Proceedings of the 18th ACM Great Lakes Symposium on VLSI 2008, 2008

2007
Towards RTL test generation from SystemC TLM specifications.
Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2007

2006
Automatic Test Case Generation for UML Activity Diagrams.
Proceedings of the 2006 International Workshop on Automation of Software Test, 2006


  Loading...