Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Russian
⇄
Arabic
Bulgarian
Chinese
Chinese simplified
Croatian
English
Estonian
Finnish
French
German
Greek
Hebrew
Hungarian
Italian
Japanese
Latvian
Lithuanian
Norwegian Bokmål
Polish
Portuguese
Romanian
Serbian Latin
Slovene
Spanish
Swedish
Thai
Turkish
Ukrainian
Terms
for subject
Programming
containing
время ответа
|
all forms
Russian
English
время запроса данных у монитора и ожидания ответа
time to request data from a monitor task and wait for the response
(
agrabo
)
Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения
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