Terms for subject Programming containing types of schedulers

English	Russian
modeling both types of schedulers	моделирование обоих типов планировщиков (ssn)
Modeling both types of schedulers allows us to compare the behavior of the system under different conditions	Моделирование обоих типов планировщиков позволяет нам сравнить поведение системы в различных условиях (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
types of schedulers	типы планировщиков (ssn)