An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization

DOI10.1109/TC.2012.21zbMath1365.90175OpenAlexW2162443515MaRDI QIDQ5274354

Haibo Zeng, Marco Di Natale

Publication date: 12 July 2017

Published in: IEEE Transactions on Computers (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1109/tc.2012.21

Mathematics Subject Classification ID

Mixed integer programming (90C11) Deterministic scheduling theory in operations research (90B35)

Related Items (2)

An efficient schedulability analysis for optimizing systems with adaptive mixed-criticality scheduling ⋮ The concept of maximal unschedulable deadline assignment for optimization in fixed-priority scheduled real-time systems

This page was built for publication: An Efficient Formulation of the Real-Time Feasibility Region for Design Optimization