| Title/Authors | Title | Research Artifacts
[?] A research
artifact is any by-product of a research project that is not
directly included in the published research paper. In Computer
Science research this is often source code and data sets, but
it could also be media, documentation, inputs to proof
assistants, shell-scripts to run experiments, etc.
|
Details |
|---|
|
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing Jakaria Abdullah, Gaoyang Dai, Morteza Mohaqeqi, Wang Yi |
Schedulability Analysis and Software Synthesis for Graph-Based Task Models with Resource Sharing Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Buffer-Aware Worst-Case Timing Analysis of Wormhole NoCs Using Network Calculus Frédéric Giroudot, Ahlem Mifdaoui |
Buffer-Aware Worst-Case Timing Analysis of Wormhole NoCs Using Network Calculus Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
S^3DNN: Supervised Streaming and Scheduling for GPU-Accelerated Real-Time DNN Workloads Husheng Zhou, Soroush Bateni, Cong Liu |
S^3DNN: Supervised Streaming and Scheduling for GPU-Accelerated Real-Time DNN Workloads Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority Yecheng Zhao, Haibo Zeng |
The Concept of Response Time Estimation Range for Optimizing Systems Scheduled with Fixed Priority Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Timed C: An Extension to the C Programming Language for Real-Time Systems Saranya Natarajan, David Broman |
Timed C: An Extension to the C Programming Language for Real-Time Systems Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
QuartzV: Bringing Quality of Time to Virtual Machines Sandeep D'Souza, Ragunathan Rajkumar |
QuartzV: Bringing Quality of Time to Virtual Machines Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Multi-Mode Virtualization for Soft Real-Time Systems Haoran Li, Meng Xu, Chong Li, Chenyang Lu, Christopher D. Gill, Linh T. X. Phan, Insup Lee, Oleg Sokolsky |
Multi-Mode Virtualization for Soft Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Mining Task Precedence Graphs from Real-Time Embedded System Traces Oleg Iegorov, Sebastian Fischmeister |
Mining Task Precedence Graphs from Real-Time Embedded System Traces Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Demo Abstract: Industrial IoT Field Gateway Design for Heterogeneous Process Monitoring and Control Tao Gong, Shaobo Zheng, Mark Nixon, Eric Rotvold, Song Han |
Demo Abstract: Industrial IoT Field Gateway Design for Heterogeneous Process Monitoring and Control Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Clockless Synchronisation Framework for Cooperating Mobile Robots Luis Oliveira, Luís Almeida, Daniel Mossé |
A Clockless Synchronisation Framework for Cooperating Mobile Robots Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm Alessandro Biondi, Marco Di Natale |
Achieving Predictable Multicore Execution of Automotive Applications Using the LET Paradigm Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Tianyu Zhang, Tao Gong, Zelin Yun, Song Han, Qingxu Deng, Xiaobo Sharon Hu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules Francisco Pozo, Guillermo Rodríguez-Navas, Hans Hansson |
Work-in-Progress: A Hot-Patching Protocol for Repairing Time-Triggered Network Schedules Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems Hoon Sung Chwa, Kang G. Shin, Hyeongboo Baek, Jinkyu Lee |
Physical-State-Aware Dynamic Slack Management for Mixed-Criticality Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Daniel Zhang, Yue Ma, Yang Zhang, Suwen Lin, Xiaobo Sharon Hu, Dong Wang |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Demo Abstract: Slate XNS-An Online Management Tool for Deterministic TSN Networks Silviu S. Craciunas, Ramon Serna Oliver, Wilfried Steiner |
Demo Abstract: Slate XNS-An Online Management Tool for Deterministic TSN Networks Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems Zonghui Li, Hai Wan, Yangdong Deng, Ming Gu |
Work-in-Progress: A Flattened Priority Framework for Mixed-Criticality Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Predictable Virtualization on Memory Protection Unit-Based Microcontrollers Runyu Pan, Gregor Peach, Yuxin Ren, Gabriel Parmer |
Predictable Virtualization on Memory Protection Unit-Based Microcontrollers Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling Amir Reza Baghban Behrouzian, Dip Goswami, Twan Basten, Marc Geilen, Hadi Alizadeh Ara, Martijn Hendriks |
Firmness Analysis of Real-Time Applications Under Static-Priority Preemptive Scheduling Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems Zhe Jiang, Neil C. Audsley, Pan Dong |
BlueVisor: A Scalable Real-Time Hardware Hypervisor for Many-Core Embedded Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Zheng Dong, Cong Liu, Soroush Bateni, Kuan-Hsun Chen, Jian-Jia Chen, Georg von der Brüggen, Junjie Shi |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Closing the Gap Between Stability and Schedulability: A New Task Model for Cyber-Physical Systems Hoon Sung Chwa, Kang G. Shin, Jinkyu Lee |
Closing the Gap Between Stability and Schedulability: A New Task Model for Cyber-Physical Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus Luxi Zhao, Paul Pop, Zhong Zheng, Qiao Li |
Timing Analysis of AVB Traffic in TSN Networks Using Network Calculus Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Mixed Criticality Systems with Varying Context Switch Costs Robert I. Davis, Sebastian Altmeyer, Alan Burns |
Mixed Criticality Systems with Varying Context Switch Costs Details |
Artifacts for some papers are reviewed by an artifact evaluation, reproducibility,
or similarly named committee. This is one such paper that passed review.
Artifact evaluation badge awarded
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Scalable Memory Reclamation for Multi-Core, Real-Time Systems Yuxin Ren, Guyue Liu, Gabriel Parmer, Björn B. Brandenburg |
Scalable Memory Reclamation for Multi-Core, Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
MERLOT: Architectural Support for Energy-Efficient Real-Time Processing in GPUs Muhammad Husni Santriaji, Henry Hoffmann |
MERLOT: Architectural Support for Energy-Efficient Real-Time Processing in GPUs Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
FIFO with Offsets: High Schedulability with Low Overheads Mitra Nasri, Robert I. Davis, Björn B. Brandenburg |
FIFO with Offsets: High Schedulability with Low Overheads Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Work-in-Progress: RWS - A Roulette Wheel Scheduler for Preventing Execution Pattern Leakage Ying Zhang, Lingxiang Wang, Wei Jiang, Zhishan Guo |
Work-in-Progress: RWS - A Roulette Wheel Scheduler for Preventing Execution Pattern Leakage Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A GPU Kernel Transactionization Scheme for Preemptive Priority Scheduling Hyeonsu Lee, Jaehun Roh, Euiseong Seo |
A GPU Kernel Transactionization Scheme for Preemptive Priority Scheduling Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Tao Gong, Huayi Ji, Tianyu Zhang, Jianwei Zhou, Xiaolin Lu, Xiaobo Sharon Hu, Song Han |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions Pratyush Patel, Iljoo Baek, Hyoseung Kim, Ragunathan Rajkumar |
Analytical Enhancements and Practical Insights for MPCP with Self-Suspensions Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding Ramon Serna Oliver, Silviu S. Craciunas, Wilfried Steiner |
IEEE 802.1Qbv Gate Control List Synthesis Using Array Theory Encoding Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Demo Abstract: Real-Time Heterogeneous Edge Computing System for Social Sensing Applications Daniel Zhang, Nathan Vance, Dong Wang |
Demo Abstract: Real-Time Heterogeneous Edge Computing System for Social Sensing Applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
SafeMC: A System for the Design and Evaluation of Mode-Change Protocols Tianyang Chen, Linh Thi Xuan Phan |
SafeMC: A System for the Design and Evaluation of Mode-Change Protocols Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|