English | Russian |
choice of a sufficiently small time quantum | выбор достаточно малого кванта времени (ssn) |
choice of a sufficiently small time quantum to model an asynchronous system accurately | выбор достаточно малого кванта времени для точного моделирования асинхронной системы (ssn) |
Continuous time, on the other hand, is the natural model for asynchronous systems, because the separation of events can be arbitrarily small | Непрерывное время, с другой стороны, является естественной моделью для асинхронных систем, поскольку промежуток времени, разделяющий события, может быть сколь угодно мал (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
division of the time into small increments | деление интервала времени на малые отрезки (ssn) |
in the software lifecycle, the time and effort put into the code maintenance significantly outweighs the time and effort put into writing the code in the first place. Code maintenance is reading it and trying to understand it in order to modify or extend it. Any refactoring of code during its production, no matter how small, can significantly benefit software maintainers | в жизненном цикле ПО время и трудозатраты на сопровождение кода существенно превышают время и трудозатраты на первоначальное написание кода. При сопровождении кода необходимо прочитать и попробовать понять его, чтобы затем изменить или расширить. Любой рефакторинг кода в процессе его создания, независимо от того, сколь он мал, может принести существенную пользу эксплуатационному персоналу ПО (см. Maciaszek L.A. and Liong B.L. 2005: Practical Software Engineering) |
precise thinking is possible only in terms of a small number of elements at a time | точное и связное мышление возможно только в терминах небольшого числа элементов в каждый отдельный отрезок времени (ssn) |
Sending request and response messages takes only a small amount of time | Посылка сообщений запроса и ответа занимает лишь малую долю времени (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
small amount of time | малая доля времени (ssn) |
sufficiently small time quantum | достаточно малый квант времени (ssn) |
the time to request data from a monitor task and wait for the response is assumed to be small compared to the total execution time | Время запроса данных у монитора и ожидания ответа предполагается малым по сравнению с общим временем выполнения (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999) |