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

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

timing verification

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

ВЕРИФИКАЦИЯ — f. verification
Russian-English Dictionary of the Mathematical Sciences
ВЕРИФИКАЦИЯ — Formal verification
Русско-Американский Английский словарь
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь общей тематики
ПАРАМЕТРОВ — Arguments
Russian Learner's Dictionary
ВРЕМЕННЫХ — Temporary
Russian Learner's Dictionary
ВЕРИФИКАЦИЯ — (установление подлинности) verification
Русско-Английский словарь - QD
ВЕРИФИКАЦИЯ — verification
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
ПАРАМЕТРОВ — phase-locked oscillator
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — verification ж. (установление подлинности) verification
Большой Русско-Английский словарь
ВЕРИФИКАЦИЯ — верификация verification
Русско-Английский словарь Сократ
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Большой Англо-Русский словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь
TIMING VERIFICATION — верификация временных параметров; верификация временных соотношений
Большой Англо-Русский политехнический словарь - РУССО
TIMING VERIFICATION — верификация синхронизации верификация временных диаграмм верификация временных соотношений (в логической схеме) visual ~ визуальный контроль
Англо-Русский словарь по компьютерам
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Англо-Русский словарь по вычислительной технике и программированию
TIMING VERIFICATION — 1) верификация синхронизации 2) верификация временных диаграмм; верификация временных параметров; верификация временных соотношений ( в логической схеме )
Англо-Русский словарь компьютерных терминов
TIMING VERIFICATION — 1. верификация синхронизации 2. верификация временных диаграмм; верификация временных параметров; верификация временных соотношений (в логической схеме)
Новый большой Англо-Русский словарь
WALKDOWN — уход параметров walkdown уход параметров
Большой Англо-Русский словарь
VERIFICATION — сущ. 1) контроль, проверка; сверка Syn : check, examination 2) удостоверение, подтверждение (предсказания, сомнения) 3) юр. засвидетельствование контроль, осуществление контроля; …
Большой Англо-Русский словарь
VERIF — [verification] контроль; проверка; верификация
Большой Англо-Русский словарь
TWO-WAY TRAVEL-TIME DISPLAY — визуализация временных разрезов
Большой Англо-Русский словарь
TSA — сокр. [time-slot assignment] распределение временных интервалов (в сетях)
Большой Англо-Русский словарь
TSA — сокр. [time-slot assignment] распределение временных интервалов (в сетях)
Большой Англо-Русский словарь
TRANSIT — 1. сущ. 1) проезд или перевозка during/in transit ≈ во время перевозки rapid transit ≈ городской общественный транспорт 2) перемена; …
Большой Англо-Русский словарь
TIMING MEMORY — память временных диаграмм
Большой Англо-Русский словарь
TIMING INTEGRITY — сохранность временных соотношений
Большой Англо-Русский словарь
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 — установление (подлинности) личности говорящего, проф. " верификация диктора"
Большой Англо-Русский словарь
PROGRAM VERIFICATION — проверка правильности [верификация] программы
Большой Англо-Русский словарь
PASSING — 1. сущ. 1) прохождение; полет; протекание Syn : flight, flying 2) брод Syn : ford 3) поэт. смерть Syn : …
Большой Англо-Русский словарь
PARAMETERIZATION — 1. параметризация (описание физических процессов с помощью параметров модели) 2. оценивание параметров convective parameterization Parameterization
Большой Англо-Русский словарь
PARAMETER SPACE — пространство параметров; область параметров
Большой Англо-Русский словарь
PARAMETER MISMATCH — несоответствие параметров; рассогласование параметров
Большой Англо-Русский словарь
MECHANICAL VERIFICATION — автоматическая проверка; автоматическая верификация
Большой Англо-Русский словарь
MACHINE VERIFICATION — машинная проверка; машинная верификация
Большой Англо-Русский словарь
LIST — I 1. сущ. 1) список, перечень, реестр, инвентарь on a list ≈ по списку She was third on the list. …
Большой Англо-Русский словарь
INVERSE VERIFICATION — мат. инверсная верификация
Большой Англо-Русский словарь
INDIRECT VERIFICATION — мат. косвенная верификация
Большой Англо-Русский словарь
FORMAL VERIFICATION — формальная верификация (формальное доказательство соответствия программы ее спецификации)
Большой Англо-Русский словарь
DIRECT VERIFICATION — мат. прямая верификация
Большой Англо-Русский словарь
DIAGNOSTIC VERIFICATION — 1. диагностическая проверка 2. верификация диагностических процедур
Большой Англо-Русский словарь
CHARACTERIZATION — сущ. 1) характеристика; описание характера 2) словесный портрет, образ Syn : portrayal in words 3) лит. искусство создания образов, характеров …
Большой Англо-Русский словарь
BENCHMARK ROUTINE — программа для оценки параметров (параметров процесса или оборудования)
Большой Англо-Русский словарь
ARGUMENT — сущ. 1) довод, аргумент (for - в пользу чего-л.; against - против чего-л.) to drive home arguments, press arguments ≈ …
Большой Англо-Русский словарь
ANALYSIS — сущ. 1) анализ, изучение, исследование to make an analysis ≈ провести исследование careful, thorough analysis ≈ подробный анализ, серьезное исследование …
Большой Англо-Русский словарь
FORMAL VERIFICATION — Верификация
Американский Англо-Русский словарь
FORMAL METHODS — Верификация
Американский Англо-Русский словарь
SERIES — 1) последовательность 2) ряд 3) серийный 4) серия 5) стоповой 6) строка 7) строчка 8) цикл • absolutely convergence series — абсолютно (условно) сходящийся ряд absolutely convergent series — абсолютно …
Англо-Русский научно-технический словарь
PARAMETER SPECIFICATION — описание параметров; спецификации параметров. описание типа и способа передачи параметров и, возможно, ограничений, которым они должны удовлетворять
Англо-Русский словарь Tiger
PARAMETER MISMATCH — несоответствие параметров. при обращении к подпрограмме - несоответствие числа или типов фактических параметров числу или типам формальных параметров
Англо-Русский словарь Tiger
TIME-INTERVAL COUNTER — счётчик временных интервалов, измеритель временных интервалов
Англо-Русский физический словарь
PARAMETER SPECIFICATION — описание параметров; спецификации параметров. Описание типа и способа передачи параметров и, возможно, ограничений, которым они должны удовлетворять.
Англо-Русский словарь по компьютерам
PARAMETER PASSING BY NAME — передача параметров по наименованию. Способ передачи параметров, при котором выражение, задающее фактический параметр, вычисляется заново при каждом обращении к параметру …
Англо-Русский словарь по компьютерам
PARAMETER MISMATCH — несоответствие параметров. При обращении к подпрограмме - несоответствие числа или типов фактических параметров числу или типам формальных параметров.
Англо-Русский словарь по компьютерам
SOLID-MODEL VERIFICATION — пространственная верификация, верификация по твердотельным моделям
Современный Англо-Русский словарь по машиностроению и автоматизации производства

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

← ВЕРИФИКАЦИЯ ВРЕМЕННЫХ ДИАГРАММ

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