Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
sections on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Voevodin, Vladimir. editor. (orcid)0000-0001-6036-5106
Format:
Electronic Resources
Alıntı:
sections on parallel algorithms; supercomputer simulation; high performance architectures, tools and
View Other Search Results
Yazar
Sokolinsky, Leonid. editor. (orcid)0000-0001-9997-3918
Format:
Electronic Resources
Alıntı:
sections on high performance architectures, tools and technologies; parallel numerical algorithms
Yazar
Ayala-Rincón, Mauricio. author.
Format:
Electronic Resources
Alıntı:
simple examples of formalizations of the correctness of algebraic functions and algorithms in PVS