Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Chinese
German
Russian
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
)
Get short URL