External Links

    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
    runs on