Program verification - перевод, синонимы, произношение, примеры предложений, антонимы, транскрипция

Program verification - перевод на русский, синонимы, антонимы, примеры в контексте
программа проверки
Translate

- program [noun]

noun: программа, план, спектакль, представление

verb: программировать, составлять программу

adjective: программный

- verification [noun]

noun: проверка, подтверждение, контроль, засвидетельствование



A complete traversal of the tree allows verification of the correctness of the program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Полный обход дерева позволяет проверить правильность работы программы.

Formal verification of software programs involves proving that a program satisfies a formal specification of its behavior.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Формальная верификация программ предполагает доказательство того, что программа удовлетворяет формальной спецификации своего поведения.

Henry IV began to enforce the law against usurpation of titles of nobility, and in 1666–1674 Louis XIV mandated a massive program of verification of hereditary titles.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Генрих IV начал применять закон против узурпации дворянских титулов, и в 1666-1674 годах Людовик XIV ввел масштабную программу проверки наследственных титулов.

In addition, without further research an SPS demonstration or systems-engineering verification program would be a high-risk venture.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кроме того, без дальнейших исследований демонстрация SPS или программа проверки системной инженерии была бы рискованным предприятием.

To ensure respect for a program, whether it be on the part of employees or business partners, external verification is necessary.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Чтобы обеспечить уважение к программе, будь то со стороны сотрудников или деловых партнеров, необходима внешняя проверка.

Can anyone provide verification of the dates in the article?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Может ли кто-нибудь обеспечить проверку дат в статье?

They're expanding his program, but without him in charge.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Они расширяют его программу, но без его руководства.

The feedback control program was unable to solve so complicated a problem.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Но программа контроля обратной связи лифта не была рассчитана на решение таких сложных задач.

Whereupon you would be willing to co-operate in the genetics program planned for you?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Следовательно, вы дадите согласие участвовать в касающейся вас генетической программе?

In February 1989, the Presidents called upon the United Nations to become involved in the verification of those agreements.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В феврале 1989 года президенты этих стран призвали Организацию Объединенных Наций подключиться к контролю за осуществлением указанных соглашений.

He's the guy who dug up the dirt on the Microloan program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Именно этот парень нарыл грязи в программах по Микрозаймам.

The results of experimental verification of the given method are given.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Приведены результаты экспериментальной проверки предложенного способа.

This should include specific verification provisions and cover all fissionable material, including that which is in caches.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В нее должны быть включены конкретные положения о контроле, распространяющиеся на все виды расщепляющихся материалов, включая их уже имеющиеся запасы.

While the ISO 14001 standard allows self-declaration, third party verification is an essential part of the EMAS.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Стандарт ИСО 14001 допускает самостоятельное декларирование, тогда как существенной частью СУПКД является проверка третьей стороной.

Enable this flag to allow executing the file as a program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Установите этот файл для выполнения файла как программы.

We were doing a literacy program for women who were resisting the Taliban.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Мы проводили программу ликвидации безграмотности для женщин, кто борется против движения Талибан.

Well, I hope you'll forgive the intrusion - but even that is gonna need verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я надеюсь, вы простите мою навязчивость но даже это потребует доказательства.

We've created an incentive program to increase sales.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Мы создали программу поощрительного вознаграждения продаж.

Oh I'm sorry Mr. Luthor, there seems to be a problem with your voice verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

О, мне жаль, г. Лутор. Кажется, возникла проблема с проверкой вашего голоса.

the ultimate verification of my existence.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Полное подтверждение моего бытия.

I mean, Molly kept them as psychological verification of all the terrible things that she thought about herself.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Молли хранила их как психологическое доказательство всех ужасных вещей, которые она думала о себе.

The funny thing is, when we looked into the NASA rock verification lab that you used to run, this guy Hill was doing protective services in the building.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Забавно то, что когда мы заглянули в лабораторию НАСА по распознаванию камней, которой вы руководили, нам сказали, что этот парень, Хилл, работал охранником в их здании.

We need a minute for the verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Нужна минута, чтобы проверить.

I worked with her when I was first administrating the Stitchers Program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я работала с ней, когда начала управлять сшивателями.

We met in a mentoring program for inner-city kids.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Мы познакомились на программе помощи детям из бедных районов.

This decryption program has been running for over an hour.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Программа расшифровки работает с ними больше часа.

She watches this television program religiously.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Она постоянно смотрит телевизионные программы.

Ladies and gentlemen, I would like at this moment... to announce that I will be retiring from this program in two weeks' time... because of poor ratings.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Дамы и господа, сейчас я хотел бы вам сообщить... что через две недели ухожу на пенсию... потому что у этой программы низкие рейтинги.

I like the Bloomingdale's executive training program for him.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я бы предложил ему программу подготовки персонала для Блюмингдейл.

I move to, uh, authorize Amanda Waller to establish Task Force X under the ARGUS program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я предлагаю уполномочить Аманду Уоллер создать спецотряд Х в рамках программы Аргус.

And that guy had set the table at that moment to use it to employ a specialist to put the final systemization on their program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

К тому моменту, он нашел специалиста, для заключительной систематизации программы

The counsel wants to kick you out of the ambassador program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Консул хочет выгнать вас из посольской миссии.

The St. Regis program has consistently produced reliable operatives, except for you.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Программа Сэнт Реджис всегда поставляла надежных оперативников, ты - исключение.

You must have an anti-virus program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

У тебя должен быть антивирус.

and just for the fun of it, I ran it through a multi-linked recursion sorting program with all the other information we put together on Walter Morgan.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

ради прикола, в многофункциональную рекурсивную программу сортировки вместе со всей другой информацией, собранной на Уолтера Моргана.

The cow was included in the United States Department of Agriculture's surveillance program, specifically targeting cattle with BSE.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Корова была включена в программу эпиднадзора Министерства сельского хозяйства Соединенных Штатов, специально нацеленную на крупный рогатый скот с BSE.

Each time the program reads an image, it needs to create a reader of the appropriate type based on some information in the file.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Каждый раз, когда программа считывает изображение, она должна создать считыватель соответствующего типа на основе некоторой информации в файле.

The RabbitMQ server program is written in the Erlang programming language and is built on the Open Telecom Platform framework for clustering and failover.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Серверная программа RabbitMQ написана на языке программирования Erlang и построена на платформе Open Telecom для кластеризации и отработки отказа.

He launched a major program to speed up arms production.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Он запустил крупную программу по ускорению производства вооружений.

In addition, many Brazilian universities offer a MBA program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Кроме того, многие бразильские университеты предлагают программу MBA.

Fayetteville initiated a land application program on a farm site near the Noland plant that allowed the city to apply biosolids and subsequently grow and harvest hay.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Фейетвилл инициировал программу использования земли на ферме рядом с заводом Noland, что позволило городу применять биосолиды и впоследствии выращивать и собирать сено.

Such instructions cannot be allowed to take effect because the programmer has diverted control to another part of the program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Такие инструкции не могут вступать в силу, поскольку программист переключил управление на другую часть программы.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

When Facebook began its localization program in 2008, it received criticism for using free labor in crowdsourcing the translation of site guidelines.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Когда Facebook начал свою программу локализации в 2008 году, он получил критику за использование бесплатной рабочей силы в краудсорсинге перевода руководства сайта.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

Sometimes this is simply in the form of a program that generates a software package's serial number, usually referred to as a keygen.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Иногда это просто программа, которая генерирует серийный номер программного пакета, обычно называемый keygen.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

While in the middle of a graduate program at BYU, Tor Books editor Moshe Feder contacted him to say that he wanted to acquire one of his books.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

В то время как в середине аспирантуры в BYU, редактор Tor Books Моше Федер связался с ним, чтобы сказать, что он хочет приобрести одну из его книг.

Such sources were therefore considered to be nonpoint sources that were not subject to the permit program.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Поэтому такие источники рассматривались как не точечные источники, не подпадающие под действие разрешительной программы.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с помощью приведенных ниже инструкций по архивированию.

It has applications in ranking, recommendation systems, visual identity tracking, face verification, and speaker verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Он имеет приложения в ранжировании, рекомендательных системах, визуальном отслеживании личности,проверке лица и проверке говорящего.

No special action is required regarding these talk page notices, other than regular verification using the archive tool instructions below.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Никаких специальных действий в отношении этих уведомлений на странице обсуждения не требуется, кроме регулярной проверки с использованием инструкций по архивированию, приведенных ниже.

I've never encountered one; may need further verification.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Я никогда не сталкивался ни с одним из них; возможно, потребуется дополнительная проверка.

Not long after, Adam Stubblefield and AT&T publicly announced the first verification of the attack.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Вскоре после этого Адам Стабблфилд и AT&T публично объявили о первой проверке атаки.

And his falsificationism, as did verificationism, poses a criterion, falsifiability, to ensure that empiricism anchors scientific theory.

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

И его фальсификационизм, как и верификационизм, ставит критерий фальсифицируемости, чтобы гарантировать, что эмпиризм закрепляет научную теорию.

If yes, is it then mandated that the reliable source used as verification of one of the listed criteria be itself substantial and in-depth?

  • Произношение
  • Скопировать текст
  • Сообщить об ошибке

Если да, то требуется ли тогда, чтобы надежный источник, используемый в качестве проверки одного из перечисленных критериев, сам по себе был существенным и глубоким?



Предлагаем Вашему вниманию современный англо-русский и русско-английский словарь EnglishLib, в котором содержиться более 2 000 000 слов и фраз. На этой странице содержится полезная информации о фразе «program verification». А именно, здесь можно найти перевод (значение) «program verification» на русском языке, синонимы, антонимы, краткое определение слов: program, verification , а также произношение и транскрипцию к «program verification». Также, к фразе «program verification» представлено грамотно составленные примеры предложений для лучшего восприятия слова в контексте.

0You have only looked at
% of the information