guarded – phrases

Terms for subject Programming containing guarded | all forms | exact matches only

English	Russian
A guarded signal is assigned values under the control of boolean-valued guard expressions or guards	Присваивание значений защищённому сигналу происходит под управлением выражений защиты или защит, вырабатывающих логическое значение (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn)
drivers of the corresponding guarded signals	драйверы соответствующих защищённых сигналов (ssn)
every properly guarded recursive equation	всякое должным образом предварённое рекурсивное уравнение (ssn)
for a guarded signal that is of a composite type, each subelement is likewise a guarded signal	каждый подэлемент защищённого сигнала составного типа также является защищённым сигналом (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual)
guard page	проверочная страница (памяти opennet.ru Alex_Odeychuk)
guarded atomic action	атомарная операция с охранным условием (Alex_Odeychuk)
guarded atomic operation	атомарная операция с охранным условием (Alex_Odeychuk)
guarded command	защищённая команда (ssn)
guarded commands	защищённые команды (ssn)
guarded communication	защищённое взаимодействие (ssn)
guarded-context technique	метод защитного контекста (ssn)
guarded definite clause	охраняемый определённый дизъюнкт (термин логического программирования Alex_Odeychuk)
guarded expression	предварённое выражение (ssn)
guarded monitor	монитор с охранным условием (Alex_Odeychuk)
guarded monitor	монитор охраны (Alex_Odeychuk)
guarded outbound flow	защищённый выходной поток (ssn)
guarded outbound flows	защищённые выходные потоки (ssn)
guarded process	предварённый процесс (ssn)
guarded signal	защищённый сигнал (ssn)
guarded signal of a scalar type	защищённый сигнал скалярного типа (ssn)
guarded signal that is of a composite type	защищённый сигнал составного типа (ssn)
guarded signals	защищённые сигналы (ssn)
guarded signals of the kind indicated	защищённые сигналы указанного вида (ssn)
guarded suspension	охраняемая приостановка (используется для блокировки выполнения действия над объектом только тогда, когда тот находится в корректном состоянии Alex_Odeychuk)
left-guarded process	предварённый слева процесс (ssn)
To prove more general theorems about recursively defined processes, it is necessary to introduce a law which states that every properly guarded recursive equation has only one solution	для доказательства более общих теорем о рекурсивно определённых процессах необходимо ввести закон, гласящий, что всякое должным образом предварённое рекурсивное уравнение имеет единственное решение (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn)
several guarded outbound flows	несколько защищённых выходных потоков (ssn)
when a given guard becomes False, the drivers of the corresponding guarded signals are implicitly assigned a null transaction to cause those drivers to turn off	когда конкретная защита имеет значение FALSE, то драйверам соответствующих защищённых сигналов неявно присваивается пустая транзакция с целью отключения этих драйверов (см. IEЕЕ Std. 1076-87. IEЕЕ Standard VHDL. Language Reference Manual ssn)

Get short URL