An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model.

Alexander S. Antonov, Dmitry A. Nikitenko, Pavel A. Shvets, Sergey I. Sobolev, Konstantin S. Stefanov, Vadim V. Voevodin, Vladimir V. Voevodin, Sergey A. Zhumatiy

Browse the full PPAM paper archive.