Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Russian
Terms
for subject
Programming
containing
be assumed to be small
|
all forms
|
in specified order only
English
Russian
be assumed to be small
предполагаться малым
(
ssn
)
the time to request data from a monitor task and wait for the response
is assumed to be small
compared to the total execution time
Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
)
Get short URL