некоторое ограничение на время реакции

Terms containing некоторое ограничение на время реакции | all forms | exact matches only | in specified order only

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