Parallel Processing and Applied Mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part Iсборник
Статьи, опубликованные в сборнике
2016
An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model
Antonov Alexander ,
Nikitenko Dmitry ,
Shvets Pavel ,
Sobolev Sergey ,
Stefanov Konstantin ,
Voevodin Vadim ,
Voevodin Vladimir ,
Zhumatiy Sergey
в сборнике Parallel Processing and Applied Mathematics. 11th International Conference, PPAM 2015, Krakow, Poland, September 6-9, 2015. Revised Selected Papers, Part I , серия Lecture Notes in Computer Science , место издания Springer International Publishing , том 9573, с. 12-22
DOI