Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems

Xiaojuan Liao, Hui Zhang, Miyuki Koshimura, Rong Huang, Wenxin Yu

研究成果: Chapter in Book/Report/Conference proceedingConference contribution

フィンガープリント 「Maximum satisfiability formulation for optimal scheduling in overloaded real-time systems」の研究トピックを掘り下げます。これらがまとまってユニークなフィンガープリントを構成します。

Mathematics

Engineering & Materials Science