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

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

研究成果: 書籍/レポート タイプへの寄稿会議への寄与

3 被引用数 (Scopus)

フィンガープリント

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

Mathematics

Engineering & Materials Science