Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.jpg)
LLM и дата-каталог: описание метаданных
Как описать метаданные и поддерживать дата-каталог в актуальном состоянии? И как при этом может помочь LLM?
Самое читаемое
- Стратегический поворот в инфраструктуре: от импортозамещения — к развитию на базе отечественных ИТ
- ТМК: отечественный MDM с новыми возможностями
- Встраивание управления качеством данных в процессы: через дорожную карту — к культуре доверия к данным
- Качество данных и его влияние на эффективность бизнеса стало темой первой конференции «Открытых систем» в 2026 году
- ММК: единый язык для цифровых инициатив
- Мировые регуляторы смягчают подходы к генеративному ИИ
- «Солар»: Две трети компаний не контролируют утечки данных через нейросети
- Встраивание инструментов качества данных в бизнес-процессы: главная ценность и результаты
- «Цельс»: медицинский ИИ на экспорт
- Конференция «Цифровая инфраструктура — 2026»: 4 марта в Москве обсудят будущее ИТ‑суверенитета
- Данные со встроенным качеством
- Ключевые тренды эксплуатации ИТ-инфраструктуры
