deadline driven scheduler
Recently Published Documents

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

A formal proof of the deadline driven scheduler in PPTL axiomatic system

Theoretical Computer Science ◽

10.1016/j.tcs.2013.12.014 ◽

2014 ◽

Vol 554 ◽

pp. 229-253 ◽

Cited By ~ 8

Author(s):

Nan Zhang ◽

Zhenhua Duan ◽

Cong Tian ◽

Dingzhu Du

Keyword(s):

Formal Proof ◽

Axiomatic System ◽

Deadline Driven Scheduler

Download Full-text

Deadline-Driven Scheduler

Duration Calculus - Monographs in Theoretical Computer Science An EATCS Series ◽

10.1007/978-3-662-06784-0_4 ◽

2004 ◽

pp. 67-87

Author(s):

Zhou Chaochen ◽

Michael R. Hansen

Keyword(s):

Deadline Driven Scheduler

Download Full-text

Feasibility intervals for the deadline driven scheduler with arbitrary deadlines

Proceedings Sixth International Conference on Real-Time Computing Systems and Applications. RTCSA'99 (Cat. No.PR00306) ◽

10.1109/rtcsa.1999.811193 ◽

2003 ◽

Cited By ~ 6

Author(s):

J. Goossens ◽

R. Devillers

Keyword(s):

Deadline Driven Scheduler ◽

Arbitrary Deadlines

Download Full-text

Another formal proof for Deadline Driven Scheduler

Proceedings Seventh International Conference on Real-Time Computing Systems and Applications ◽

10.1109/rtcsa.2000.896430 ◽

2002 ◽

Author(s):

Zhan Naijun

Keyword(s):

Formal Proof ◽

Deadline Driven Scheduler

Download Full-text

An intuitive formal proof for Deadline Driven Scheduler

Journal of Computer Science and Technology ◽

10.1007/bf02950419 ◽

2001 ◽

Vol 16 (2) ◽

pp. 146-158 ◽

Cited By ~ 2

Author(s):

Naijun Zhan

Keyword(s):

Formal Proof ◽

Deadline Driven Scheduler

Download Full-text

A formal proof of the Deadline Driven scheduler

Lecture Notes in Computer Science - Formal Techniques in Real-Time and Fault-Tolerant Systems ◽

10.1007/3-540-58468-4_194 ◽

1994 ◽

pp. 756-775 ◽

Cited By ~ 24

Author(s):

Zheng Yuhua ◽

Zhou Chaochen

Keyword(s):

Formal Proof ◽

Deadline Driven Scheduler

Download Full-text

deadline driven schedulerRecently Published Documents

TOTAL DOCUMENTS

H-INDEX

A formal proof of the deadline driven scheduler in PPTL axiomatic system

Deadline-Driven Scheduler

Feasibility intervals for the deadline driven scheduler with arbitrary deadlines

Another formal proof for Deadline Driven Scheduler

An intuitive formal proof for Deadline Driven Scheduler

A formal proof of the Deadline Driven scheduler

deadline driven scheduler
Recently Published Documents