Индексная книга (каталог) 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 25920 2

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

Patreon 17 1

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

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

Intel Corporation 12903 1

AMD - Advanced Micro Devices 4718 1

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

Oracle Corporation 7128 1

Microsoft Corporation - GitHub 1131 1

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

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

Google LLC 12854 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

JVM - Java Virtual Machine - JavaVM 164 1

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

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

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

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

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

Blockchain - Смарт-контракт - Smart contract - Умные контракты 120 1

Мобильное приложение - Mobile app - Мобильные решения - Мобильные сервисы - Мобильная разработка 13232 1

Linux OS 11749 2

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

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

Microsoft Windows 17088 2

QEMU 72 2

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

Genode Labs - Genode OS Framework 2 2

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

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

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

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

Apache HTTP Server - Apache Web Server 642 1

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

Google Android 15417 1

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

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

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

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

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

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

Microsoft Office 365 1058 1

Raspberry Pi Foundation - RPF - RPI Foundation - Raspberry Pi - одноплатный микрокомпьютер 260 1

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

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

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

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

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

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

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

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

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

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

Linux - Debian GNU 588 1

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

EROS - Extremely Reliable Operating System 1 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

MarTech - Brand management, бренд-менеджмент - Influencers Control Center, ICC - инструмент для хранения и управления аккаунтами бренда - Brand Safety - Branding, брендирование - Brandbook, брендбук - Rebranding, ребрендинг 2808 1

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

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

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

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

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

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

CNews 100 - Рейтинг крупнейших ИТ-компаний России - Российский ИТ-рынок - Российский рынок информационных технологий 4296 1

Tagline - Тэглайн 30 1

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

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

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

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

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

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

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

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

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

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

seL4 microkernel family

СОБЫТИЯ

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

CNewsMarket

RPA

Онлайн-бухгалтерия

VDI

BPM

Техника

Зачем планшету стилус в 2026 году: 5 самых производительных моделей с поддержкой стилуса

Безмолвный свидетель: как гаджеты умного дома следят за нами и собирают данные

Самые стильные интерьерные роутеры и Mesh-системы: выбор ZOOM

Наука

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

Новое исследование показало, что Земля постепенно заселяет Венеру жизнью

Обнаружены биологические часы-хронометр организма — когда они выходят из строя, развитие человека останавливается