Mingsong Lv
Orcid: 0000-0002-4489-745X
According to our database1,
Mingsong Lv
authored at least 59 papers
between 2003 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Real Time Syst., June, 2024
Real Time Syst., June, 2024
2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., June, 2023
A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology.
Autom., February, 2023
Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks.
CoRR, 2023
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023
Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023
2022
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2022
An Energy-Efficient Mixed-Bit CNN Accelerator With Column Parallel Readout for ReRAM-Based In-Memory Computing.
IEEE J. Emerg. Sel. Topics Circuits Syst., 2022
IEEE Access, 2022
Efficient DNN Execution on Intermittently-Powered IoT Devices With Depth-First Inference.
IEEE Access, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the IEEE Real-Time Systems Symposium, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022
2021
IEEE Trans. Ind. Informatics, 2021
J. Syst. Archit., 2021
J. Circuits Syst. Comput., 2021
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021
2020
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020
J. Syst. Archit., 2020
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area.
IEEE Access, 2020
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors.
Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020
Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020
Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020
2019
ACM Trans. Embed. Comput. Syst., 2019
IEEE Access, 2019
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
Proceedings of the 37th IEEE International Conference on Computer Design, 2019
2018
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018
2017
Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017
2016
Leibniz Trans. Embed. Syst., 2016
Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016
2014
ACM Trans. Embed. Comput. Syst., 2014
2013
Proceedings of the Design, Automation and Test in Europe, 2013
2012
Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012
2011
Proceedings of the Automated Technology for Verification and Analysis, 2011
2010
Frontiers Comput. Sci. China, 2010
IEEE Embed. Syst. Lett., 2010
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.
Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010
2009
Proceedings of the International Conference on Embedded Software and Systems, 2009
Proceedings of the 12th IEEE International Conference on Computational Science and Engineering, 2009
2008
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking.
Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008
Proceedings of the International Conference on Embedded Software and Systems, 2008
Proceedings of the 2008 IEEE/IPIP International Conference on Embedded and Ubiquitous Computing (EUC 2008), 2008
RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips.
Proceedings of the International Conference on Computer Science and Software Engineering, 2008
2007
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking.
Proceedings of the 28th IEEE Real-Time Systems Symposium (RTSS 2007), 2007
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems.
Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007
2004
Proceedings of the Embedded Software and Systems, First International Conference, 2004
2003
Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003