Improving the Accuracy of Scheduling Analysis Applied to Distributed Systems Computing Minimal Response Times and Reducing Jitter William HendersonDavid KendallAdrian Robson OriginalPaper Pages: 5 - 25
Extending the SCR Method for Real-Time Systems Hyoung Seok HongSeung Mo ChoYong Rae Kwon OriginalPaper Pages: 27 - 49
Dynamic Scheduling and Fault-Tolerance: Specification and Verification Tomasz JanowskiMathai Joseph OriginalPaper Pages: 51 - 81
Analysis of Checkpointing for Real-Time Systems Sasikumar PunnekkatAlan BurnsRobert Davis OriginalPaper Pages: 83 - 102