DictionaryForumContacts

   Russian English
Google | Forvo | +
Исключая наиболее требовательные процессы, все остальные сохраняют свою планируемость при использовании планировщика без приоритетовstresses
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)