Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.jpg)
Управление данными на практике: эволюция, перспективы, инструменты
Эксперты GlowByte и Data Sapience — об актуальных вопросах выстраивания и развития Data Governance в организациях.
Самое читаемое
- Внедрению новых технологий мешают старые привычки сотрудников
- Не только зарплата: что мотивирует российских айтишников
- Open Systems. DBMS 2025, Volume 33, Number 4
- Обнаружено вероятное свидетельство древней жизни на Марсе
- В Китае создали прототип современного литографа
- СУБД в ответе за безопасность данных
- ИТ-инфраструктура российского бизнеса: технологические тенденции и прогнозы — 2026
- Скромное обаяние Open Source
- NTT: чтобы вернуть былые позиции в производстве чипов, Японии надо опираться на нишевые рынки
- Достоверность данных в условиях цифрового недоверия
- Nvidia покупает разработчика менеджера вычислительных нагрузок Slurm
- Coursera и Udemy объявили о слиянии
