Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.png)
«Базис» первым в России представил полностью импортонезависимую экосистему решений для виртуализации ИТ-инфраструктуры
Представлена первая в России импортонезависимая экосистема продуктов и технологий виртуализации с собственной кодовой базой
Самое читаемое
- «Северсталь»: симбиоз машинного обучения и физики
- АЛРОСА: добыча алмазов с прозрачными процессами
- «Звук»: из песни слов не выкинешь, но проанализировать – можно
- «Айкумен ИБС»: инвестиции в стиле data-driven
- «СберФакторинг»: управление данными «с нуля» за год
- Мухи и котлеты «вторых пилотов» с искусственным интеллектом
- AMD опередила Intel в гонке ИИ-процессоров для настольных ПК
- «Работа.ру»: автоматизация подготовки коммерческих предложений
- «М.Видео-Эльдорадо»: от «дата-ада» к знаку качества
- «Академия Дата-Дайвинг»: «РосНавык» отслеживает актуальность компетенций
- «РТ МИС»: бизнес-аналитика для медицины
- «СберТаргет»: рекламные рекомендации как сервис