Duration Calculus Specification of Scheduling for Tasks with Shared Resources (1995)

Cached

Download Links

by Philip Chan , Dang Van Hung
Venue:LNCS 1023, Springer-Verlag
Citations:6 - 4 self

Active Bibliography

13 A Duration Calculus with Infinite Intervals – Zhou Chaochen, Dang Van Hung, Li Xiaoshan - 1995
3 Resource Control For Hard Real-Time Systems: A Review – Neil C. Audsley - 1991
19 Real-Time System Scheduling – N. Audsley, A. Burns - 1990
48 Scheduling Hard Real-Time Systems: A Review – A. Burns - 1991
Priority Consistency Management in Distributed Real-Time Operating Systems – Tatsuo Nakajima, Takuro Kitayama, Hiroshi Arakawa, Hideyuki Tokuda - 1992
6 Experiments with Real-Time Servers in Real-Time Mach – Tatsuo Nakajima, Takuro Kitayama, Hideyuki Tokuda - 1993
77 Engineering and Analysis of Fixed Priority Schedulers – Daniel Katcher, Hiroshi Arakawa, Jay K. Strosnider - 1993
Another Formal Proof for Deadline Driven Scheduler – Zhan Naijun August, Zhan Naijun - 1999
Scheduling in the Situation Calculus: A Case Study – Ray Reiter, Zheng Yuhua - 1997
Modelling Real-Time Database Systems in Duration Calculus – Ho Van Hung, Dang Van Hung - 2002
2 Formalising Scheduling Theories in Duration Calculus – Xu Qiwen, Zhan Jaijun - 2000
1 A Formal Proof of the Rate Monotonic Scheduler – Dong Shuzhen, Xu Qiwen, Zhan Naijun - 1999
5 A Machine-Checked Proof of the Optimality of a Real-Time Scheduling Policy – Matthew Wilding - 1998
3 Formal Analysis of the Priority Ceiling Protocol – Bruno Dutertre - 2000
NPS: User-level Real-Time Network Engine on Real-Time Mach – Tatsuo Nakajima - 1994
Experiences with building a Continuous Media Application on Real-Time Mach – Hiroshi Tezuka, Tatsuo Nakajima - 1995
23 A Continuous Media Application supporting Dynamic QOS Control on Real-Time Mach – Tatsuo Nakajima, Hiroshi Tezuka - 1994
UNU/IIST Annual Report 1999 – Unu/iist - 2000
2 On Verification of Probabilistic Timed Automata against Probabilistic Duration Properties – Dang Van Hung, Zhang Miaomiao - 2005