An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Modelстатья
Информация о цитировании статьи получена из
Web of Science,
Scopus
Дата последнего поиска статьи во внешних источниках: 24 января 2019 г.
-
Авторы:
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
-
Том:
9573
-
Год издания:
2016
-
Место издания:
Springer International Publishing
-
Первая страница:
12
-
Последняя страница:
22
-
DOI:
10.1007/978-3-319-32149-3_2
-
Добавил в систему:
Соболев Сергей Игоревич