Abstract is missing.
- Dynamic Command Scheduling for Real-Time Memory ControllersYonghui Li, Benny Akesson, Kees G. W. Goossens. 3-14 [doi]
- OUTSTANDING PAPER: Evaluation of Cache Partitioning for Hard Real-Time SystemsSebastian Altmeyer, Roeland Douma, Will Lunniss, Robert I. Davis. 15-26 [doi]
- A Rank-Switching, Open-Row DRAM Controller for Time-Predictable SystemsYogen Krishnapillai, Zheng Pei Wu, Rodolfo Pellizzoni. 27-38 [doi]
- Formal Verification of Real-Time Wireless Sensor Networks Protocols: Scaling UpAlexandre Mouradian, Isabelle Augé-Blum. 41-50 [doi]
- Model Checking Process Algebra of Communicating Resources for Real-Time SystemsAbdeldjalil Boudjadar, Jin Hyun Kim, Kim G. Larsen, Ulrik Nyman. 51-60 [doi]
- The FMLP+: An Asymptotically Optimal Real-Time Locking Protocol for Suspension-Aware AnalysisBjörn B. Brandenburg. 61-71 [doi]
- Putting RUN into Practice: Implementation and EvaluationDavide Compagnin, Enrico Mezzetti, Tullio Vardanega. 75-84 [doi]
- Analysis of Federated and Global Scheduling for Parallel Real-Time TasksJing Li, Jian-Jia Chen, Kunal Agrawal, Chenyang Lu, Christopher D. Gill, Abusayeed Saifullah. 85-96 [doi]
- Improved Multiprocessor Global Schedulability Analysis of Sporadic DAG Task SystemsSanjoy Baruah. 97-105 [doi]
- Multi-core Interference-Sensitive WCET Analysis Leveraging Runtime Resource Capacity EnforcementJan Nowotsch, Michael Paulitsch, Daniel Buhler, Henrik Theiling, Simon Wegener, Michael Schmidt. 109-118 [doi]
- Run-Time Control to Increase Task Parallelism In Mixed-Critical SystemsAngeliki Kritikakou, Claire Pagetti, Olivier Baldellon, Matthieu Roy, Christine Rochange. 119-128 [doi]
- Real-Time Systems Security through Scheduler ConstraintsSibin Mohan, Man-Ki Yoon, Rodolfo Pellizzoni, Rakesh Bobba. 129-140 [doi]
- Refinement-Based Exact Response-Time AnalysisMartin Stigge, Nan Guan, Wang Yi 0001. 143-152 [doi]
- Optimal Design for Reservation Servers under Shared ResourcesAlessandro Biondi, Alessandra Melani, Marko Bertogna, Giorgio C. Buttazzo. 153-164 [doi]
- Exact Interference of Adaptive Variable-Rate Tasks under Fixed-Priority SchedulingAlessandro Biondi, Alessandra Melani, Mauro Marinoni, Marco Di Natale, Giorgio C. Buttazzo. 165-174 [doi]
- Explicit Preemption Placement for Real-Time Conditional CodeBo Peng, Nathan Fisher, Marko Bertogna. 177-188 [doi]
- Multi Sloth: An Efficient Multi-core RTOS Using Hardware-Based SchedulingRainer Muller, Daniel Danner, Wolfgang Schröder-Preikschat, Daniel Lohmann. 189-198 [doi]
- Analysis Techniques for Supporting Harmonic Real-Time Tasks with SuspensionsCong Liu, Jian-Jia Chen, Liang He, Yu Gu 0001. 201-210 [doi]
- A Framework to Construct Customized Harmonic Periods for Real-Time SystemsMitra Nasri, Gerhard Fohler, Mehdi Kargahi. 211-220 [doi]
- CoAdapt: Predictable Behavior for Accuracy-Aware Applications Running on Power-Aware SystemsHenry Hoffmann. 223-232 [doi]
- Predictive Thermal Control for Real-Time Video DecodingMehmet H. Suzer, Kyoung-Don Kang. 233-242 [doi]
- Necessary and Sufficient Conditions for Thermal Schedulability of Periodic Real-Time TasksRehan Ahmed, Parameswaran Ramanathan, Kewal K. Saluja. 243-252 [doi]
- Heart of Gold: Making the Improbable Happen to Increase Confidence in MBPTAJaume Abella, Eduardo Quiñones, Franck Wartel, Tullio Vardanega, Francisco J. Cazorla. 255-265 [doi]
- On the Comparison of Deterministic and Probabilistic WCET Estimation TechniquesJaume Abella, Damien Hardy, Isabelle Puaut, Eduardo Quiñones, Francisco J. Cazorla. 266-275 [doi]
- PUB: Path Upper-Bounding for Measurement-Based Probabilistic Timing AnalysisLeonidas Kosmidis, Jaume Abella, Franck Wartel, Eduardo Quiñones, Antoine Colin, Francisco J. Cazorla. 276-287 [doi]
- OUTSTANDING PAPER: Optimal and Adaptive Multiprocessor Real-Time Scheduling: The Quasi-Partitioning ApproachErnesto Massa, George Lima, Paul Regnier, Greg Levin, Scott A. Brandt. 291-300 [doi]
- The Global Limited Preemptive Earliest Deadline First Feasibility of Sporadic Real-Time TasksAbhilash Thekkilakattil, Sanjoy Baruah, Radu Dobrin, Sasikumar Punnekkat. 301-310 [doi]