ВЕРИФИКАЦИЯ ВРЕМЕННЫХ СООТНОШЕНИЙ

Русско-английский перевод ВЕРИФИКАЦИЯ ВРЕМЕННЫХ СООТНОШЕНИЙ

timing verification

Большой Русско-Английский словарь. New big Russian-English dictionary. 2012

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ВРЕМЕННЫХ — Temporary
Russian Learner's Dictionary
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
TIMING INTEGRITY — сохранность временных соотношений
Большой Англо-Русский словарь
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TWO-WAY TRAVEL-TIME DISPLAY — визуализация временных разрезов
Большой Англо-Русский словарь
TWO-POINT PERSPECTIVE — угловая перспектива (метод представления пространственных соотношений между объектами для их визуализации)
Большой Англо-Русский словарь
TSA — сокр. [time-slot assignment] распределение временных интервалов (в сетях)
Большой Англо-Русский словарь
TSA — сокр. [time-slot assignment] распределение временных интервалов (в сетях)
Большой Англо-Русский словарь
TRANSIT — 1. сущ. 1) проезд или перевозка during/in transit ≈ во время перевозки rapid transit ≈ городской общественный транспорт 2) перемена; …
Большой Англо-Русский словарь
TIMING MEMORY — память временных диаграмм
Большой Англо-Русский словарь
TIMING ANALYZER — 1. анализатор времени выполнения 2. анализатор временных диаграмм
Большой Англо-Русский словарь
TIME STUDY — анализ временных затрат (при решении задачи выбранным методом) хронометраж
Большой Англо-Русский словарь
TIME SORTER — анализатор временных интервалов
Большой Англо-Русский словарь
TIME SLOT INTERCHANGER — коммутатор временных интервалов (в пакетных сетях)
Большой Англо-Русский словарь
TIME SIMULATION — моделирование с учетом временных задержек, логиковременное моделирование
Большой Англо-Русский словарь
TIME SERIES ANALYSIS — анализ с помощью временных рядов
Большой Англо-Русский словарь
TIME INTERVAL SORTER — анализатор временных интервалов
Большой Англо-Русский словарь
TIME HOPPING — (псевдослучайное) переключение временных интервалов
Большой Англо-Русский словарь
TIME CALIBRATOR — генератор калибрационных (временных) (от)меток
Большой Англо-Русский словарь
TIME-TO-DIGITAL CONVERSION — преобразование временных интервалов в код; аналого-цифровое преобразование времени
Большой Англо-Русский словарь
SPEAKER VERIFICATION — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
REPROPORTIONING — изменение соотношений
Большой Англо-Русский словарь
RELATIONSHIP ALGEBRA — мат. алгебра соотношений
Большой Англо-Русский словарь
RANK-ORDER STATISTIC — мат. статистика, зависящая от ранговых соотношений в выборке
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
MODULE OF RELATIONS — мат. модуль соотношений
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
LAW — I сущ. 1) а) закон (регулирующий, предписывающий акт) according to the law ≈ по закону to administer, apply, enforce a …
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
FLOW-RATIO CONTROL — регулирование расхода соотношений многофазной среды
Большой Англо-Русский словарь
FINITELY — конечно-дифференцирующий almost finitely generated module ≈ почти конечно порожденный модуль almost finitely related module ≈ почти конечно связанный модуль finitely …
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
DEFINING — определяющий, определение global defining function ≈ глобальная определяющая функция orienting defining set ≈ ориентирующее определяющее множество set of defining relations …
Большой Англо-Русский словарь
BREAK-EVEN ANALYSIS — 1)(вид анализа, используемый для определения прибыльности дела или какого-то отдельного продукта, показывая, на каком уровне производства затраты покроются доходами, позволяя …
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
TIME DIAGRAM — 1) временная диаграмма 2) диаграмма временных соотношений
Большой Англо-Русский политехнический словарь
ENGINEERING METROLOGY — измерения длины, угла и геометрических соотношений
Большой Англо-Русский политехнический словарь
TIME DIAGRAM — 1) временная диаграмма 2) диаграмма временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
ENGINEERING METROLOGY — измерения длины, угла и геометрических соотношений
Большой Англо-Русский политехнический словарь - РУССО
SET
Англо-Русский научно-технический словарь
SERIES — 1) последовательность 2) ряд 3) серийный 4) серия 5) стоповой 6) строка 7) строчка 8) цикл • absolutely convergence series — абсолютно (условно) сходящийся ряд absolutely convergent series — абсолютно …
Англо-Русский научно-технический словарь
REPROPORTIONING — изменение соотношений
Англо-Русский научно-технический словарь
RELATIONSHIP ALGEBRA — матем. алгебра соотношений
Англо-Русский научно-технический словарь
RELATED — 1) зависимый 2) имеющий отношение 3) родственный 4) связанный 5) соотнесенный • almost finitely related module — почти конечно связанный модуль be directly related to — непосредственно …
Англо-Русский научно-технический словарь
RANK-ORDER STATISTIC — матем. статистика, зависящая от ранговых соотношений в выборке
Англо-Русский научно-технический словарь

Большой Русско-Английский словарь

← ВЕРИФИКАЦИЯ ВРЕМЕННЫХ ПАРАМЕТРОВ ВЕРИФИКАЦИЯ ДАННЫХ→