Sign in | English | Terms of Use
DictionaryForumContacts

   English ⇄
Terms for subject Programming containing original location | all forms | exact matches only | in specified order only
EnglishRussian
original locationисходная ячейка (ssn)
original location that the hash function specifiesисходная ячейка, которую задаёт функция хеширования (ssn)
source and target locations of the original transitionисходные и целевые позиции рассматриваемого перехода (ssn)
the source and target locations of these transitions will be obtained from the source and target locations of the original transition and the location from the other automatonИсходные и целевые позиции таких переходов будут получены из исходных и целевых позиций рассматриваемого перехода и позиции второго автомата (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999)

Get short URL