default search action
Mingsong Lv
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j21]Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang, Wanli Chang:
The shape of a DAG: bounding the response time using long paths. Real Time Syst. 60(2): 199-238 (2024) - [j20]Qingqiang He, Yongzheng Sun, Xu Jiang, Mingsong Lv, Jinkyu Lee, Nan Guan:
Real-time scheduling for parallel tasks with resource reclamation. Real Time Syst. 60(2): 291-327 (2024) - 2023
- [j19]Yan Wang, Rong Su, Mingsong Lv, Nan Guan:
A multi-step estimation approach for optimal control strategies of interconnected systems with weakly connected topology. Autom. 148: 110791 (2023) - [j18]Wei Zhang, Qianling Zhang, Mingsong Lv, Songran Liu, Zimeng Zhou, Qiulin Chen, Nan Guan, Lei Ju:
Adaptive Task-Based Intermittent Computing System With Parallel State Backup. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(6): 1798-1809 (2023) - [j17]Qingqiang He, Jinghao Sun, Nan Guan, Mingsong Lv, Zhenyu Sun:
Real-Time Scheduling of Conditional DAG Tasks With Intra-Task Priority Assignment. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 42(10): 3196-3209 (2023) - [c36]Qingqiang He, Nan Guan, Mingsong Lv, Zonghua Gu:
On the Degree of Parallelism in Real-Time Scheduling of DAG Tasks. DATE 2023: 1-6 - [c35]Songran Liu, Mingsong Lv, Wei Zhang, Xu Jiang, Chuancai Gu, Tao Yang, Wang Yi, Nan Guan:
Light Flash Write for Efficient Firmware Update on Energy-harvesting IoT Devices. DATE 2023: 1-6 - [c34]Qingqiang He, Yongzheng Sun, Mingsong Lv, Weichen Liu:
Efficient Response Time Bound for Typed DAG Tasks. RTCSA 2023: 226-231 - [c33]Menglong Cui, Mingsong Lv, Chuancai Gu, Tao Yang, Qiulin Chen, Nan Guan:
CrossChat: Instant Messaging across Different Apps on Mobile Devices. SAC 2023: 1068-1077 - [i3]Qingqiang He, Nan Guan, Mingsong Lv:
Longer Is Shorter: Making Long Paths to Improve the Worst-Case Response Time of DAG Tasks. CoRR abs/2307.13401 (2023) - [i2]Qingqiang He, Nan Guan, Shuai Zhao, Mingsong Lv:
Multi-Path Bound for DAG Tasks. CoRR abs/2310.15471 (2023) - 2022
- [j16]Mingsong Lv, Enyu Xu:
Efficient DNN Execution on Intermittently-Powered IoT Devices With Depth-First Inference. IEEE Access 10: 101999-102008 (2022) - [j15]Mingsong Lv, Enyu Xu:
Deep Learning on Energy Harvesting IoT Devices: Survey and Future Challenges. IEEE Access 10: 124999-125014 (2022) - [j14]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:
An Energy-Efficient Mixed-Bit CNN Accelerator With Column Parallel Readout for ReRAM-Based In-Memory Computing. IEEE J. Emerg. Sel. Topics Circuits Syst. 12(4): 821-834 (2022) - [j13]Weiguang Pang, Xu Jiang, Mingsong Lv, Teng Gao, Di Liu, Wang Yi:
Toward the Predictability of Dynamic Real-Time DNN Inference. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 41(9): 2849-2862 (2022) - [c32]Yang Wang, Xu Jiang, Nan Guan, Mingsong Lv, Dong Ji, Wang Yi:
Scheduling and analysis of real-time tasks with parallel critical sections. DAC 2022: 1255-1260 - [c31]Wei Zhang, Mingsong Lv, Wanli Chang, Lei Ju:
Precise and scalable shared cache contention analysis for WCET estimation. DAC 2022: 1267-1272 - [c30]Mingsong Lv, Xuemei Peng, Wenjing Xie, Nan Guan:
Task Allocation for Real-time Earth Observation Service with LEO Satellites. RTSS 2022: 14-26 - [c29]Ruoxiang Li, Nan Guan, Xu Jiang, Zhishan Guo, Zheng Dong, Mingsong Lv:
Worst-Case Time Disparity Analysis of Message Synchronization in ROS. RTSS 2022: 40-52 - [c28]Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang, Wanli Chang:
Bounding the Response Time of DAG Tasks Using Long Paths. RTSS 2022: 474-486 - [i1]Qingqiang He, Nan Guan, Mingsong Lv, Xu Jiang, Wanli Chang:
Bounding the Response Time of DAG Tasks Using Long Paths. CoRR abs/2211.08800 (2022) - 2021
- [j12]Xinyang Dong, Gang Chen, Mingsong Lv, Weiguang Pang, Wang Yi:
Flexible Mixed-Criticality Scheduling with Dynamic Slack Management. J. Circuits Syst. Comput. 30(10): 2150306:1-2150306:20 (2021) - [j11]He Du, Xu Jiang, Mingsong Lv, Tao Yang, Wang Yi:
Scheduling and analysis of real-time task graph models with nested locks. J. Syst. Archit. 114: 101969 (2021) - [j10]Ye Ma, Gang Chen, Mingsong Lv, Wang Yi, Xue Liu, Hao Chen, Bo Zhu:
Efficient and Effective Dimension Control in Automotive Applications. IEEE Trans. Ind. Informatics 17(3): 1583-1591 (2021) - [c27]Menglong Cui, Mingsong Lv, Qingqiang He, Caiqi Zhang, Chuancai Gu, Tao Yang, Nan Guan:
PRUID: Practical User Interface Distribution for Multi-surface Computing. DAC 2021: 679-684 - [c26]Wei Zhang, Songran Liu, Mingsong Lv, Qiulin Chen, Nan Guan:
Intermittent Computing with Efficient State Backup by Asynchronous DMA. DATE 2021: 543-548 - [c25]Songran Liu, Wei Zhang, Mingsong Lv, Qiulin Chen, Nan Guan:
Surviving Transient Power Failures with SRAM Data Retention. DATE 2021: 868-873 - [c24]Qingqiang He, Mingsong Lv, Nan Guan:
Response Time Bounds for DAG Tasks with Arbitrary Intra-Task Priority Assignment. ECRTS 2021: 8:1-8:21 - 2020
- [j9]Dong Ji, Mingsong Lv, Jiayu Yang, Wang Yi:
Optimizing the Locations and Sizes of Solar Assisted Electric Vehicle Charging Stations in an Urban Area. IEEE Access 8: 112772-112782 (2020) - [j8]Zhiwei Feng, Nan Guan, Mingsong Lv, Wenchen Liu, Qingxu Deng, Xue Liu, Wang Yi:
Efficient drone hijacking detection using two-step GA-XGBoost. J. Syst. Archit. 103: 101694 (2020) - [j7]Songran Liu, Wei Zhang, Mingsong Lv, Qiulin Chen, Nan Guan:
LATICS: A Low-Overhead Adaptive Task-Based Intermittent Computing System. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 39(11): 3711-3723 (2020) - [c23]He Du, Xu Jiang, Tao Yang, Mingsong Lv, Wang Yi:
Real-Time Scheduling and Analysis of OpenMP Programs with Spin Locks. ICPADS 2020: 99-108 - [c22]Yi Zhang, Ran Cui, Mingsong Lv, Chuanwen Li, Qingxu Deng:
Predicting Performance Degradation on Adaptive Cache Replacement Policy. ICPADS 2020: 109-116 - [c21]Yue Tang, Zhiwei Feng, Nan Guan, Xu Jiang, Mingsong Lv, Qingxu Deng, Wang Yi:
Response Time Analysis and Priority Assignment of Processing Chains on ROS2 Executors. RTSS 2020: 231-243
2010 – 2019
- 2019
- [j6]Yi Zhang, Zhanwei Ling, Mingsong Lv, Nan Guan:
A Gaussian Set Sampling Model for Efficient Shared Cache Profiling on Multi-Cores. IEEE Access 7: 115560-115567 (2019) - [j5]Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi:
An Efficient UAV Hijacking Detection Method Using Onboard Inertial Measurement Unit. ACM Trans. Embed. Comput. Syst. 17(6): 96:1-96:19 (2019) - [c20]Xiaochen Hao, Mingsong Lv, Jiesheng Zheng, Zhengkui Zhang, Wang Yi:
Integrating Cyber-Attack Defense Techniques into Real-Time Cyber-Physical Systems. ICCD 2019: 237-245 - [c19]Yi Zhang, Zhanwei Ling, Ran Cui, Mingsong Lv, Nan Guan, Qingxu Deng:
Detecting and Predicting Performance Degradation Caused by Impaired Cache Isolation. ICCD 2019: 680-683 - 2018
- [c18]Qingqiang He, Nan Guan, Mingsong Lv, Wang Yi:
On the Consensus Mechanisms of Blockchain/DLT for Internet of Things. SIES 2018: 1-10 - 2017
- [c17]Zhiwei Feng, Nan Guan, Mingsong Lv, Weichen Liu, Qingxu Deng, Xue Liu, Wang Yi:
Efficient drone hijacking detection using onboard motion sensors. DATE 2017: 1414-1419 - [c16]Yang Wang, Nan Guan, Jinghao Sun, Mingsong Lv, Qingqiang He, Tianzhang He, Wang Yi:
Benchmarking OpenMP programs for real-time scheduling. RTCSA 2017: 1-10 - 2016
- [j4]Mingsong Lv, Nan Guan, Jan Reineke, Reinhard Wilhelm, Wang Yi:
A Survey on Static Cache Analysis for Real-Time Systems. Leibniz Trans. Embed. Syst. 3(1): 05:1-05:48 (2016) - [c15]Mingsong Lv, Nan Guan, Ye Ma, Dong Ji, Erwin Knippel, Xue Liu, Wang Yi:
Speed planning for solar-powered electric vehicles. e-Energy 2016: 6:1-6:10 - 2014
- [j3]Nan Guan, Mingsong Lv, Wang Yi, Ge Yu:
WCET analysis with MRU cache: Challenging LRU for predictability. ACM Trans. Embed. Comput. Syst. 13(4s): 123:1-123:26 (2014) - 2013
- [c14]Nan Guan, Xinping Yang, Mingsong Lv, Wang Yi:
FIFO cache analysis for WCET estimation: a quantitative approach. DATE 2013: 296-301 - 2012
- [c13]Nan Guan, Mingsong Lv, Wang Yi, Ge Yu:
WCET Analysis with MRU Caches: Challenging LRU for Predictability. IEEE Real-Time and Embedded Technology and Applications Symposium 2012: 55-64 - 2011
- [c12]Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi:
McAiT - A Timing Analyzer for Multicore Real-Time Software. ATVA 2011: 414-417 - 2010
- [j2]Xi Jin, Nan Guan, Mingsong Lv, Qingxu Deng:
Improving the Performance of Shared Memory Communication in Impulse C. IEEE Embed. Syst. Lett. 2(3): 49-52 (2010) - [j1]Mingsong Lv, Nan Guan, Qingxu Deng, Ge Yu, Wang Yi:
Static worst-case execution time analysis of the µC/OS-II real-time kernel. Frontiers Comput. Sci. China 4(1): 17-27 (2010) - [c11]Mingsong Lv, Wang Yi, Nan Guan, Ge Yu:
Combining Abstract Interpretation with Model Checking for Timing Analysis of Multicore Software. RTSS 2010: 339-349
2000 – 2009
- 2009
- [c10]Mingsong Lv, Nan Guan, Yi Zhang, Rui Chen, Qingxu Deng, Ge Yu, Wang Yi:
WCET Analysis of the mC/OS-II Real-Time Kernel. CSE (2) 2009: 270-276 - [c9]Mingsong Lv, Nan Guan, Yi Zhang, Qingxu Deng, Ge Yu, Jianming Zhang:
A Survey of WCET Analysis of Real-Time Operating Systems. ICESS 2009: 65-72 - 2008
- [c8]Mingsong Lv, Ying Guo, Nan Guan, Qingxu Deng:
RTNoC: A Simulation Tool for Real-Time Communication Scheduling on Networks-on-Chips. CSSE (4) 2008: 102-105 - [c7]Mingsong Lv, Zonghua Gu, Nan Guan, Qingxu Deng, Ge Yu:
Performance Comparison of Techniques on Static Path Analysis of WCET. EUC (1) 2008: 104-111 - [c6]Mingsong Lv, Qingxu Deng, Nan Guan, Yaming Xie, Ge Yu:
ARMISS: An Instruction Set Simulator for the ARM Architecture. ICESS 2008: 548-555 - [c5]Nan Guan, Zonghua Gu, Mingsong Lv, Qingxu Deng, Ge Yu:
Schedulability Analysis of Global Fixed-Priority or EDF Multiprocessor Scheduling with Symbolic Model-Checking. ISORC 2008: 556-560 - 2007
- [c4]Nan Guan, Mingsong Lv, Qingxu Deng, Ge Yu:
A Real-Time Scheduling Algorithm with Buffer Optimization for Embedded Signal Processing Systems. AINA Workshops (1) 2007: 772-777 - [c3]Zonghua Gu, Mingxuan Yuan, Nan Guan, Mingsong Lv, Xiuqiang He, Qingxu Deng, Ge Yu:
Static Scheduling and Software Synthesis for Dataflow Graphs with Symbolic Model-Checking. RTSS 2007: 353-364 - 2004
- [c2]Qingxu Deng, Mingsong Lv, Ge Yu:
Selecting a Scheduling Policy for Embedded Real-Time Monitor and Control Systems. ICESS 2004: 494-501 - 2003
- [c1]Dan Wang, Ge Yu, Mingsong Lv, Baoyan Song, Derong Shen, Guoren Wang:
An Ant Algorithm Based Dynamic Routing Strategy for Mobile Agents. APWeb 2003: 453-464
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from , , and to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-10-07 22:24 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint