Terms containing set of clocks

Subject	English	Russian
progr.	a set of clock variables	множество переменных-часов (ssn)
progr.	a set of clocks	множество часов (ssn)
progr.	A timed automaton is a finite automaton augmented with a finite set of real-valued clocks	Временной автомат представляет собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
progr.	to be a finite automaton augmented with a finite set of real-valued clocks	представлять собой конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
progr.	finite automaton augmented with a finite set of real-valued clocks	конечный автомат, снабжённый конечным набором часов, принимающих действительные значения (ssn)
progr.	finite set of real-valued clocks	конечный набор часов, принимающих действительные значения (ssn)
Makarov.	he crossed the finish line, saw the clock stopped at 37.40 and was astounded to realize that his team had taken 10 of a second from the world record set in 1991	он пересёк финишную черту, увидел, что секундомер показывает 37,40 и с изумлением понял, что его команда улучшила на одну десятую секунды мировой рекорд, установленный в 1991 г.
gen.	he crossed the finish line, saw the clock stopped at 37.40 and was astounded to realize that his team had taken. 10 of a second from the world record set in 1991	он пересёк финишную черту, увидел, что секундомер показывает 37,40 и с изумлением понял, что его команда улучшила на одну десятую секунды мировой рекорд, установленный в 1991 г.
gen.	set a clock to set the hands of a clock	ставить часы
gen.	set a clock to set the hands of a clock	поставить часы
progr.	set of clock assignments	множество показаний часов (ssn)
progr.	set of clock constraints	множество временных ограничений (ssn)
progr.	set of clocks	множество часов (ssn)
progr.	set of clocks that are reset	множество сбрасываемых часов (ssn)
gen.	set the hands of a clock	ставить (правильно)
gen.	set the hands of a clock	установить стрелки часов
gen.	set the hands of a clock	поставить (правильно)
gen.	set the hands of a clock	устанавливать стрелки часов
progr.	the set of clocks that are reset will be the union of the sets that are reset by the individual transitions	множеством сбрасываемых часов будет объединение множеств часов, сбрасываемых на этих отдельных переходах (ssn)