Subject | English | Russian |
progr. | analyze again in order to check schedulability | снова подвергать анализу с целью проверить планируемость (ssn) |
progr. | approaches to schedulability analysis | подходы к анализу составления расписаний (ssn) |
progr. | Except for the most critical process, all others maintain their schedulability if a nonpreemptive scheduler is used | Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
progr. | more exact schedulability criterion | более достоверный критерий планируемости (ssn) |
progr. | Other approaches to schedulability analysis include algorithms for computing the set of reachable states of a finite-state system | другие подходы к анализу составления расписаний включают алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
progr. | schedulability analysis | анализ планируемости (ssn) |
progr. | schedulability analysis | анализ составления расписаний (ssn) |
progr. | schedulability criterion | критерий планируемости (ssn) |
progr. | schedulability if a nonpreemptive scheduler is used | планируемость при использовании планировщика без приоритетов (ssn) |
progr. | schedulability is not guaranteed | диспетчируемость не гарантируется (ssn) |
progr. | schedulability is not guaranteed | планируемость не гарантируется (ssn) |
progr. | schedulability is not guaranteed | существование расписания не гарантируется (ssn) |
progr. | schedulability of the tasks of the system | существование расписания для задач системы (ssn) |
progr. | schedulability test | тест на планируемость (ssn) |
progr. | schedulability test | тест на диспетчируемость (ssn) |
progr. | schedulability test | тест на существование расписания (ssn) |
progr. | schedulability test based on total CPU utilization | тест на планируемость, основанный на полном коэффициенте использования процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний) ssn) |
progr. | schedulability test based on total CPU utilization | тест на существование расписания, основанный на суммарной доле занятости ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний) ssn) |
progr. | schedulability test based on total CPU utilization | тест на планируемость, основанный на полном коэффициенте использования ЦП (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний) ssn) |
progr. | schedulability test based on total CPU utilization | тест на диспетчируемость, основанный на полном коэффициенте использования ЦП (ssn) |
progr. | schedulability test based on total CPU utilization | тест на существование расписания, основанный на суммарной доле занятости процессора (термин относится к теории планирования в реальном времени (т.ж. теории монотонных расписаний) ssn) |
progr. | schedulability theory | теория планируемости (задач ssn) |
progr. | task schedulability | диспетчируемость задач (ssn) |
progr. | task schedulability | планируемость задач (ssn) |
progr. | To test the effect of this change, the model can be analyzed again in order to check schedulability | для испытания результата этого изменения модель может быть снова подвергнута анализу с целью проверить планируемость (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |