✦ LIBER ✦

162 Specification of real-time job scheduling systems using timed statecharts: A. Sowmya, pp 733–738

Publisher: Elsevier Science
Year: 1994
Tongue: English
Weight: 128 KB
Volume: 2
Category: Article
ISSN: 0967-0661
DOI: 10.1016/0967-0661(94)90177-5

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

A statecharts-based specification and ve

A statecharts-based specification and verification of real-time job scheduling systems : A. Sowmya, pp 263–268

📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 227 KB

A statecharts-based specification and ve

A statecharts-based specification and verification of real-time job scheduling systems

✍ A. Sowmya 📂 Article 📅 1993 🏛 Elsevier Science 🌐 English ⚖ 606 KB

Real-time job scheduling is a difficult problem. The job scheduling system re ceives jobs from the environment, each job with its own real-time deadline. Queueing and scheduling may still be necessary, in order to maximize the processor usage and also to impose job priorities. In order to comptue di