Examples of using Операционной системы linux in Russian and their translations into English
{-}
-
Official
-
Colloquial
Новиков Развитие ядра операционной системы Linux Стр.
Моделирование окружения драйверов устройств операционной системы Linux.
Environment Modeling of Linux Operating System Device Drivers.Верификация драйверов операционной системы Linux при помощи предикатных абстракций.
Linux drivers verification using predicate abstraction.Продукт предназначен для операционной системы Linux.
Использова ние драйверов устройств операционной системы Linux для сравнения ин струментов статической верификации.
Using Linux Device Drivers for Static Verification Tools Benchmarking.Анализ типовых ошибок в драйверах операционной системы Linux.
Analysis of typical faults in Linux operating system drivers.Развитие метода контрактных спецификаций для верификации модулей ядра операционной системы Linux.
Development of Contract Specifications Method for Verification of Linux Kernel Modules.Опыт построения сети на базе операционной системы Linux.
Experience of building a network based on the Linux operating system Supporting paper.Новиков Развитие ядра операционной системы Linux Труды Института системного программирования РАН.
Novikov Evolution of the Linux kernel Proceedings of the Institute for System Programming.Для операционной системы Linux кроме вышеперечисленных видеокарт поддерживаются также серии.
For the Linux operating system, in addition to the above graphics cards, the following series are also supported.На виртуальные машины с операционной системой Linux- средствами операционной системы Linux.
On virtual machines with AV Linux- дистрибутив операционной системы Linux, рассчитанный на создателей мультимедийного контента.
AV Linux is a Linux-based operating system aimed for multimedia content creators.Остановить и запустить Легкий агент для Linux вы можете стандартными средствами операционной системы Linux.
You can start and stop Light Agent for Для успешного применения существующих инструментов к ядру операционной системы Linux приходится проводить верификацию покомпонентно.
To apply successfully existing tools for the Linux kernel one needs to perform componentwise verification.Наиболее известный пример копилефта лицензии версия General Public License 2( GPLv2),который используется для операционной системы Linux программы.
The best-known example of a copyleft license is the General Public License version 2(GPLv2),which is used for Linux operating system program.Оценка развития дается для всех версий ядра операционной системы Linux, выпущенных за последние 7, 5 лет.
It proposes a method for determining boundaries between them and evaluates evolution for all versions of the Linux kernel, released over the past 7.5 years.Скрипт первоначальной настройки программы запускает компиляцию модуля ядра операционной системы Linux на виртуальной машине.
Мероприятие посвящено обсуждению и разработке операционной системы Linux и других программных проектов c открытым кодом.
Решение создано для операционной системы Linux( RedHat6), которая поддерживает технологические разработки с высокой производительностью получения и передачи сигналов.
A solution was developed for operational system Linux(RedHat6) which supports latest high performance technologies of signal reception and transmission.Решение RSC PetaStream поставляется с набором программных инструментов Intel Cluster Studio XE 2013 для операционной системы Linux, а также с набором оптимизированных библиотек.
RSC PetaStream solution is supplied with Intel Cluster Studio XE 2013 tool package for Linux and a set of optimized libraries.Апробация реализованных методов на модулях ядра операционной системы Linux продемонстрировала их преимущества относительно отдельного применения методов верификации композиции требований.
Implementation of the suggested methods showed their advantages on Linux kernel modules in comparison with using of each verification method separately.Проводится с 1998 г. LinuxFestNorthwest- бесплатная конференция по вопросам развития операционной системы Linux и других открытых для доступа и свободных проектов.
LinuxFest Northwest is a free conference dedicated to discussion and development of the Linux operating system and other open-source and free-software projects.Программное обеспечение разработано на базе операционной системы Linux BSP based on kernel 2. 6. 32 и позволяет реализовывать задачи адаптивного управления дорожным движением как в локальном режиме, так и в составе АСУДД.
The software is Решение RSC PetaStream поставляется с набором программных инструментов Intel Cluster Studio XE 2013 для операционной системы Linux, а также с набором оптимизированных библиотек.
RSC PetaStream solution is supplied with Intel Cluster Studio XE 2013 software kit for Linux operating system, as well as a set of optimized libraries for the RSC PetaStream Другие доклады касались построения сети на основе операционной системы Linux, статистической информационной системы GENESIS, модели UML сообщения GESMES/ CB для обмена временными рядами и разработки компонентов.
Other presentations covered the network based on the Linux operating system, statistical information Модуль центрального процессора построен на базе микроконтроллера ATXMega256A3( управление силовыми модулями), модуль адпативного регулирования- на базе микроконтроллера AT91SAM9G45( коммуникации, вычисления, контроль)под управлением операционной системы Linux.
CPU module is based on microcontroller ATXMega256A3(power units management), adaptive control unit has AT91SAM9G45(communication, processing, control)on board under control of operating system Linux.Существующие исследования, которые посвящены анализу развития ядра операционной системы Linux, рассматривают ядро вместе с поставляемыми с ним загружаемыми модулями или некоторые конкретные подсистемы ядра.
Existing research analyzing evolution of the Linux kernel considers the kernel together with loadable modules delivered with it or some specific subsystems of the kernel.Регулярные неограниченные версии сервера AggreGate и Единой Консоли Оператора AggreGate совместимы с недорогими компьютерами, контроллерами и платами на основе процессоров АRМ- архитектуры иработают с разнообразными версиями операционной системы Linux.
Regular non-restricted versions Решение для интеграции в брокерскую инфраструктуру, разработанное для операционной системы Linux( RedHat6), которая поддерживает технологические разработки с высокой производительностью получения и передачи сигналов.
A solution for integration into a broker's infrastructure developed for operational system Linux(RedHat6) which supports latest high performance technologies of signal reception and transmission.Быстрый темп развития ядра и драйверов операционной системы Linux, разрабатываемых большим распределенным сообществом программистов, привел к тому, что на сегодняшний день не существует единой базы правил, которые полностью описывают корректное взаимодействие драйверов и ядра.
Fast evolution of the Linux operating system kernel and drivers, developed by a big programmers community distributed all over 
