time-constraint – phrases

Terms for subject Programming containing time-constraint | all forms | in specified order only

English	Russian
a constraint on response time	некоторое ограничение на время реакции (ssn)
a constraint on response time for some operation	некоторое ограничение на время реакции для той или иной операции (ssn)
real-time constraint	ограничение реального времени (for example, from an event to a system response Alex_Odeychuk)
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)