Индексная книга (каталог) CNews*
Получите все материалы CNews по ключевому слову

seL4 microkernel family

СОБЫТИЯ

Опубликовать/исправить описание технологии — book@cnews.ru

10.09.2024		Выпущена ОС на замену Linux и BSD. Она написана на Rust, имеет микроядро и поддерживает ПО для Unix 1
21.01.2022		Россияне создали уникальную ОС — конкурента Linux 1
09.11.2021		В России разработали первый в мире индустриальный блокчейн с применением методов формальной верификации 1
13.01.2021		DZ Systems, холдинг создателя «Яндекс.Маркета» Дмитрия Завалишина, вырос в два раза в 2020 году 1

Публикаций - 4, упоминаний - 4

seL4 microkernel family и организации, системы, технологии, персоны:

Microsoft Corporation 25691 2

DZ Systems - ДЗ Системс 16 2

Patreon 17 1

Т2 - Т2 Мобайл - Т2 РТК Холдинг - РТ-Мобайл - Теле2 Россия АБ - Tele2 Russia AB 3305 1

Oracle - Sun Microsystems - Сан Майкросистемс - Май Эс Кью Эл 2253 1

Intel Corporation 12769 1

AMD - Advanced Micro Devices 4622 1

ЭР-Телеком Холдинг - Дом.ru - Dom.ru 941 1

Oracle Corporation 7055 1

Microsoft Corporation - GitHub 1053 1

РусБИТех - Astra Linux - ГК Астра - Группа Астра 2970 1

Globus IT - Глобус-ИТ - Мобильные бизнес-решения - e-Legion 54 1

Google LLC 12595 1

DZ Systems - Digital Zone - ДЗ-Центр 8 1

Аэрофлот - Российские авиалинии - Aeroflot - авиакомпания 906 1

Т-Банк - ТБанк - Тинькофф банк - Тинькофф КС - Тинькофф Кредитные Системы - ТКС банк - Tinkoff Credit Systems Bank 1495 1

Альфа-Банк 1966 1

X5 Group - ИКС 5 Ритейл Групп - Корпоративный центр ИКС5 - Агроторг 1197 1

Газпром нефть 702 1

Акрихин ХФК - Фармацевтическая компания 50 1

Лаборатория программного обеспечения - Helix - Хеликс - Лабораторная служба 35 1

U.S. Federal government - Federal government of the United States - Высшие федеральные органы государственной власти США 1673 1

U.S. Department of Defense - Pentagon - Министерство войны США - Военное министерство США - Министерство обороны США - Пентагон - Department of War, DoW 1889 1

U.S. Department of Defense - DARPA - U.S. Defense Advanced Research Projects Agency - Управление перспективных исследовательских проектов Министерства обороны США 524 1

Руссофт НП - Russoft - Форт-Росс - АРПО - Ассоциация Разработчиков Программного Обеспечения - NSDA - National Software Development Association 809 1

ОС - Операционная система - OS - Operating system - Общесистемное ПО 28016 4

Кибербезопасность - Компьютерная безопасность - Информационная безопасность - ИБ-интегратор - Киберпреступность - Cybersecurity - Киберинциденты - Киберустойчивость - Cyber resilience 34331 2

ИТ-экосистема - ИТ-ландшафт - ИТ-архитектура - Информационная инфраструктура - ИТ-инфраструктура - ИКТ-инфраструктура - Информационно-телекоммуникационная инфраструктура, ИТКИ - Программно-аппаратный комплекс, ПАК - Комплекс программно-технических средств 64150 2

Электроника - CPU - Central processing unit - chiplet, чиплет - ЦПУ - Центральный микропроцессор - Центральное процессорное устройство - Процессорный модуль 22404 2

Цифровая трансформация - Digital Transformation - Digital IQ - Цифровизация - Цифровое предприятие - Диджитализация - Цифровые технологии в бизнесе - Цифровое пространство - Цифровая зрелость 61016 2

Open Source software - Открытое программное обеспечение - Свободное (опенсорсное) программное обеспечение (СПО) - ПО с открытым исходным кодом 8558 2

Interface - Интерфейс - Комплекс средств для взаимодействия двух систем друг с другом 27128 2

VM - Virtual machine - Виртуальная машина 3146 2

GNU Lesser General Public License - GNU LGPL - лицензия свободного программного обеспечения за авторством Free Software Foundation (FSF) 112 2

ОС - POSIX - Portable Operating System Interface - переносимый интерфейс операционных систем 72 2

Framework - Фреймворк - программная платформа, определяющая структуру программной системы 819 2

Loyalty Management - Системы лояльности - Программы поощрения клиентов - Программы поощрения постоянных покупателей - Бонусные программы 5948 1

Язык программирования - Programming language - Среда разработки 2488 1

Wearable devices - WearableTech - Носимая электроника - интеллектуальные (умные) носимые устройства 876 1

Медиаплеер - Media player - аудиоплеер - audio player 244 1

File Manager - Файловый менеджер - Управление файлами 488 1

URI - Uniform Resource Identifier - Universal Resource Identifier - унифицированный (единообразный) идентификатор ресурса - универсальный идентификатор ресурса - RQL-запрос - Resource Query Language 58 1

Wi-Fi - Wireless Fidelity LAN - Wi-Fi 802.11 Wave - IEEE 802.11 - Стандарт беспроводной связи 13396 1

Искусственный интеллект - ИИ - Artificial Intelligence - AI - Artificial General Intelligence - AGI - Общий искусственный интеллект - Искусственный интеллект общего назначения - Универсальный искусственный интеллект 21659 1

Сетевое оборудование - Ethernet - Семейство технологий пакетной передачи данных 3874 1

Робототехника - Роботизация - Robotic Governance - Робототехнические системы, комплексы 7339 1

ARM64 - AArch64 - Архитектура процессора 604 1

IoT - Internet of Things - Интернет вещей - ИВ-устройства - ИВ-решения 6420 1

Blockchain - Блокчейн - Реплицированная распределённая база данных - DLT - Distributed Ledger Technology - Технологии распределенного реестра 1642 1

Кибербезопасность - APT - Advanced Persistent Threats - Таргетированные, направленные или целевые атаки - развитая устойчивая угроза - сложно детектируемые сетевые атаки 1041 1

Кибербезопасность - DoS - DDoS - Distributed Denial of Service - Распределенный отказ в обслуживании - Многовекторные атаки - L7-атака - AntiDDoS-решения - DDoS Defense Service 3775 1

BPM - Business Process Management System - Системы управления (автоматизации) бизнес-процессами 12071 1

Виртуализация - Virtualization - Виртуальные среды - Системы управления виртуализацией 7103 1

Bug - Баг - Запись в системе отслеживания ошибок ПО - Программный сбой - Программная ошибка - Ошибка программного обеспечения - Техническая ошибка 2336 1

Импортозамещение - Импортонезависимость - технологический (цифровой) суверенитет - режим приоритетных закупок отечественных решений и технологий 25174 1

PrivacyTech - Цифровой профиль гражданина - Цифровой образ - Цифровой след - Цифровая личность - Цифровой портрет - Цифровые отпечатки - Digital fingerprints - Digital footprint 741 1

BIOS UEFI - Unified Extensible Firmware Interface - UEFI Secure Boot - UEFI Trusted Boot - интерфейс между операционной системой и микропрограммами 267 1

MLOps - Нейросеть - Artificial Neural Networks, ANN - Искусственная нейронная сеть - Artificial Neural Network - Нейросетевые технологии - Neural network technologies 4680 1

Сервер - серверные платформы (системы) - серверное оборудование - server platforms server hardware 33144 1

JVM - Java Virtual Machine - JavaVM 158 1

GNU General Public License - GNU GPL - Открытое Лицензионное Соглашение 679 1

Кибербезопасность - Вредоносное ПО - ВПО - Зловред - malware 14125 1

RISC - Reduced instruction set computer - Архитектура процессора 592 1

BSD license - Berkeley Software Distribution license - Программная лицензия университета Беркли 177 1

Кибербезопасность - IAM - Identity and Access Management - IGA - Identity Governance and Administration - IdM - Authentication (Identity) Management - CIAM - Customer Identity and Access Management - Аутентификация - Управление учётными данными 13071 1

Linux OS 11419 2

UNIX - Семейство переносимых, многозадачных и многопользовательских операционных систем 1669 2

Intel x86 - архитектура процессора 2138 2

Microsoft Windows 16782 2

QEMU 67 2

DZ Systems - Digital Zone - Фантом ОС 30 2

Genode Labs - Genode OS Framework 2 2

Linux Wayland - протокол для организации графического сервера в UNIX-подобных операционных системах 42 1

Т2 - Т2 Мобайл - Мой T2 - Мой Теле2 3 1

Альфа-Банк - Альфа-Директ 8 1

Rust Foundation - Rust - язык программирования 18 1

Apache HTTP Server - Apache Web Server 624 1

Python - высокоуровневый язык программирования 1259 1

Google Android 15146 1

Ред Софт - Ред ОС - RedOS 1543 1

Intel Atom - Intel Centrino Atom - Intel Denverton Atom - серия микропроцессоров архитектур x86 и x86-64 986 1

Oracle Java - язык программирования 3449 1

Bitcoin - Биткоин - Криптовалюта - Пиринговая платёжная система 704 1

Ethereum (ETH) - Ether - Эфириум - Этериум - Эфир - платформа онлайн-сервисов на базе блокчейна 423 1

MITRE CVE - MITRE Common Vulnerabilities and Exposures - База данных общеизвестных уязвимостей информационной безопасности 5625 1

Microsoft Office 365 1035 1

Raspberry Pi - Одноплатный микрокомпьютер 222 1

Яндекс.Маркет - Yandex Market 1270 1

GitLab Inc - Gitlab - Веб-инструмент жизненного цикла DevOps с открытым исходным кодом 217 1

Mozilla Firefox - браузер 1937 1

Huawei nova - Серия смартфона 111 1

Oracle - Sun ZFS - Файловая система для операционной системы Solaris 73 1

Oracle VM VirtualBox - Oracle VM Manager - Oracle VM Templates - Oracle VM blade cluster 129 1

C/C++ - Язык программирования 883 1

Perl - Язык программирования 155 1

Lenovo Legion - серия ноутбуков 57 1

Raspberry Pi B Model 29 1

Lua - язык программирования 77 1

Microsoft Xbox Game Studios - ZeniMax Media - id Software - Quake - Компьютерная игра (Шутер от первого лица) 127 1

Linux - Debian GNU 562 1

Oracle - Sun Solaris OS - Solaris Operating Environment - SunOS 200 1

EROS - Extremely Reliable Operating System 1 1

Завалишин Дмитрий 21 2

Тормасов Александр 9 1

Михайлов Артем 9 1

Россия - РФ - Российская федерация 164518 3

Россия - ПФО - Татарстан - Иннополис 669 3

США - Соединённые Штаты Америки - USA - The United States of America 54443 2

Финансовый сектор - Банковская отрасль экономики - Кредитно-финансовые организации - Сектор финансовых корпораций - банковские операции - банковские услуги 52984 2

Образование - Образовательные учреждения - Наука - Научная деятельность - Университеты и наука должны объединиться 33369 2

Выручка компании - оборот и объём продаж - Company revenue 5077 1

Инвестиции - инвестирование - инвестиционные проекты - инвестиционное консультирование 18000 1

Благотворительность - благотворительные организации - благотворительный сектор экономики - пожертвования 518 1

Аудит - аудиторский услуги 3385 1

Консалтинг - Consulting - консалтинговые услуги - консультационные услуги - консультирование 8437 1

ЖКХ - Жилищно-коммунальное хозяйство - ЖКУ - Жилищно-коммунальные услуги 3928 1

ГОСТ - Межгосударственный стандарт СНГ 1144 1

RnD - R&D - Research and Development - НИОКР - Научно-исследовательские, опытно-конструкторские и проектно-изыскательские работы - Научно-исследовательская работа, НИР 6657 1

Здравоохранение - SARS-CoV-2 - COVID-19 - Ковид - COronaVIrus Disease 2019 - Коронавирусная инфекция 2019-nCoV - Пандемия - Эпидемия атипичной пневмонии 3813 1

Кибербезопасность - КИИ - Критическая информационная инфраструктура - Critical information infrastructure - Цифровой суверенитет - Digital sovereignty 3678 1

ТЭК - Топливно-энергетический комплекс - Топливная энергетика - Fuel and energy industry 1455 1

Здравоохранение - Фарминдустрия, фармацевтика и фармакология - Pharmaceuticals - Аптеки - Лекарственные препараты, Медикаменты - Медико-биологическая наука о лекарственных веществах и их действии на организм 4949 1

FAQ - Frequently Asked Question - Часто задаваемые вопросы 227 1

Федеральный закон 187-ФЗ - О безопасности критической информационной инфраструктуры (КИИ) Российской Федерации 2154 1

Государственные органы власти - Государственный сектор экономики - Госзаказчик - Государственный заказчик - Государственное и муниципальное управление - госсектор - госучреждения 57121 1

ИТ-рынок труда - ИТ-кадры - ИТ-персонал - ИТ-специалист - ИТ-менеджер 15855 1

M&A - Mergers and Acquisitions - Слияния и поглощения - Консолидация 4777 1

Национальный проект - Производительность труда и поддержка занятости - Производительность.рф - Эффективная и конкурентная экономика 1060 1

Судебная власть - Судебная практика, тяжба - Судебный иск, процесс - Судебное разбирательство - истец-ответчик - Lawsuit, trial 8168 1

Tagline - Тэглайн 30 1

Иннополис Университет АНО ВО - Российская автономная некоммерческая организация высшего образования в городе Иннополис 267 2

Иннополис Университет - Центр технологий компонентов робототехники и мехатроники - Центр компетенций НТИ - Центр развития промышленной робототехники 62 1

MIT - Massachusetts Institute of Technology - МТИ - Массачусетский технологический институт 999 1

Johns Hopkins University - Университет Джонса Хопкинса 164 1

Рейтинг Рунета - Всероссийский конкурс сайтов и приложений 94 1

День программиста - Day of the Programmer - 256-й день года 2647 1

Короткая ссылка

* Страница-профиль компании, системы (продукта или услуги), технологии, персоны и т.п. создается редактором на основе анализа архива публикаций портала CNews. Обрабатываются тексты всех редакционных разделов (новости, включая "Главные новости", статьи, аналитические обзоры рынков, интервью, а также содержание партнёрских проектов). Таким образом, чем больше публикаций на CNews было с именем компании или продукта/услуги, тем более информативен профиль. Профиль может быть дополнен (обогащен) дополнительной информацией, в т.ч. презентацией о компании или продукте/услуге.

Обработан архив публикаций портала CNews.ru c 11.1998 до 06.2026 годы.
Ключевых фраз выявлено - 1453394, в очереди разбора - 728098.
Создано именных указателей - 196846.
Редакция Индексной книги CNews - book@cnews.ru

Читатели CNews — это руководители и сотрудники одной из самых успешных отраслей российской экономики: индустрии информационных технологий. Ядро аудитории составляют топ-менеджеры и технические специалисты департаментов информатизации федеральных и региональных органов государственной власти, банков, промышленных компаний, розничных сетей, а также руководители и сотрудники компаний-поставщиков информационных технологий и услуг связи.

seL4 microkernel family

СОБЫТИЯ

seL4 microkernel family и организации, системы, технологии, персоны:

CNewsMarket

Dedicated

RPA

BPM

Kubernetes

Техника

Обзор DEMIAND HARRINGTON DK-5100: аэрогриль, который готовит сам

Лучшие автохолодильники в машину и палатку: хиты продаж

Обзор вертикального беспроводного пылесоса Dreame Z40 TangleCut Flex+: больше никаких ножниц

Наука

Новый пернатый динозавр оказался четырехкрылым драконом, который охотился на добычу с деревьев 120 млн лет назад

Как змеи эволюционировали и утратили ноги? Современные технологии позволили это отследить

Астрономы наконец нашли границу у Млечного пути и нанесли ее на карту