Subject | English | Russian |
progr. | a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
progr. | asynchronous I/O device: An input/output device that generates an interrupt when it has produced some input or when it has finished processing an output operation | асинхронное устройство ввода / вывода: устройство, которое генерирует прерывание при поступлении новых данных или по завершении операции вывода (см. Designing Concurrent, Distributed, and Real-time Applications with UML Object Technology Series by Hassan Gomaa) |
gen. | engaged in some mysterious operations | занятый какими-то таинственными махинациями |
Makarov. | for some time electricity has been used for the operation of the machine | в течение некоторого времени для управления станком пользовались электричеством |
Makarov. | NATO might dust down some plans concocted last year for a ground operation | НАТО может вновь вернуться к планам наземной операции, состряпанным в прошлом году |
progr. | some operation | та или иная операция (ssn) |
progr. | some operations | некоторые операции (ssn) |
progr. | success and failure of some operations | успех и неудача некоторых операций (ssn) |
gen. | this system has been in successful operation for some years past | эта система применяется очень успешно уже в течение нескольких лет |
progr. | 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) |
progr. | YES/NO gates describing success and failure of some operations | логические элементы ДА / НЕТ, описывающие успех и неудачу некоторых операций |