Anmelden
|
German
|
Nutzungsvereinbarung
Wörterbücher
Forum
Kontakte
Englisch
⇄
Arabisch
Chinesisch
Deutsch
Esperanto
Italienisch
Japanisch
Polnisch
Russisch
Serbisch
Ukrainisch
Einträge
für die Thematik
Programmierung
enthaltend
as long as
|
alle Formen
|
exakt
|
nur in der angegebenen Reihenfolge
Englisch
Russisch
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
)
Kurzlink auf diese Seite