התחבר
|
Hebrew
|
תנאי שימוש
מילונים
הפורום
פרטי הקשר
אנגלית
⇄
אוקראינית
איטלקית
אספרנטו
גרמנית
יפנית
סינית
סרבית לטינית
ערבית
פולנית
רוסית
מונחים
לפי נושא
תִכנוּת
המכילים
as long as
|
כל הפורומים
|
בדיוק
|
לפי סדר מוגדר בלבד
אנגלית
רוסית
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
)
קבל כתובת URL קצרה