Mingsong Lv

According to our database, Mingsong Lv authored at least 61 papers between 2003 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks.

Qingqiang He, Nan Guan, Mingsong Lv

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2024

Ghostbuster: A Software Approach for Reducing Ghosting Effect on Electrophoretic Displays.

Tao Hu, Menglong Cui, Mingsong Lv, Tao Yang, Yiyang Zhou, Qingxu Deng, Chun Jason Xue, Nan Guan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., November, 2024

Real-time scheduling for parallel tasks with resource reclamation.

Qingqiang He, Yongzheng Sun, Xu Jiang, Mingsong Lv, Jinkyu Lee, Nan Guan

Real Time Syst., June, 2024

The shape of a DAG: bounding the response time using long paths.

Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang, Wanli Chang

Real Time Syst., June, 2024

On the degree of parallelism for parallel real-time tasks.

Qingqiang He, Nan Guan, Zhe Jiang, Mingsong Lv

J. Syst. Archit., 2024

2023

Real-Time Scheduling of Conditional DAG Tasks With Intra-Task Priority Assignment.

Qingqiang He, Jinghao Sun, Nan Guan, Mingsong Lv, Zhenyu Sun

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

Adaptive Task-Based Intermittent Computing System With Parallel State Backup.

Wei Zhang, Qianling Zhang, Mingsong Lv, Songran Liu, Zimeng Zhou, Qiulin Chen, Nan Guan, Lei Ju

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.

Yan Wang, Rong Su, Mingsong Lv, Nan Guan

Autom., February, 2023

Multi-Path Bound for DAG Tasks.

Qingqiang He, Nan Guan, Shuai Zhao, Mingsong Lv

CoRR, 2023

CrossChat: Instant Messaging across Different Apps on Mobile Devices.

Menglong Cui, Mingsong Lv, Chuancai Gu, Tao Yang, Qiulin Chen, Nan Guan

Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Efficient Response Time Bound for Typed DAG Tasks.

Qingqiang He, Yongzheng Sun, Mingsong Lv, Weichen Liu

Proceedings of the 29th IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2023

Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices.

Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks.

Qingqiang He, Nan Guan, Mingsong Lv, Zonghua Gu

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022

Toward the Predictability of Dynamic Real-Time DNN Inference.

Weiguang Pang, Xu Jiang, Mingsong Lv, Teng Gao, Di Liu, Wang Yi

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.

Dingbang Liu, Haoxiang Zhou, Wei Mao, Jun Liu, Yuliang Han, Changhai Man, Qiuping Wu, Zhiru Guo, Mingqiang Huang, Shaobo Luo, Mingsong Lv, Quan Chen, Hao Yu

IEEE J. Emerg. Sel. Topics Circuits Syst., 2022

Deep Learning on Energy Harvesting IoT Devices: Survey and Future Challenges.

Mingsong Lv, Enyu Xu

IEEE Access, 2022

Efficient DNN Execution on Intermittently-Powered IoT Devices With Depth-First Inference.

Mingsong Lv, Enyu Xu

IEEE Access, 2022

Task Allocation for Real-time Earth Observation Service with LEO Satellites.

Mingsong Lv, Xuemei Peng, Wenjing Xie, Nan Guan

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Worst-Case Time Disparity Analysis of Message Synchronization in ROS.

Ruoxiang Li, Nan Guan, Xu Jiang, Zhishan Guo, Zheng Dong, Mingsong Lv

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Bounding the Response Time of DAG Tasks Using Long Paths.

Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang, Wanli Chang

Proceedings of the IEEE Real-Time Systems Symposium, 2022

Precise and scalable shared cache contention analysis for WCET estimation.

Wei Zhang, Mingsong Lv, Wanli Chang, Lei Ju

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

Scheduling and analysis of real-time tasks with parallel critical sections.

Yang Wang, Xu Jiang, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi

Proceedings of the DAC '22: 59th ACM/IEEE Design Automation Conference, San Francisco, California, USA, July 10, 2022

2021

Efficient and Effective Dimension Control in Automotive Applications.

Ye Ma, Gang Chen, Mingsong Lv, Wang Yi, Xue Liu, Hao Chen, Bo Zhu

IEEE Trans. Ind. Informatics, 2021

Scheduling and analysis of real-time task graph models with nested locks.

He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi

J. Syst. Archit., 2021

Flexible Mixed-Criticality Scheduling with Dynamic Slack Management.

Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi

J. Circuits Syst. Comput., 2021

Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment.

Qingqiang He, Mingsong Lv, Nan Guan

Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

Surviving Transient Power Failures with SRAM Data Retention.

Songran Liu, Wei Zhang, Mingsong Lv, Qiulin Chen, Nan Guan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Intermittent Computing with Efficient State Backup by Asynchronous DMA.

Wei Zhang, Songran Liu, Mingsong Lv, Qiulin Chen, Nan Guan

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

PRUID: Practical User Interface Distribution for Multi-surface Computing.

Menglong Cui, Mingsong Lv, Qingqiang He, Caiqi Zhang, Chuancai Gu, Tao Yang, Nan Guan

Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020

LATICS: A Low-Overhead Adaptive Task-Based Intermittent Computing System.

Songran Liu, Wei Zhang, Mingsong Lv, Qiulin Chen, Nan Guan

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Efficient drone hijacking detection using two-step GA-XGBoost.

Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi

J. Syst. Archit., 2020

Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area.

Dong Ji, Mingsong Lv, Jiayu Yang, Wang Yi

IEEE Access, 2020

Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors.

Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

Predicting Performance Degradation on Adaptive Cache Replacement Policy.

Yi Zhang, Ran Cui, Mingsong Lv, Chuanwen Li, Qingxu Deng

Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks.

He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi

Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

2019

An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit.

Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi

ACM Trans. Embed. Comput. Syst., 2019

A Gaussian Set Sampling Model for Efficient Shared Cache Profiling on Multi-Cores.

Yi Zhang, Zhanwei Ling, Mingsong Lv, Nan Guan

IEEE Access, 2019

Detecting and Predicting Performance Degradation Caused by Impaired Cache Isolation.

Yi Zhang, Zhanwei Ling, Ran Cui, Mingsong Lv, Nan Guan, Qingxu Deng

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems.

Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi

Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018

On the Consensus Mechanisms of Blockchain/DLT for Internet of Things.

Qingqiang He, Nan Guan, Mingsong Lv, Wang Yi

Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2017

Benchmarking OpenMP programs for real-time scheduling.

Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, Wang Yi

Proceedings of the 23rd IEEE International Conference on Embedded and Real-Time Computing Systems and Applications, 2017

Efficient drone hijacking detection using onboard motion sensors.

Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016

A Survey on Static Cache Analysis for Real-Time Systems.

Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi

Leibniz Trans. Embed. Syst., 2016

Speed planning for solar-powered electric vehicles.

Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi

Proceedings of the Seventh International Conference on Future Energy Systems, Waterloo, ON, Canada, June 21, 2016

2014

WCET analysis with MRU cache: Challenging LRU for predictability.

Nan Guan, Mingsong Lv, Wang Yi, Ge Yu

ACM Trans. Embed. Comput. Syst., 2014

2013

FIFO cache analysis for WCET estimation: a quantitative approach.

Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi

Proceedings of the Design, Automation and Test in Europe, 2013

2012

WCET Analysis with MRU Caches: Challenging LRU for Predictability.

Nan Guan, Mingsong Lv, Wang Yi, Ge Yu

Proceedings of the 2012 IEEE 18th Real Time and Embedded Technology and Applications Symposium, 2012

2011

McAiT - A Timing Analyzer for Multicore Real-Time Software.

Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Static worst-case execution time analysis of the <i>µ</i>C/OS-II real-time kernel.

Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi

Frontiers Comput. Sci. China, 2010

Improving the Performance of Shared Memory Communication in Impulse C.

Xi Jin, Nan Guan, Mingsong Lv, Qingxu Deng

IEEE Embed. Syst. Lett., 2010

Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software.

Mingsong Lv, Wang Yi, Nan Guan, Ge Yu

Proceedings of the 31st IEEE Real-Time Systems Symposium, 2010

2009

A Survey of WCET Analysis of Real-Time Operating Systems.

Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang

Proceedings of the International Conference on Embedded Software and Systems, 2009

WCET Analysis of the mC/OS-II Real-Time Kernel.

Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi

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.

Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu

Proceedings of the 11th IEEE International Symposium on Object-Oriented Real-Time Distributed Computing (ISORC 2008), 2008

ARMISS: An Instruction Set Simulator for the ARM Architecture.

Mingsong Lv, Qingxu Deng, Nan Guan, Yaming Xie, Ge Yu

Proceedings of the International Conference on Embedded Software and Systems, 2008

Performance Comparison of Techniques on Static Path Analysis of WCET.

Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu

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.

Mingsong Lv, Ying Guo, Nan Guan, Qingxu Deng

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.

Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu

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.

Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2004

Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems.

Qingxu Deng, Mingsong Lv, Ge Yu

Proceedings of the Embedded Software and Systems, First International Conference, 2004

2003

An Ant Algorithm Based Dynamic Routing Strategy for Mobile Agents.

Dan Wang, Ge Yu, Mingsong Lv, Baoyan Song, Derong Shen, Guoren Wang

Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003