| 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 |
|---|
|
On the Dominance of Minimum-Parallelism Multiprocessor Supply Kecheng Yang, James H. Anderson |
On the Dominance of Minimum-Parallelism Multiprocessor Supply Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Computational Complexity and Speedup Factors Analyses for Self-Suspending Tasks Jian-Jia Chen |
Computational Complexity and Speedup Factors Analyses for Self-Suspending Tasks Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Timing-anomaly free dynamic scheduling of task-based parallel applications Petros Voudouris, Per Stenström, Risat Pathan |
Timing-anomaly free dynamic scheduling of task-based parallel applications Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments Georg von der Brüggen, Kuan-Hsun Chen, Wen-Hung Huang, Jian-Jia Chen |
Systems with Dynamic Real-Time Guarantees in Uncertain and Faulty Execution Environments Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Dynamic Budget Management with Service Guarantees for Mixed-Criticality Systems Xiaozhe Gu, Arvind Easwaran |
Dynamic Budget Management with Service Guarantees for Mixed-Criticality 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
|
|
REVERT: Runtime Verification for Real-Time Systems Sangeeth Kochanthara, Geoffrey Nelissen, David Pereira, Rahul Purandare |
REVERT: Runtime Verification for Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Right on Time Distributed Shared Memory Rachid Guerraoui, David Kozhaya, Yvonne Anne Pignolet |
Right on Time Distributed Shared Memory Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks Sanjoy Baruah |
The Federated Scheduling of Systems of Mixed-Criticality Sporadic DAG Tasks Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Reducing Deadline Misses and Power Consumption in Real-Time Databases Kyoung-Don Kang |
Reducing Deadline Misses and Power Consumption in Real-Time Databases Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees Di Liu, Jelena Spasic, Nan Guan, Gang Chen, Songran Liu, Todor P. Stefanov, Wang Yi |
EDF-VD Scheduling of Mixed-Criticality Systems with Degraded Quality Guarantees Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge Fanxin Kong, Qiao Xiang, Linghe Kong, Xue Liu |
On-Line Event-Driven Scheduling for Electric Vehicle Charging via Park-and-Charge Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Sporadic Decision-Centric Data Scheduling with Normally-off Sensors Jung-Eun Kim, Tarek F. Abdelzaher, Lui Sha, Amotz Bar-Noy, Reginald L. Hobbs |
Sporadic Decision-Centric Data Scheduling with Normally-off Sensors Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Decomposed Reachability Analysis for Nonlinear Systems Xin Chen, Sriram Sankaranarayanan |
Decomposed Reachability Analysis for Nonlinear 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
|
|
Timeline: An Operating System Abstraction for Time-Aware Applications Fatima M. Anwar, Sandeep D'Souza, Andrew Symington, Adwait Dongare, Ragunathan Rajkumar, Anthony Rowe, Mani B. Srivastava |
Timeline: An Operating System Abstraction for Time-Aware Applications Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems Monowar Hasan, Sibin Mohan, Rakesh B. Bobba, Rodolfo Pellizzoni |
Exploring Opportunistic Execution for Integrating Security into Legacy Hard Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Real-Time Capabilities of HSA Compliant COTS Platforms Nandinbaatar Tsog, Matthias Becker, Marcus Larsson, Fredrik Bruhn, Moris Behnam, Mikael Sjödin |
Real-Time Capabilities of HSA Compliant COTS Platforms Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Towards code metrics for benchmarking timing analysis Peter Wägemann, Tobias Distler, Phillip Raffeck, Wolfgang Schröder-Preikschat |
Towards code metrics for benchmarking timing analysis Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
Exploiting Power Grid for Accurate and Secure Clock Synchronization in Industrial IoT Sreejaya Viswanathan, Rui Tan, David K. Y. Yau |
Exploiting Power Grid for Accurate and Secure Clock Synchronization in Industrial IoT Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
MARACAS: A Real-Time Multicore VCPU Scheduling Framework Ying Ye, Richard West, Jingyi Zhang, Zhuoqun Cheng |
MARACAS: A Real-Time Multicore VCPU Scheduling Framework Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks Xu Jiang, Xiang Long, Nan Guan, Han Wan |
On the Decomposition-Based Global EDF Scheduling of Parallel Real-Time Tasks Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Offline Guarantee and Online Management of Power Demand and Supply in Cyber-Physical Systems Eugene Kim, Jinkyu Lee, Liang He, Youngmoon Lee, Kang G. Shin |
Offline Guarantee and Online Management of Power Demand and Supply in Cyber-Physical Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Micaiah Chisholm, Namhoon Kim, Bryan C. Ward, Nathan Otterness, James H. Anderson, F. Donelson Smith |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Closing the loop: towards control-aware design of adaptive real-time systems Tobias Klaus, Florian Franzmann, Maximilian Gaukler, Andreas Michalka, Peter Ulbrich |
Closing the loop: towards control-aware design of adaptive real-time systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Integrating the calculation of preemption and persistence related cache overhead Syed Aftab Rashid, Geoffrey Nelissen, Eduardo Tovar |
Integrating the calculation of preemption and persistence related cache overhead Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Achraf Mguidich, Vladimir-Alexandru Paun, Bruno Monsuez, Philippe Baufreton |
Details |
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
|
Real-Time Data and Energy Management in Microgrids Zhichuan Huang, Ting Zhu |
Real-Time Data and Energy Management in Microgrids Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Average probabilistic response time analysis of tasks with multiple probabilistic parameters Antoine Bertout, Dorin Maxim, Liliana Cucu-Grosjean |
Average probabilistic response time analysis of tasks with multiple probabilistic parameters Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Not able to share produced artifacts
Verification:
Authors have
verified
information
|
|
Energy-Aware Real-Time Task Scheduling on Local/Shared Memory Systems Chenchen Fu, Gruia Calinescu, Kai Wang, Minming Li, Chun Jason Xue |
Energy-Aware Real-Time Task Scheduling on Local/Shared Memory Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Schedulability Analysis for a General Model of Mixed-Criticality Recurrent Real-Time Tasks Sanjoy Baruah |
Schedulability Analysis for a General Model of Mixed-Criticality Recurrent Real-Time Tasks Details |
|
Discussion Comments:
0
Verification:
Author has
not verified
information
|
|
Björn B. Brandenburg, Mahircan Gul |
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
|
|
Zheng Dong, Cong Liu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems Romain Jacob, Marco Zimmerling, Pengcheng Huang, Jan Beutel, Lothar Thiele |
End-to-End Real-Time Guarantees in Wireless Cyber-Physical Systems Details |
|
Author Comments:
Discussion Comments:
0
Sharing:
Research produced no artifacts
Verification:
Authors have
verified
information
|
|
Enabling Predictable Wireless Data Collection in Severe Energy Harvesting Environments Zheng Dong, Yu Gu, Jiming Chen, Shaojie Tang, Tian He, Cong Liu |
Enabling Predictable Wireless Data Collection in Severe Energy Harvesting Environments Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Value-Based Task Scheduling for Nonvolatile Processor-Based Embedded Devices Wei-Ming Chen, Taisheng Cheng, Pi-Cheng Hsiu, Tei-Wei Kuo |
Value-Based Task Scheduling for Nonvolatile Processor-Based Embedded Devices Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered Calvin Deutschbein, Sanjoy Baruah |
Preemptive Uniprocessor EDF Schedulability Analysis with Preemption Costs Considered Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs Alessandro Biondi, Alessio Balsini, Marco Pagani, Enrico Rossi, Mauro Marinoni, Giorgio C. Buttazzo |
A Framework for Supporting Real-Time Applications on Dynamic Reconfigurable FPGAs 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
|
|
Randomized Work Stealing for Large Scale Soft Real-Time Systems Jing Li, Son Dinh, Kevin Kieselbach, Kunal Agrawal, Christopher D. Gill, Chenyang Lu |
Randomized Work Stealing for Large Scale Soft Real-Time Systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
A Blocking Bound for Nested FIFO Spin Locks Alessandro Biondi, Björn B. Brandenburg, Alexander Wieder |
A Blocking Bound for Nested FIFO Spin Locks Details |
Author Comments:
Discussion Comments:
0
Sharing:
Research produced artifacts
Verification:
Authors have
verified
information
|
|
|
BUNDLE: Real-Time Multi-threaded Scheduling to Reduce Cache Contention Corey Tessler, Nathan Fisher |
BUNDLE: Real-Time Multi-threaded Scheduling to Reduce Cache Contention Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Wen-Hung Huang, Maolin Yang, Jian-Jia Chen |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems Kilho Lee, Wookhyun Han, Jaewoo Lee, Hoon Sung Chwa, Insik Shin |
Fast and accurate cycle estimation through hybrid instruction set simulation for embedded systems Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|
|
Jian-Jia Chen, Wen-Hung Huang, Cong Liu |
Details |
|
Discussion Comments:
0
Verification:
Authors have
not verified
information
|