Russian | English |
выполнять асинхронные операции | handle asynchronous operations (Alex_Odeychuk) |
выполнять все необходимые операции конфигурирования | perform all the required configuration steps (приложения Alex_Odeychuk) |
выполнять операции | handle operations (Alex_Odeychuk) |
выполнять операции обработки файлов | perform operations on files (Alex_Odeychuk) |
выполнять операцию блокировки | lock (Alex_Odeychuk) |
выполнять операцию вывода | produce output (на каком-либо устройстве Alex_Odeychuk) |
выполнять операцию слияния кода в системе управления исходным кодом | merge of code with source code control (Alex_Odeychuk) |
выполнять операцию снятия блокировки | release lock (Alex_Odeychuk) |
выполнять операцию снятия блокировки | unlock (Alex_Odeychuk) |
выполнять операцию установки блокировки | lock (Alex_Odeychuk) |
выполнять связанные со временем операции | perform time-related operations (ssn) |
Конвейер состоит из набора операций, которые могут выполняться одновременно | A pipeline is composed of a number of stages, which may be in execution simultaneously (см. "Petri Net Theory And The Modeling Of Systems" by James L. Peterson 1981 ssn) |
набор операций, которые могут выполняться одновременно | a number of stages, which may be in execution simultaneously (ssn) |
Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
операции, которые могут выполняться одновременно | stages, which may be in execution simultaneously (ssn) |
операции, которые можно выполнять | operations that can be done (ssn) |
Тип данных – это классификация, которая определяет возможные значения для литералов и переменных, операции, которые можно выполнять и способ хранения значений | A data type is a classification which defines for literals and variables the possible values, the operations that can be done, and the way the values are stored (ssn) |