A location in the

Terms for subject Programming containing A location in the | all forms

English	Russian
clock constraint in the invariant of a location or in the guard of a transition	временное ограничение инварианта позиции или предохранителя перехода (ssn)
if the action of a transition is only an action of one of the two processes, then there will be a transition in the parallel composition for each location of the other timed automaton	если действием некоторого перехода будет действие только одного из двух процессов, то для каждой позиции второго временного автомата в параллельной композиции будет совместный переход (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn)
in a line that packages candy bars, you have to make sure that the perforation occurs in the correct location on each bar	на линии упаковки конфет необходимо обеспечить перфорацию каждой конфеты в заданном месте
location of the virtual pages in a process address space	адреса виртуальных страниц в адресном пространстве процесса (ssn)