Файловые системы
Доказано: новая файловая система гарантирует сохранность данных при сбоях
В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.
Кришна Натан, IBM Systems & Technology Group
![]()
Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»
.jpg)
Как быстро и без лишних затрат внедрить MDM-систему: кейс Фонда Сколково
Фонд Сколково на базе Юниверс MDM смог быстро создать приоритетные справочники и интегрировать их с системами-потребителями. Рассказываем, что помогло Фонду реализовать проект.
Самое читаемое
- В Москве прошла конференция «Автоматизация процессов — 2025»
- ИИ в управлении продажами: как компании используют цифровых сотрудников для снижения рисков и ускорения сделок
- Эволюция бизнес-приложений: от программирования и Low-Code — к No-Code и Zero-Code
- В России появился Кодекс этики в сфере искусственного интеллекта в здравоохранении
- Перспективы бизнес-автоматизации: на пути к автономным процессам
- Говорим «данные» — подразумеваем «искусственный интеллект»
- Отобраны вузы, которые будут готовить топ-специалистов в сфере ИИ
- Параллельный импорт ноутбуков HP и Fujitsu прекращен
- «Автоматизация процессов»: борьба за эффективность предприятий
- Ботоферма или научный инструмент? Созданы «цифровые копии» 1000 с лишним людей
- Gartner: кибербезопасность имеет решающее значение для роста бизнеса
- Дергается, как человек: первый шаг к созданию робота-слуги