a constraint on response time for some operation

Terms for subject Programming containing a constraint on response time for some operation | all forms | exact matches only | in specified order only

English	Russian
a constraint on response time for some operation	некоторое ограничение на время реакции для той или иной операции (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)