Terms containing schedulability analysis

Subject	English	Russian
progr.	approaches to schedulability analysis	подходы к анализу составления расписаний (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)