English | Russian |
Assume the shift amount n is a variable ranging from 0 to 63 | Будем считать, что переменная величина сдвига n может принимать любые значения от 0 до 63 (ssn) |
assume without stating it that | неявно предполагать, что (ssn) |
Building time schedules assumes that the work breakdown structure and the task list are known | Создание временных планов предполагает, что известны структурная декомпозиция работы и список задач (см. "Practical Software Engineering: A Case-Study Approach" by Maciaszek L.A. and Liong B.L. 2005 ssn) |
Here and elsewhere, we assume without stating it that the alphabets of the processes on each side of an equation are the same | Здесь и далее мы неявно предполагаем, что алфавиты процессов в обоих частях уравнения совпадают (см. Communicating Sequential Processes by C.A.R. Hoare 1985 ssn) |
justifying assume-guarantee proofs | обоснование по схеме "допущение-подтверждение" (ssn) |
states that a component can assume | состояния, которые может принимать компонент (ssn) |
states that a component or system can assume | состояния, которые может принимать компонент или система (ssn) |
states that system can assume | состояния, которые может принимать система (ssn) |
we assume that the outside world will deposit a token in the place corresponding to an input symbol and then wait for a token to appear in a place corresponding to an output symbol which will then be removed | мы допускаем, что из внешнего мира помещается фишка в позицию, соответствующую входному символу, а затем фишка, появившаяся в позиции, соответствующей выходному символу, удаляется оттуда |
we assume that time passes at the same rate for all clocks | мы предполагаем, что темп времени одинаков для всех часов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |