Sign in
|
English
|
Terms of Use
Dictionary
Forum
Contacts
English
⇄
Arabic
Chinese
Esperanto
German
Italian
Japanese
Polish
Russian
Serbian Latin
Ukrainian
Terms
for subject
Programming
containing
as long as
|
all forms
|
exact matches only
|
in specified order only
English
Russian
the same message passing source code can be executed on a variety of machines
as long as
the MPI library is available
один и тот же исходный код утилиты обмена сообщениями может работать на разных машинах, если на них имеется библиотека MPI
Time can elapse in the location only
as long as
the invariant of the location is true
Течение времени в позиции происходит, пока инвариант этой позиции истинен
(см.
Model Checking / Edmund M. Clarke
,
Jr.
,
Orna Grumberg
,
and Doron A. Peled
1999
ssn
)
Get short URL