Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
Terms containing
determine the time
|
all forms
|
in specified order only
Subject
English
Russian
busin.
as the company may from time to time determine
по усмотрению компании
(
Alexander Matytsin
)
law
at such times and for such periods as the directors may from time to time determine
в такое время и на такой срок, как директора могут в любое время решить
(
Andrew052
)
Makarov.
determine the time
определять время
gen.
determine the time
устанавливать время
(the position of a star, the meaning of a word, etc., и т.д.)
gen.
determine the time
определять время
(the position of a star, the meaning of a word, etc., и т.д.)
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
)
Get short URL