Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.jpg)
Проблемы автоматизации аналитики: как избежать распространенных ошибок
Для автоматизации аналитики часто применяют no-code /low-code ETL-инструменты. Однако у этих инструментов есть недостаки. Правильный ли это выбор?
Самое читаемое
- NIST опубликовал рекомендации по переходу к квантово-устойчивой криптографии
- Минюст США предложил Google продать браузер Chrome
- CDO должен соблюдать баланс между технологиями и бизнесом
- Рынок в ожидании «правильного момента»
- ИТ-кадры на перспективу: Минцифры усиливает подготовку специалистов
- Supermicro пытается преодолеть «бухгалтерский» скандал
- Skillsoft: ИИ и необходимость обеспечения безопасности стимулируют инвестиции в ИТ
- Ускоритель вычислений израильского стартапа бросает вызов чипам Nvidia
- «Т-Технологии» построят собственную сеть ЦОДов
- На что способен ПК с искусственным интеллектом?
- В Microsoft расширяют линейку собственных чипов
- Microsoft в сотрудничестве с отраслевыми лидерами предлагает «вертикальные» SLM