External Links

    Journal: Real-Time Systems

    Volume 20, Issue 1

    5 -- 25William Henderson, David Kendall, Adrian Robson. Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter
    27 -- 49Hyoung Seok Hong, Seung Mo Cho, Sung Deok Cha, Yong Rae Kwon. Extending the SCR Method for Real-Time Systems
    51 -- 81Tomasz Janowski, Mathai Joseph. Dynamic Scheduling and Fault-Tolerance: Specification and Verification
    83 -- 102Sasikumar Punnekkat, Alan Burns, Robert I. Davis. Analysis of Checkpointing for Real-Time Systems
    runs on