Journal: Real-Time Systems

Volume 51, Issue 6

637 -- 638Michael González Harbour, Giorgio C. Buttazzo. Guest Editorial: Special Issue on The Real-Time Systems Symposium
639 -- 674Martin Stigge, Wang Yi 0001. Combinatorial abstraction refinement for feasibility analysis of static priorities
675 -- 723Meng Xu, Linh Thi Xuan Phan, Oleg Sokolsky, Sisu Xi, Chenyang Lu, Christopher D. Gill, Insup Lee. Cache-aware compositional analysis of real-time multicore virtualization platforms
724 -- 762Dong Wang, Tarek F. Abdelzaher, Lance M. Kaplan, Raghu K. Ganti, Shaohan Hu, Hengchang Liu. Reliable social sensing with physical constraints: analytic bounds and performance evaluation

Volume 51, Issue 5

485 -- 525Gopinath Karmakar, Ashutosh Kabra, Krithi Ramamritham. Maintaining thermal comfort in buildings: feasibility, algorithms, implementation, evaluation
526 -- 565Wolfgang Puffitsch, Eric Noulard, Claire Pagetti. Off-line mapping of multi-rate dependent task sets to many-core platforms
566 -- 601Robert I. Davis, Alan Burns, Sanjoy Baruah, Thomas Rothvoß, Laurent George 0001, Oliver Gettings. Exact comparison of fixed priority and EDF scheduling based on speedup factors for both pre-emptive and non-pre-emptive paradigms
602 -- 636Martin Stigge, Wang Yi 0001. Graph-based models for real-time workload: a survey

Volume 51, Issue 4

359 -- 0. Editor's Note: Special Issue on ECRTS
360 -- 394Haibo Zeng, Marco Di Natale. Computing periodic request functions to speed-up the analysis of non-cyclic task models
395 -- 439Jing Li, Zheng Luo, David Ferry, Kunal Agrawal, Christopher D. Gill, Chenyang Lu. Global EDF scheduling for parallel real-time tasks
440 -- 483Arpan Gujarati, Felipe Cerqueira, Björn B. Brandenburg. Multiprocessor real-time scheduling with arbitrary processor affinities: from practice to theory

Volume 51, Issue 3

221 -- 246Alessandro Vittorio Papadopoulos, Martina Maggio, Alberto Leva, Enrico Bini. Hard real-time guarantees in feedback-based resource reservations
247 -- 273Abhilash Thekkilakattil, Radu Dobrin, Sasikumar Punnekkat. The limited-preemptive feasibility of real-time tasks on uniprocessors
274 -- 313Mayank Shekhar, Harini Ramaprasad, Abhik Sarkar, Frank Mueller. Architecture aware semi partitioned real-time scheduling on multicore platforms
314 -- 357Borislav Nikolic, Stefan M. Petters. Real-time application mapping for many-cores using a limited migrative model

Volume 51, Issue 2

125 -- 127Robert I. Davis, Emmanuel Grolleau. Special issue on scheduling and timing analysis for advanced real-time systems
128 -- 152Damien Hardy, Isabelle Puaut. Static probabilistic worst case execution time estimation for architectures with faulty instruction caches
153 -- 191Vincent Legout, Mathieu Jan, Laurent Pautet. Scheduling algorithms to reduce the static energy consumption of real-time systems
192 -- 220Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae. Timing analysis enhancement for synchronous program

Volume 51, Issue 1

1 -- 35Domitian Tamas-Selicean, Paul Pop, Wilfried Steiner. Design optimization of TTEthernet-based distributed real-time systems
36 -- 76Chang Leng, Ying Qiao, Xiaobo Sharon Hu, Hongan Wang. Utilization-based admission control for aperiodic tasks under EDF scheduling
77 -- 123Sebastian Altmeyer, Liliana Cucu-Grosjean, Robert I. Davis. Static probabilistic timing analysis for real-time systems using random replacement caches