Terms for subject Programming containing system algorithm

English	Russian
algorithm for generating a partial ordering of events in a distributed system and detecting causality violations	алгоритм получения частичного упорядочения событий в распределённой системе и обнаружения нарушений причинно-следственных связей (ssn)
algorithms for computing the set of reachable states of a finite-state system	алгоритмы вычисления множества достижимых состояний для систем с конечным числом состояний (ssn)
automated system operation algorithm	алгоритм функционирования АС (ssn)
automated system operation algorithm	алгоритм функционирования автоматизированной системы (алгоритм, задающий условия и последовательность действий компонентов автоматизированной системы при выполнении ею своих функций. См. ГОСТ 34.003-90 ssn)
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)
system algorithm	системный алгоритм (ssn)