登录
|
Chinese
|
使用条款
词典
论坛
联络
英语
⇄
世界语
中文
乌克兰语
俄语
塞尔维亚拉丁语
德语
意大利语
日语
波兰语
阿拉伯语
术语
对于主题
编程
包含
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
)
获取短网址