Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.png)
ТОП-5 российских self-service BI-систем в 2024
ТОП-5 российских self-service BI-систем 2024: исследуем тренды, особенности и перспективы для бизнеса в условиях быстро меняющегося рынка
Самое читаемое
- Intel и AMD решили «дружить» против Qualcomm
- Открыт прием заявок на премию Data Award 2025
- Доступность данных – ключ к дата-культуре
- Gartner: Десять основных технологических тенденций в 2025 году
- «1С»: страна действительно инвестирует в российские решения
- СМИ: российским операторам могут запретить использовать SpeedTest
- В Google намерены использовать ядерные реакторы для ЦОДов
- IDC: Поставки ПК немного сократились
- В МВД рассказали о новой схеме кражи аккаунтов в Telegram
- В Cisco выпустили коммутаторы и маршрутизаторы для ИИ
- HPE и Dell одновременно представили серверы для ИИ
- BlackBerry: разработчики встраиваемых систем едва успевают их защищать