ЯДРА LINUX на Английском - Английский перевод

• linux kernel
• linux kernels

Примеры использования Ядра linux на Русском языке и их переводы на Английский язык

Охват разработки ядра Linux.
Coverage of Linux Kernel development.

Компиляция ядра Linux в Debian.
Compiling the Linux Kernel on Debian.

Было обнаружено, что ядра Linux.
It was discovered that Linux kernels.

Патчи ядра Linux, которые не мейнстрим.
Linux Kernel patches, which are not well-known or mainstream.

Пригодно большинство современных версий ядра Linux.
Most recent Linux kernel versions will work.

Gingerbread использует версию 2. 6. 35 ядра Linux.
Gingerbread uses version 2.6.35 of the Linux kernel.

Статическая верификация конфигураций ядра Linux.
Static Verification of Linux Kernel Configurations.

Во всех текущих версиях ядра Linux обнаружена уязвимость.
Vulnerabilities in all current Linux kernel versions.

Это основной сайт для исходного кода ядра Linux.
This is the primary site for the Linux kernel source.

Все началось со статьи о проверке ядра Linux с помощью анализатора PVS- Studio.
It all started with an article about a Linux kernel check with the PVS-Studio analyzer.

Формальная верификация библиотечных функций ядра Linux.
Formal Verification of Linux Kernel Library Functions.

Ядра Linux до 2. 6. x могут или пропускать поддержку их в целом или требовать патча.
Linux kernels prior to 2.6.x may either be missing support for these altogether or require a patch.

Реализация T/ TCP( TCP транзакций) для ядра Linux.
An implementation of T/TCP(Transaction TCP) for the Linux kernel.

Инструментальная поддержка процесса дедуктивной верификации модулей ядра Linux.
Tools Support for Linux Kernel Deductive Verification Workflow.

GNU Linux- Libre- свободный( от слова“ свобода”) вариант ядра Linux.
GNU Linux-Libre is a free(as in freedom) variant of the Linux kernel.

В драйвере md ядра Linux была обнаружена уязвимость, приводящая к утечке информации.
A flaw was discovered in the md driver in the Linux kernel leading to an information leak.

Мутилин Статическая верификация конфигураций ядра Linux Стр.
Mutilin Static Verification of Linux Kernel Configurations pp.

Компании, реализующие операционные системы на базе ядра Linux и иные операционные системы- 1, 9.
Companies implementing operating systems based on the Linux kernel and other operating systems- 1.9.

Проект для создания новой конфигурации системы для процесса сборки ядра Linux.
Project to create a new configuration system for the Linux kernel build process.

Реймонд называет Линуса Торвальдса, лидера проекта разработки ядра Linux, изобретателем такого процесса разработки.
Raymond credits Linus Torvalds, leader of the Linux kernel project, as the inventor of this process.

Встреча была довольно успешной как для Debian, так и для ядра Linux.
The meeting was quite successful, both in terms of Debian as well as for the Linux kernel.

Чтобы пакеты обновленного ядра Linux стали доступны для программы установки Debian, она также должна быть обновлена.
In order to make available updated Linux kernel packages in the Debian installer it had to be updated as well.

Compressed Loopback Device( сжа́тое закольцо́ванное устро́йство) или cloop- модуль для ядра Linux.
The compressed loop device(cloop) is a module for the Linux kernel.

Денис Ефремов, Никита Комаров Инструментальная поддержка процесса дедуктивной верификации модулей ядра Linux.
Denis Efremov, Nikita Komarov Tools Support for Linux Kernel Deductive Verification Workflow.

Мартин Питт( Martin Pitt) прочел о новой архитектуре узлов устройств ядра Linux и спросил, как создать пакет для этой библиотеки.
Martin Pitt read about the new architecture for Linux kernel device nodes and wondered how to package its library.

Название было заменено на SCHED_ DEADLINE по запросу сообщества разработчиков ядра Linux.
The name has been then changed to SCHED_DEADLINE after the request of the Linux kernel community.

Внимание: Debian внимательно отслеживает все известные проблемы безопасности во всех пакетах ядра linux во всех выпусках, находящихся в стадии активной поддержки обновлениями безопасности.
Note: Debian carefully tracks all known security issues across every linux kernel package in all releases under active security support.

Первоначально проект назывался SCHED_ EDF и был представлен сообществу разработчиков ядра Linux в 2009.
The project was originally called SCHED_EDF and presented to the Linux kernel community in 2009.

Диссертация посвящена развитию метода контрактных спецификаций для верификации модулей ядра Linux.
The PhD thesis is devoted to development of a contract specifications method for verification of Linux kernel modules.

Модуль ядра- это дополнительный программный модуль, который расширяет возможности ядра Linux.
A kernel module is an installable program which extends the behavior of the linux kernel.