Subject | Russian | English |
math. | дисциплина, предусматривающая завершение обслуживания требования с наименьшим оставшимся временем обслуживания | shortest remaining processing time discipline (при поступлении требования с более высоким приоритетом) |
progr. | Обычно разработчик предусматривает некоторое ограничение на время реакции для той или иной операции, а верификатор автоматически проверяет, выполняется оно или нет | 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) |
progr. | предусматривать время | allocate time (ssn) |
inf. | предусматривать время | build in time (Ремедиос_П) |
progr. | предусматривать время для более позднего определения дополнительных требований | allocate time for additional requirements to be specified later (ssn) |
nautic. | условие, предусматривающее нахождение судна во время грузовых операций в плавучем состоянии | always afloat |
law | чартер, предусматривающий оплату за время фактического использования судна | catch time charter |