English | Russian |
a constraint on response time for some operation | некоторое ограничение на время реакции для той или иной операции (ssn) |
allocate time for additional requirements to be specified later | предусматривать время для более позднего определения дополнительных требований (ssn) |
assign the preset time for a step | присвоение шагу заданного времени (ssn) |
be checked compile-time for correctness | проверяться на корректность во время компиляции (Alex_Odeychuk) |
cause response time for higher-priority processes to be higher | служить причиной увеличения времени реакции высокоприоритетных процессов (ssn) |
execution time for blocking code | время выполнения для блокирующего кода (ssn) |
leave enough time for unscheduled communication | выделение достаточного времени для незапланированного обмена данными (ssn) |
leave enough time for unscheduled communication | обеспечивать достаточное время для незапланированного обмена данными (ssn) |
Nonpreemptive schedulers usually cause response time for higher-priority processes to be higher | Планировщики без приоритетов обычно служат причиной увеличения времени реакции высокоприоритетных процессов (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
one common rule of thumb is to plan to specify about 80 percent of the requirements up front, allocate time for additional requirements to be specified later, and then practice systematic change control to accept only the most valuable new requirements as the project progresses | Одно популярное практическое правило состоит в том, чтобы заблаговременно определить около 80% требований, предусмотреть время для более позднего определения дополнительных требований и выполнять по мере работы систематичный контроль изменений, принимая только самые важные требования (см. Code Complete / Steve McConnell.-2nd ed. 2004) |
passage of time for serving of entity | продвижение времени обслуживания объекта (ssn) |
pinpoint the execution time for sections of code | определять время выполнения участков кода (Alex_Odeychuk) |
response time for the display graphic subsystem | время реакции подсистемы графического дисплея (ssn) |
time for an atomic transition | длительность атомарного перехода (ssn) |
time for an atomic transition in the model | длительность атомарного перехода в модели (ssn) |
time for serving of entity | время обслуживания объекта (ssn) |
trading time for space | компромисс между скоростью и используемой памятью (ssn) |
trading time for space in DFA simulation | компромисс между скоростью и используемой памятью при моделировании ДКА (ДКА – детерминированный конечный автомат (deterministic finite automaton) ssn) |
Typically, the designer provides a constraint on response time for some operation, and the verifier automatically determines if it is satisfied or not | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет (см. Model Checking / Edmund M. Clarke, Jr., Orna Grumberg, and Doron A. Peled 1999 ssn) |
Unscheduled communication occurs only when a periodic or event task is not running. If you use multiple tasks, make sure that their scan times and execution intervals leave enough time for unscheduled communication | Незапланированный обмен данными происходит лишь в то время, когда не работает ни периодическая, ни событийная задача. Если вы используете несколько задач, убедитесь в том, что их времена сканирования и промежутки между выполнениями обеспечивают достаточное время для незапланированного обмена данными (ssn) |