✦ LIBER ✦

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

Publisher: Elsevier Science
Year: 1993
Tongue: English
Weight: 227 KB
Volume: 1
Category: Article
ISSN: 0967-0661
DOI: 10.1016/0967-0661(93)92159-2

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 📂 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

162 Specification of real-time job sched

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

📂 Article 📅 1994 🏛 Elsevier Science 🌐 English ⚖ 128 KB