Vol 4, No 1 (2017)

DOI: http://dx.doi.org/10.4230/LITES-v004-i001

Cover Page

Full Issue

View or download the full issue PDF

Table of Contents

Regular Papers

A Note on the Period Enforcer Algorithm for Self-Suspending Tasks PDF
Jian-Jia Chen, Björn B. Brandenburg 01:1-01:22
Utility-Based Scheduling of (m,k)-firm Real-Time Tasks - New Empirical Results PDF
Florian Kluge 02:1-02:25

Special Issue on Quantitative Evaluation of Systems

Quantitative Analysis of Consistency in NoSQL Key-Value Stores PDF
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 PDF
Holger Hermanns, Jan Krčál, Gilles Nies 04:1-04:28
Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains PDF
Eric W. D. Rozier, Kristin Y. Rozier, Ulya Bayram 05:1-05:26