Old Web
English
Sign In
Acemap
>
Paper
>
An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model
An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model
2016
Alexander Antonov
Dmitry A. Nikitenko
Pavel Shvets
Sergey I. Sobolev
Konstantin Stefanov
Vladimir V. Voevodin
Sergey Zhumatiy
Keywords:
Theoretical computer science
Computer science
Supercomputer
Distributed computing
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
8
Citations
NaN
KQI
[]