Terms containing two scheduling policies

Subject	English	Russian
progr.	two scheduling policies	две стратегии планирования (ssn)
progr.	we consider two scheduling policies, preemptive scheduling and nonpreemptive scheduling	мы рассматриваем две стратегии планирования: планирование с приоритетами и планирование без приоритетов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)