5 citations · 10 across the 6 of their papers we have counts for
7 papers
ProsaBuddy: Assisting Mechanized Real-Time Schedulability Analysis with LLM-based Agents
Junyi Liu, Tianchi Ren, Fei Guan +4
Rigorous schedulability analysis is essential for the design of hard real-time systems, yet errors in pen-and-paper proofs threaten the safety of critical applications. The Prosa i…
Bounding the Response Time of DAG Tasks Using Long Paths
Qingqiang He, Nan Guan, Mingsong Lv +2
In 1969, Graham developed a well-known response time bound for a DAG task using the total workload and the longest path of the DAG, which has been widely applied to solve many sche…
Schedulability Bounds for Parallel Real-Time Tasks under Global Rate-Monotonic Scheduling
Xu Jiang, Nan Guan, Maolin Yang +2
Schedulability bounds not only serve as efficient tests to decide schedulability of real-time task systems but also reveal insights about the worst-case performance of scheduling a…
DPCP-p: A Distributed Locking Protocol for Parallel Real-Time Tasks
Maolin Yang, Zewei Chen, Xu Jiang +2
Real-time scheduling and locking protocols are fundamental facilities to construct time-critical systems. For parallel real-time tasks, predictable locking protocols are required w…
On the Analysis of Parallel Real-Time Tasks with Spin Locks
Xu Jiang, Nan Guan, He Du +2
Locking protocol is an essential component in resource management of real-time systems, which coordinates mutually exclusive accesses to shared resources from different tasks. Alth…
ReLeTA: Reinforcement Learning for Thermal-Aware Task Allocation on Multicore
Shi-Gui Yang, Yuan-Yuan Wang, Di Liu +4
In this paper, we propose \textit{ReLeTA}: Reinforcement Learning based Task Allocation for temperature minimization. We design a new reward function and use a new state model to f…
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors
Xu Jiang, Nan Guan, Xiang Long +1
Federated scheduling is a promising approach to schedule parallel real-time tasks on multi-cores, where each heavy task exclusively executes on a number of dedicated processors, wh…