Full Issue
View or download the full issue |
Table of Contents
Regular Papers
A Note on the Period Enforcer Algorithm for Self-Suspending Tasks | |
Jian-Jia Chen, Björn B. Brandenburg | 01:1-01:22 |
Utility-Based Scheduling of (m,k)-firm Real-Time Tasks - New Empirical Results | |
Florian Kluge | 02:1-02:25 |
Special Issue on Quantitative Evaluation of Systems
Quantitative Analysis of Consistency in NoSQL Key-Value Stores | |
Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer | 03:1-03:26 |
How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty | |
Holger Hermanns, Jan Krčál, Gilles Nies | 04:1-04:28 |
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains | |
Eric W. D. Rozier, Kristin Y. Rozier, Ulya Bayram | 05:1-05:26 |