Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.jpg)
Цифровизация ритейла: MDM-система как способ повысить эффективность управления
Внедрение MDM-системы для управления мастер-данными может помочь торговой компании увеличить прибыль и укрепить отношения с клиентами.
Самое читаемое
- Открыт прием заявок на премию Data Award 2025
- Доступность данных – ключ к дата-культуре
- Gartner: Десять основных технологических тенденций в 2025 году
- «1С»: страна действительно инвестирует в российские решения
- В России зафиксировали новую волну мошенничества через QR-коды
- ТОП-5 российских self-service BI-систем в 2024
- В ВШЭ назвали проблемы обучения в сфере ИИ
- Клиника «Медицина»: эффекты и разочарования цифровизации
- Supermicro представляет системы хранения, оптимизированные для ИИ
- Apple представила новые модели iMac
- В России могут создать систему подтверждения ИТ-компетенций
- HPE и Supermicro представили системы жидкостного охлаждения