Journal: Real-Time Systems

Volume 4, Issue 4

287 -- 306Steven Berryman, Ian Sommerville. Modeling and Evaluating the Feasibility of Timing Constraints Under Different Real-time scheduling Algorithms
307 -- 329Alexander D. Stoyenko, Thomas J. Marlowe. Polynomial-Time Transformations and Schedulability Analysis of Parallel Real-Time Programs with Restricted Resource Contention
331 -- 352E. Allen Emerson, Aloysius K. Mok, A. Prasad Sistla, Jai Srinivasan. Quantitative Temporal Reasoning
353 -- 382Nelson H. Weiderman, Nick I. Kamenoff. Hartstone Uniprocessor Benchmark: Definitions and Experiments for Real-Time Systems