UM

Browse/Search Results:  1-2 of 2 Help

Selected(0)Clear Items/Page:    Sort:
Rate monotonic scheduling re-analysed Journal article
Information Processing Letters, 2010,Volume: 110,Issue: 6,Page: 226-231
Authors:  Xu Q.;  Zhan N.
Favorite  |  View/Download:2/0  |  Submit date:2019/04/04
Real Time Systems  Schedulability Conditions  Scheduling  
Formalising Scheduling Theories in Duration Calculus Journal article
Nordic Journal of Computing, 2008,Volume: 14,Page: 173–201
Authors:  QIWEN XU;  NAIJUN ZHAN
Favorite  |  View/Download:1/0  |  Submit date:2019/05/29
Real Time Scheduling  Formal Proof  Duration Calculus  Temporal Logics  Schedulability Conditions