| English | Russian |
| based on the assumption | основанный на предположении (ssn) |
| black-box representation of a system under the time-discreteness assumption | представление системы в виде чёрного ящика с учётом предположения о дискретности времени (ssn) |
| Fancy compiler loop unrolling and hyperthreading may well violate the second assumption | Второе предположение может быть нарушено удачной оптимизацией цикла компилятором или гиперпотоковыми возможностями процессора (о модели вычислений; см. The Algorithm Design Manual (Second Edition) by Steven S. Skiena (2008) ssn) |
| first assumption of the model | первое предположение модели (ssn) |
| Moreover, no assumptions need to be made about the speed of the environment when this model of time is assumed | Более того, когда принимается такая модель времени, не нужно делать никаких предположений о быстродействии окружения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
| second assumption of the model | второе предположение модели (ssn) |
| the assumption can only be violated if multiple processes access the monitor simultaneously | это допущение может быть нарушено только в случае одновременного доступа к монитору со стороны многих процессов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |
| the assumption is that the program should be behaving reasonably for any input data | Считается, что программа должна вести себя разумно при любых входных данных (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
