Russian | English |
выполнить генерацию динамических проверок | generate run-time checks (программы; корпорации AdaCore Alex_Odeychuk) |
выполнить статическую и динамическую верификацию | employ static and dynamic verification (корпорации AdaCore Alex_Odeychuk) |
Динамическая шкала | Dynamic Color Slider (Photoshop compartstudio.com bojana) |
динамическая электронная таблица | spreadsheet (igisheva) |
динамические очереди распределения нагрузки по ядрам процессора | Dynamic VM Queue (galushka.com Artjaazz) |
динамический анализ программного обеспечения | dynamic software analysis (корпорации AdaCore Alex_Odeychuk) |
динамическое изменение конфигурации | dynamic reconfiguration (during runtime — во время выполнения Alex_Odeychuk) |
динамическое распределение IP-адресов | dynamic allocation of IP addresses (sega_tarasov) |
динамическое реконфигурирование | dynamic reconfiguration (during runtime — во время выполнения Alex_Odeychuk) |
отсутствие динамических ошибок | freedom from run-time errors (adacore.com Alex_Odeychuk) |
с точки зрения динамической верификации | from a dynamic verification point of view (types can be associated with constraints, such as value ranges or arbitrary boolean predicates. These types, ranges and predicates will be verified at specific points in the application, allowing early detection of inconsistencies; корпорации AdaCore Alex_Odeychuk) |
система динамического анализа и перепланирования | dynamic analysis and replanning tool (The Dynamic Analysis and Replanning Tool, commonly abbreviated to DART, is an artificial intelligence program used by the U.S. military to optimize and schedule the transportation of supplies or personnel and solve other logistical problems. DART uses intelligent agents to aid decision support systems located at the U.S. Transportation and European Commands. It integrates a set of intelligent data processing agents and database management systems to give planners the ability to rapidly evaluate plans for logistical feasibility. By automating evaluation of these processes DART decreases the cost and time required to implement decisions. Alex_Odeychuk) |
стандартный динамический диапазон | standard dynamic range (SDR Andy) |