Subject | English | Russian |
progr. | a constraint on response time | некоторое ограничение на время реакции (ssn) |
progr. | a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
Makarov. | impose a constraint on | налагать ограничение на |
Makarov. | impose a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
math. | place a constraint on | налагать ограничения |
Makarov. | place a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
Makarov. | put a constraint on someone, something | оказывать давление на (кого-либо, что-либо) |
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) |