АЛГОРИТМ ВЕРИФИКАЦИИ

Русско-английский перевод АЛГОРИТМ ВЕРИФИКАЦИИ

verification algorithm

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

АЛГОРИТМ ВЕРИФИКАЦИИ — verification algorithm
Русско-Английский экономический словарь
АЛГОРИТМ — алгорифм m. algorithm, scheme; алгоритм Евклида, Euclidean algorithm; итерационный алгоритм, iteration scheme
Russian-English Dictionary of the Mathematical Sciences
АЛГОРИТМ — Algorithm
Русско-Американский Английский словарь
АЛГОРИТМ — algorithm
Англо-Русско-Английский словарь общей лексики - Сборник из лучших словарей
АЛГОРИТМ — algorithm
Русско-Английский словарь общей тематики
АЛГОРИТМ — Algorithm
Russian Learner's Dictionary
АЛГОРИТМ — м. мат. algorithm
Русско-Английский словарь
АЛГОРИТМ — м. мат. algorithm
Russian-English Smirnitsky abbreviations dictionary
АЛГОРИТМ — algorithm вчт., mechanism
Русско-Английский словарь по машиностроению и автоматизации производства
АЛГОРИТМ — algorithm, device
Русско-Английский словарь по строительству и новым строительным технологиям
АЛГОРИТМ — Algorithmics
Британский Русско-Английский словарь
АЛГОРИТМ — Algorithmic
Британский Русско-Английский словарь
АЛГОРИТМ — algorithm
Русско-Английский словарь - QD
АЛГОРИТМ — (алгорифм), единообразная математическая процедура ("рецепт") для решения однотипных задач, выполняемая по строго определенным правилам. Применение алгоритма позволяет получить ответ типа …
Русский словарь Colier
АЛГОРИТМ — algorithm, ALG
Русско-Английский толковый словарь терминов и сокращений по ВТ, Интернету и программированию
АЛГОРИТМ — муж. мат. algorithm м. algorithm
Большой Русско-Английский словарь
АЛГОРИТМ — алгоритм algorithm
Русско-Английский словарь Сократ
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Большой Англо-Русский словарь
VERIFIER — контрольник; устройство верификации, верификатор artwork verifier design verifier key verifier mechanical verifier patchboard verifier punched card verifier signature verifier tape …
Большой Англо-Русский словарь
VERIFICATION PRINCIPLE — принцип верификации прогноза
Большой Англо-Русский словарь
VERIFICATION CONDITION GENERATION — генерирование условий верификации (при доказательстве правильности программ)
Большой Англо-Русский словарь
VERIFICATION ALGORITHM — алгоритм верификации
Большой Англо-Русский словарь
VALIDATION RULES — правила верификации (множество функций, обеспечивающих проверку (dialog data verification) данных, получаемых от диалоговых элементов управления)
Большой Англо-Русский словарь
TRANSLATION ALGORITHM — 1. матем. алгоритм преобразования 2. алгоритм (автоматического) перевода 3. алгоритм трансляции
Большой Англо-Русский словарь
STA — т. граф. [Spanning Tree Algorithm] алгоритм покрывающего дерева, алгоритм связующего дерева (используется в сложных сетях как алгоритм управления маршрутизацией)
Большой Англо-Русский словарь
STA — т. граф. [Spanning Tree Algorithm] алгоритм покрывающего дерева, алгоритм связующего дерева (используется в сложных сетях как алгоритм управления маршрутизацией)
Большой Англо-Русский словарь
ROBUST ALGORITHM — надежный алгоритм; устойчивый алгоритм; проф. робастный алгоритм
Большой Англо-Русский словарь
PATH-TRACING ALGORITHM — 1. алгоритм выбора пути, селективный алгоритм (моделирования логической схемы) 2. алгоритм прокладки маршрута [пути]; алгоритм трассировки
Большой Англо-Русский словарь
LOGIC OF VERIFICATION — мат. логика верификации
Большой Англо-Русский словарь
FAULT POPULATION — множество неисправностей (рассматриваемое при верификации теста)
Большой Англо-Русский словарь
DESIGN VERIFICATION SIMULATION — моделирование для проверки [верификации] пректных решений
Большой Англо-Русский словарь
DESIGN-VERIFICATION SYSTEM — система верификации проектных решений
Большой Англо-Русский словарь
CHECKER — I = chequer II сущ.; амер. шашка (в игре в шашки) контролер, учетчик; счетчик - *'s count учет, проводимый учетчиком …
Большой Англо-Русский словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape …
Большой Англо-Русский политехнический словарь
VERIFIER — 1) поверочное устройство 2) вчт. контрольник 3) программа верификации, проф. верификатор • - card verifier - key verifier - tape verifier
Большой Англо-Русский политехнический словарь - РУССО
SEARCH — 1) выискивание 2) искать 3) исследование 4) исследовать 5) отыскивание 6) поиск 7) поиск информации 8) поиски 9) разведка 10) разыскивание 11) рыскание 12) рыскать • adaptive search procedure — метод адаптивного поиска adaptive …
Англо-Русский научно-технический словарь
LOGIC OF VERIFICATION — матем. логика верификации
Англо-Русский научно-технический словарь
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее …
Англо-Русский словарь Tiger
ASSERT STATEMENT — оператор контроля. оператор языка программирования, указывающий условие, которое должно выполняться в данной точке программы. оператор контроля обрабатывается статически при трансляции …
Англо-Русский словарь Tiger
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства 2
VERIFYING ATTACHMENT — вчт. контрольное устройство, устройство для верификации
Англо-Русский словарь по машиностроению и автоматизации производства
VERIFIER — контрольное устройство, контрольник; устройство верификации, верификатор - numerical verifier
Англо-Русский словарь по машиностроению и автоматизации производства
NC-VERIFICATION SOFTWARE — программное обеспечение для верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
NC VERIFICATION PROGRAM — программа верификации УП
Англо-Русский словарь по машиностроению и автоматизации производства
ASSERTION CHECKER — программа верификации, верификатор условий программа, анализирующая текст программы, снабженный условиями и операторами контроля (assertion), которые должны выполняться в определенных ее точках, и доказывающая их истинность или …
Англо-Русский дополнительный словарь
PATH-TRACING ALGORITHM — 1) алгоритм выбора пути, селективный алгоритм (моделирования логической схемы) 2) алгоритм прокладки маршрута ; алгоритм трассировки
Англо-Русский словарь по компьютерам
PATH-TRACING ALGORITHM — 1) алгоритм выбора пути, селективный алгоритм (моделирования логической схемы) 2) алгоритм прокладки маршрута [пути]; алгоритм трассировки
Англо-Русский словарь по вычислительной технике и программированию
PATH-TRACING ALGORITHM — 1) алгоритм выбора пути, селективный алгоритм (моделирования логической схемы) 2) алгоритм прокладки маршрута [ пути ]; алгоритм трассировки
Англо-Русский словарь компьютерных терминов
VERIFIER — 1) контрольное устройство, контрольник 2) устройство верификации, верификатор 3) программа верификации; программа контроля
Современный Англо-Русский словарь по машиностроению и автоматизации производства
ОТКРЫТОЕ — Понятие открытого общества - часть философского наследия Карла Поппера. Выдвинутое как антитеза понятию тоталитарного общества, оно впоследствии употреблялось для обозначения …
Русский словарь Colier
МЕТАФИЗИКА — МЕТАФИЗИКА Часто задают вопрос об оправданности метафизического исследования. Иногда приводят общеизвестный факт, что метафизика веками обсуждает одни и те же …
Русский словарь Colier
АЙЕР — (Ayer, Alfred Jules) (1910-1989), английский философ, представитель логического эмпиризма (британской версии логического позитивизма). Родился в Лондоне 29 октября 1910. Получил …
Русский словарь Colier
ЭЛЕКТРОННАЯ — финансовые операции и сделки, выполняемые посредством сети Интернет и частных сетей связи, в ходе которых совершаются покупки и продажи товаров …
Русский словарь Colier
ИНФОРМАЦИИ — ИНФОРМАЦИИ НАКОПЛЕНИЕ И ПОИСК ИНФОРМАЦИИ|ТЕОРИЯ раздел математики, исследующий процессы хранения, преобразования и передачи информации. В основе его лежит определенный способ …
Русский словарь Colier
АРИФМЕТИКА — искусство вычислений, производимых с положительными действительными числами. Краткая история арифметики. С глубокой древности работа с числами подразделялась на две различные …
Русский словарь Colier
VERIFICATION KEY — ключ проверки (верификации) ключ проверки (верификации)
Англо-Русский словарь компьютерной безопасности
SHARED VERIFICATION SCHEME — схема разделенной верификации схема разделенной верификации
Англо-Русский словарь компьютерной безопасности
ENCRYPTION ALGORITHM — криптографический алгоритм; алгоритм (за) шифрования (криптографического закрытия) информации (cryptoalgorithm) криптографический алгоритм, криптоалгоритм; алгоритм шифрования (криптографического закрытия)
Англо-Русский словарь компьютерной безопасности
DEA — см. data encryption algorithm алгоритм шифрования данных (Международной организации по стандартизации) , международный алгоритм шифрования данных международный алгоритм шифрования данных …
Англо-Русский словарь компьютерной безопасности
PATH-TRACING ALGORITHM — 1. алгоритм выбора пути, селективный алгоритм (моделирования логической схемы) 2. алгоритм прокладки маршрута [пути]; алгоритм трассировки
Новый большой Англо-Русский словарь
ALGORITHM — сущ.; мат. алгоритм algorithm validation ≈ проверка правильности алгоритма (специальное) алгоритм - * validation проверка /доказательство/ правильности алгоритма ad hoc …
Новый большой Англо-Русский словарь

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

← АЛГОРИТМ БЕЗУСЛОВНОЙ МИНИМИЗАЦИИ АЛГОРИТМ ВЕТВЛЕНИЯ→