Alexander Antonov, Dmitry A. Nikitenko, Pavel Shvets, Sergey I. Sobolev, Konstantin Stefanov, Vadim Voevodin, Vladimir V. Voevodin, Sergey Zhumatiy. An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model. In Roman Wyrzykowski, Ewa Deelman, Jack Dongarra, Konrad Karczewski, Jacek Kitowski, Kazimierz Wiatr, editors, Parallel Processing and Applied Mathematics - 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I. Volume 9573 of Lecture Notes in Computer Science, pages 12-22, Springer, 2015. [doi]
@inproceedings{AntonovNSSSVVZ15, title = {An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model}, author = {Alexander Antonov and Dmitry A. Nikitenko and Pavel Shvets and Sergey I. Sobolev and Konstantin Stefanov and Vadim Voevodin and Vladimir V. Voevodin and Sergey Zhumatiy}, year = {2015}, doi = {10.1007/978-3-319-32149-3_2}, url = {http://dx.doi.org/10.1007/978-3-319-32149-3_2}, researchr = {https://researchr.org/publication/AntonovNSSSVVZ15}, cites = {0}, citedby = {0}, pages = {12-22}, booktitle = {Parallel Processing and Applied Mathematics - 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I}, editor = {Roman Wyrzykowski and Ewa Deelman and Jack Dongarra and Konrad Karczewski and Jacek Kitowski and Kazimierz Wiatr}, volume = {9573}, series = {Lecture Notes in Computer Science}, publisher = {Springer}, isbn = {978-3-319-32148-6}, }