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

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

Patreon 17 1

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

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

Intel Corporation 12801 1

AMD - Advanced Micro Devices 4633 1

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

Oracle Corporation 7070 1

Microsoft Corporation - GitHub 1068 1

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

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

Google LLC 12662 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

File Manager - Файловый менеджер - Управление файлами 492 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 - Стандарт беспроводной связи 13456 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

JVM - Java Virtual Machine - JavaVM 158 1

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

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

RISC - Reduced instruction set computer - Архитектура процессора 596 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 - Аутентификация - Управление учётными данными 13225 1

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

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

Linux OS 11506 2

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

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

Microsoft Windows 16863 2

QEMU 68 2

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

Genode Labs - Genode OS Framework 2 2

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

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

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

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

Apache HTTP Server - Apache Web Server 630 1

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

Google Android 15222 1

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

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

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

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

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

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

Microsoft Office 365 1040 1

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

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

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

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

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

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

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

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

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

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

Raspberry Pi B Model 29 1

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

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

Linux - Debian GNU 565 1

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

EROS - Extremely Reliable Operating System 1 1

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Tagline - Тэглайн 30 1

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

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

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

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

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

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

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

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

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

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

seL4 microkernel family

СОБЫТИЯ

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

CNewsMarket

VDI

BaaS

CRM

RPA

Техника

10 самых бесполезных USB-аксессуаров, которые никому не нужны

Лучшие держатели для смартфона с беспроводной зарядкой в автомобиль: хиты продаж

Доступные умные часы с функцией звонков: выбор ZOOM

Наука

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

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

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