Open AccessTHEORETICAL ASPECTS OF VERIFICATION OF BLOCK-SYNCHRONOUS PARALLEL PROGRAMS FOR COMPUTING SYSTEMS BUILT USING BIGDATA TECHNOLOGY
Author(s) -
Michael Sinev,
AUTHOR_ID,
Dmitry A. Trokoz,
A.I Martyshkin,
AUTHOR_ID,
AUTHOR_ID
Publication year - 2021
Publication title -
xxi vek: itogi prošlogo i problemy nastoâŝego plûs
Language(s) - English
Resource type - Journals
ISSN - 2221-951X
DOI - 10.46548/21vek-2021-1056-0008
Subject(s) - computer science , block (permutation group theory) , big data , parallel computing , computational science , operating system , mathematics , geometry