Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations

DOI10.1016/J.IPL.2008.03.020zbMath1191.68107OpenAlexW2035567112MaRDI QIDQ975398

Meuse N. Oliveira jun., Paulo Maciel, Eduardo Henrique Gomes Tavares, Bruno C. Silva

Publication date: 9 June 2010

Published in: Information Processing Letters (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ipl.2008.03.020

zbMATH Keywords

schedulingreal-time systemsformal methodsoperating systems

Mathematics Subject Classification ID

Performance evaluation, queueing, and scheduling in the context of computer systems (68M20)

Related Items (1)

A COTS-based approach for estimating performance and energy consumption of embedded real-time systems

Cites Work

• Unnamed Item
• Partial-order methods for the verification of concurrent systems. An approach to the state-explosion problem
• Recoverability of Communication Protocols--Implications of a Theoretical Study

This page was built for publication: Hard real-time tasks' scheduling considering voltage scaling, precedence and exclusion relations