Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
on response
|
all forms
|
exact matches only
|
in specified order only
English
Russian
a constraint
on response
time
некоторое ограничение на время реакции
(
ssn
)
a constraint
on response
time for some operation
некоторое ограничение на время реакции для той или иной операции
(
ssn
)
big impact
on response
times
значительное влияние на время реакции
(
ssn
)
response to a particular event depends on the sequence of previous events
реакция на определённое событие зависит от последовательности предыдущих событий
(
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
)
Get short URL