Русский ⇄ Английский

Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетов ударения
прогр.	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)