Journal: Real-Time Systems

Volume 46, Issue 2

153 -- 159Björn Andersson, Arvind Easwaran. Provably good multiprocessor scheduling with resource sharing
160 -- 188Shengquan Wang, Youngwoo Ahn, Riccardo Bettati. Schedulability analysis in hard real-time systems under thermal constraints
189 -- 250Lucien Ouedraogo, Ahmed Khoumsi, Mustapha Nourelfath. ::::SetExp::::: a method of transformation of timed automata into finite state automata
251 -- 300Heiko Falk, Paul Lokuciejewski. A compiler framework for the reduction of worst-case execution times