An Approach for Ensuring Reliable Functioning of a Supercomputer Based on a Formal Model - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Alexander Antonov' in GoogleThis author has not been identified. Look up 'Dmitry A. Nikitenko' in GoogleThis author has not been identified. Look up 'Pavel Shvets' in GoogleThis author has not been identified. Look up 'Sergey I. Sobolev' in GoogleThis author has not been identified. Look up 'Konstantin Stefanov' in GoogleThis author has not been identified. Look up 'Vadim Voevodin' in GoogleThis author has not been identified. Look up 'Vladimir V. Voevodin' in GoogleThis author has not been identified. Look up 'Sergey Zhumatiy' in Google

runs on WebDSL