Use of methods of algebraic programming for the formal verification of legal acts von Peschanenko, V.S., Poltoratskiy, M.

Volltext

Managing data center resources using heuristic search von Zharikov, E.V.

Volltext

A method of two-tier storage management in virtualized data center von Zharikov, E.V.

Volltext

Specialized software for simulating dynamic virtual machine consolidation von Zharikov, E.V., Telenyk, S.F.

Volltext