| 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 |
|---|
|
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard Pontus Ekberg, Wang Yi |
Fixed-Priority Schedulability of Sporadic Tasks on Uniprocessors is NP-Hard Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Yecheng Zhao, Haibo Zeng |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals Seonyeong Heo, Seungbin Song, Jong Kim, Hanjun Kim |
RT-IFTTT: Real-Time IoT Framework with Trigger Condition-Aware Flexible Polling Intervals 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
|
|
On the Soft Real-Time Optimality of Global EDF on Uniform Multiprocessors Kecheng Yang, James H. Anderson |
On the Soft Real-Time Optimality of Global EDF on Uniform Multiprocessors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems Marcello Cinque, Gianmaria De Tommasi |
Work-in-Progress: Real-Time Containers for Large-Scale Mixed-Criticality Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet Johannes Specht, Soheil Samii |
Synthesis of Queue and Priority Assignment for Asynchronous Traffic Shaping in Switched Ethernet Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Revisiting GPC and AND Connector in Real-Time Calculus Yue Tang, Nan Guan, Weichen Liu, Linh Thi Xuan Phan, Wang Yi |
Revisiting GPC and AND Connector in Real-Time Calculus Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Offset Assignment to Signals for Improving Frame Packing in CAN-FD Prachi Joshi, S. S. Ravi, Soheil Samii, Unmesh D. Bordoloi, Sandeep K. Shukla, Haibo Zeng |
Offset Assignment to Signals for Improving Frame Packing in CAN-FD 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
|
|
Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task Systems Zheng Dong, Cong Liu |
Analysis Techniques for Supporting Hard Real-Time Sporadic Gang Task Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial Ethernet Kun Qian, Tong Zhang, Fengyuan Ren |
Awakening Power of Physical Layer: High Precision Time Synchronization for Industrial Ethernet Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
REC: Predictable Charging Scheduling for Electric Taxi Fleets Zheng Dong, Cong Liu, Yanhua Li, Jie Bao, Yu Gu, Tian He |
REC: Predictable Charging Scheduling for Electric Taxi Fleets Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Model Predictive Real-Time Monitoring of Linear Systems Xin Chen, Sriram Sankaranarayanan |
Model Predictive Real-Time Monitoring of Linear 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
|
|
Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow Graphs Abhishek Singh, Sanjoy Baruah |
Global EDF-Based Scheduling of Multiple Independent Synchronous Dataflow Graphs Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
End-to-End Network Delay Guarantees for Real-Time Systems Using SDN Rakesh Kumar, Monowar Hasan, Smruti Padhy, Konstantin Evchenko, Lavanya Piramanayagam, Sibin Mohan, Rakesh B. Bobba |
End-to-End Network Delay Guarantees for Real-Time Systems Using SDN Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Hyeongboo Baek, Hoon Sung Chwa, Jinkyu Lee |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Maximizing Model Accuracy in Real-time and Iterative Machine Learning Rui Han, Fan Zhang, Lydia Y. Chen, Jianfeng Zhan |
Work-in-Progress: Maximizing Model Accuracy in Real-time and Iterative Machine Learning Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems Bo Wan, Xi Li, Haizhao Luo, Chao Wang, Xianglan Chen, Xuehai Zhou |
Work-in-Progress: TTI: A Timing ISA for LET Model in Safety-Critical Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jitter-Compensated VHT and Its Application to WSN Clock Synchronization Federico Terraneo, Fabiano Riccardi, Alberto Leva |
Jitter-Compensated VHT and Its Application to WSN Clock Synchronization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
An Exact and Sustainable Analysis of Non-preemptive Scheduling Mitra Nasri, Björn B. Brandenburg |
An Exact and Sustainable Analysis of Non-preemptive Scheduling Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Network Scheduling for Secure Cyber-Physical Systems Vuk Lesi, Ilija Jovanov, Miroslav Pajic |
Network Scheduling for Secure Cyber-Physical 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
|
|
Edward A. Lee, Jan Reineke, Michael Zimmer |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads Syed Aftab Rashid, Geoffrey Nelissen, Sebastian Altmeyer, Robert I. Davis, Eduardo Tovar |
Integrated Analysis of Cache Related Preemption Delays and Cache Persistence Reload Overheads Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Regular Composite Resource Partition in Open Systems Wei-Ju Chen, Pei-Chi Huang, Quan Leng, Aloysius K. Mok, Song Han |
Regular Composite Resource Partition in Open Systems Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots Luis Ramos Pinto, Luís Almeida, Hassan Alizadeh, Anthony Rowe |
Aerial Video Stream over Multi-hop Using Adaptive TDMA Slots Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors Xu Jiang, Nan Guan, Xiang Long, Wang Yi |
Semi-Federated Scheduling of Parallel Real-Time Tasks on Multiprocessors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jun Xiao, Sebastian Altmeyer, Andy D. Pimentel |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel Processors Bader Alahmad, Sathish Gopalakrishnan |
Work-in-Progress: Isochronous Execution Models for Mixed-Criticality Systems on Parallel Processors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed Tanya Amert, Nathan Otterness, Ming Yang, James H. Anderson, F. Donelson Smith |
GPU Scheduling on the NVIDIA TX2: Hidden Details Revealed 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
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
An O(Log Log m)-Competitive Algorithm for Online Machine Minimization Sungjin Im, Benjamin Moseley, Kirk Pruhs, Clifford Stein |
An O(Log Log m)-Competitive Algorithm for Online Machine Minimization Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets Xiaojie Guo, Sophie Quinton, Pascal Fradet, Jean-François Monin |
Work-in-Progress: Toward a Coq-Certified Tool for the Schedulability Analysis of Tasks with Offsets Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive Systems Kyoung-Soo We, Seunggon Kim, Wonseok Lee, Chang-Gun Lee |
Functionally and Temporally Correct Simulation of Cyber-Systems for Automotive 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
|
|
Dolly Sapra, Sebastian Altmeyer |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Temporal Capabilities: Access Control for Time Phani Kishore Gadepalli, Robert Gifford, Lucas Baier, Michael Kelly, Gabriel Parmer |
Temporal Capabilities: Access Control for Time Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Mehrullah Soomro, Saeed Nourizadeh Azar, Özgür Gürbüz, Ahmet Onat |
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
|
Author Comments:
We are working to improve the communication links of our artifact
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System Sheng-Wei Cheng, Jian-Jia Chen, Jan Reineke, Tei-Wei Kuo |
Memory Bank Partitioning for Fixed-Priority Tasks in a Multi-core System Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: A Flexible Router Architecture for 3D NoCs Mostafa Khamis, Mostafa Said, Ahmed Shalaby |
Work-in-Progress: A Flexible Router Architecture for 3D NoCs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB Hector Joao Rivera-Verduzco, Pieter J. L. Cuijpers, Jingyue Cao |
Work-in-Progress: Best-Case Response Time Analysis for Ethernet AVB Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sustainability in Mixed-Criticality Scheduling Zhishan Guo, Sai Sruti, Bryan C. Ward, Sanjoy Baruah |
Sustainability in Mixed-Criticality Scheduling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks Gautham Nayak Seetanadi, Javier Cámara, Luís Almeida, Karl-Erik Årzén, Martina Maggio |
Event-Driven Bandwidth Allocation with Formal Guarantees for Camera Networks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling Flavia Maristela Santos Nascimento, George Lima, Ernesto Massa |
Work-in-Progress: Dealing with Aperiodic Tasks on Quasi-Partitioning Scheduling Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Enrico Mezzetti, Jaume Abella, Carles Hernández, Francisco J. Cazorla |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation Karila Palma Silva, Luis Fernando Arcaro, Rômulo Silva de Oliveira |
On Using GEV or Gumbel Models When Applying EVT for Probabilistic WCET Estimation Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time Systems Zhishan Guo, Ying Zhang, Lingxiang Wang, Zhenkai Zhang |
Work-in-Progress: Cache-Aware Partitioned EDF Scheduling for Multi-core Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks Jinghao Sun, Nan Guan, Yang Wang, Qingqiang He, Wang Yi |
Real-Time Scheduling and Analysis of OpenMP Task Systems with Tied Tasks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs Pierre Donat-Bouillud, Christoph M. Kirsch |
Work-in-Progress: Adaptive Scheduling with Approximate Computing for Audio Graphs Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|