Vol 4, No 1 (2017)

DOI: https://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
To make this site work properly, we sometimes place small data files called cookies on your device. Cookies are only here to manage user sessions. Cookies aren’t required for simply visiting the site and read content.