Terms for subject Programming containing будущее второе

Russian	English
Второе предположение может быть нарушено удачной оптимизацией цикла компилятором или гиперпотоковыми возможностями процессора	Fancy compiler loop unrolling and hyperthreading may well violate the second assumption (о модели вычислений; см. The Algorithm Design Manual (Second Edition) by Steven S. Skiena (2008) 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)