Search Results for author: Binqi Sun

Found 3 papers, 1 papers with code

PretVM: Predictable, Efficient Virtual Machine for Real-Time Concurrency

no code implementations10 Jun 2024 Shaokai Lin, Erling Jellum, Mirco Theile, Tassilo Tanneberger, Binqi Sun, Chadlia Jerad, Ruomu Xu, Guangyu Feng, Christian Menard, Marten Lohstroh, Jeronimo Castrillon, Sanjit Seshia, Edward Lee

This paper introduces the Precision-Timed Virtual Machine (PretVM), an intermediate platform facilitating the execution of quasi-static schedules compiled from a subset of programs written in the Lingua Franca (LF) coordination language.

Strict Partitioning for Sporadic Rigid Gang Tasks

no code implementations15 Mar 2024 Binqi Sun, Tomasz Kloda, Marco Caccamo

In this paper, we propose a new partitioned scheduling strategy for rigid gang tasks, named strict partitioning.

Scheduling

Edge Generation Scheduling for DAG Tasks Using Deep Reinforcement Learning

1 code implementation28 Aug 2023 Binqi Sun, Mirco Theile, Ziyuan Qin, Daniele Bernardini, Debayan Roy, Andrea Bastoni, Marco Caccamo

Using this schedulability test, we propose a new DAG scheduling framework (edge generation scheduling -- EGS) that attempts to minimize the DAG width by iteratively generating edges while guaranteeing the deadline constraint.

reinforcement-learning Scheduling

Cannot find the paper you are looking for? You can Submit a new open access paper.