0 | -- | 0 | Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer. Quantitative Analysis of Consistency in NoSQL Key-Value Stores |
0 | -- | 0 | Holger Hermanns, Jan Krcál, Gilles Nies. How Is Your Satellite Doing? Battery Kinetics with Recharging and Uncertainty |
0 | -- | 0 | Florian Kluge. Utility-Based Scheduling of (m, k)-firm Real-Time Tasks - New Empirical Results |
0 | -- | 0 | Jian-Jia Chen, Björn B. Brandenburg. A Note on the Period Enforcer Algorithm for Self-Suspending Tasks |
0 | -- | 0 | Eric William Davis Rozier, Kristin Y. Rozier, Ulya Bayram. Characterizing Data Dependence Constraints for Dynamic Reliability Using n-Queens Attack Domains |