Anglais ⇄ Russe +

generalized utilization bound theorem contraintes
progr.	обобщённая теорема о верхней границе коэффициента использования (процессора (центрального процессора, ЦП) в теории планирования в реальном времени ssn)