Файловые системы

Доказано: новая файловая система гарантирует сохранность данных при сбоях

В МТИ, по их словам, выполнили верификацию реального кода файловой системы, воспользовавшись инструментом доказательства теорем Coq, который позволяет на формальном языке описать элементы компьютерной системы и взаимоотношения между ними.

Кришна Натан, IBM Systems & Technology Group

Вице-президент направления «Объектно-определяемые и файловые системы хранения данных»

Роботизировать правильно: на что следует делать особый упор

Бизнесу нужны роботы. Поэтому в марте в реестр российского ПО были добавлены системы разработки программных роботов, в числе которых и инструменты RPA. Почему?
Самое читаемое