Mingsong Lv

Orcid: 0000-0002-4489-745X

According to our database1, Mingsong Lv authored at least 59 papers between 2003 and 2024.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Real-time scheduling for parallel tasks with resource reclamation.
Real Time Syst., June, 2024

The shape of a DAG: bounding the response time using long paths.
Real Time Syst., June, 2024

2023
Real-Time Scheduling of Conditional DAG Tasks With Intra-Task Priority Assignment.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., October, 2023

Adaptive Task-Based Intermittent Computing System With Parallel State Backup.
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

Multi-Path Bound for DAG Tasks.
CoRR, 2023

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

CrossChat: Instant Messaging across Different Apps on Mobile Devices.
Proceedings of the 38th ACM/SIGAPP Symposium on Applied Computing, 2023

Efficient Response Time Bound for Typed DAG Tasks.
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2022
Toward the Predictability of Dynamic Real-Time DNN Inference.
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

Deep Learning on Energy Harvesting IoT Devices: Survey and Future Challenges.
IEEE Access, 2022

Efficient DNN Execution on Intermittently-Powered IoT Devices With Depth-First Inference.
IEEE Access, 2022

Task Allocation for Real-time Earth Observation Service with LEO Satellites.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Worst-Case Time Disparity Analysis of Message Synchronization in ROS.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Bounding the Response Time of DAG Tasks Using Long Paths.
Proceedings of the IEEE Real-Time Systems Symposium, 2022

Precise and scalable shared cache contention analysis for WCET estimation.
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.
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.
IEEE Trans. Ind. Informatics, 2021

Scheduling and analysis of real-time task graph models with nested locks.
J. Syst. Archit., 2021

Flexible Mixed-Criticality Scheduling with Dynamic Slack Management.
J. Circuits Syst. Comput., 2021

Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment.
Proceedings of the 33rd Euromicro Conference on Real-Time Systems, 2021

Surviving Transient Power Failures with SRAM Data Retention.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

Intermittent Computing with Efficient State Backup by Asynchronous DMA.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

PRUID: Practical User Interface Distribution for Multi-surface Computing.
Proceedings of the 58th ACM/IEEE Design Automation Conference, 2021

2020
LATICS: A Low-Overhead Adaptive Task-Based Intermittent Computing System.
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2020

Efficient drone hijacking detection using two-step GA-XGBoost.
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

Predicting Performance Degradation on Adaptive Cache Replacement Policy.
Proceedings of the 26th IEEE International Conference on Parallel and Distributed Systems, 2020

Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks.
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.
ACM Trans. Embed. Comput. Syst., 2019

A Gaussian Set Sampling Model for Efficient Shared Cache Profiling on Multi-Cores.
IEEE Access, 2019

Detecting and Predicting Performance Degradation Caused by Impaired Cache Isolation.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems.
Proceedings of the 37th IEEE International Conference on Computer Design, 2019

2018
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things.
Proceedings of the 13th IEEE International Symposium on Industrial Embedded Systems, 2018

2017
Benchmarking OpenMP programs for real-time scheduling.
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.
Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2017

2016
A Survey on Static Cache Analysis for Real-Time Systems.
Leibniz Trans. Embed. Syst., 2016

Speed planning for solar-powered electric vehicles.
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.
ACM Trans. Embed. Comput. Syst., 2014

2013
FIFO cache analysis for WCET estimation: a quantitative approach.
Proceedings of the Design, Automation and Test in Europe, 2013

2012
WCET Analysis with MRU Caches: Challenging LRU for Predictability.
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.
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.
Frontiers Comput. Sci. China, 2010

Improving the Performance of Shared Memory Communication in Impulse C.
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
A Survey of WCET Analysis of Real-Time Operating Systems.
Proceedings of the International Conference on Embedded Software and Systems, 2009

WCET Analysis of the mC/OS-II Real-Time Kernel.
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

ARMISS: An Instruction Set Simulator for the ARM Architecture.
Proceedings of the International Conference on Embedded Software and Systems, 2008

Performance Comparison of Techniques on Static Path Analysis of WCET.
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
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems.
Proceedings of the Embedded Software and Systems, First International Conference, 2004

2003
An Ant Algorithm Based Dynamic Routing Strategy for Mobile Agents.
Proceedings of the Web Technologies and Applications, 5th Asian-Pacific Web Conference, 2003


  Loading...