{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T14:01:11Z","timestamp":1754488871461},"reference-count":43,"publisher":"Walter de Gruyter GmbH","issue":"4","funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1066471"],"award-info":[{"award-number":["1066471"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020,12,1]]},"abstract":"<jats:title>Abstract<\/jats:title>\n               <jats:p>In this article, we consider the general problem of checking the correctness of matrix multiplication.\nGiven three <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mi>n<\/m:mi>\n                              <m:mo>\u00d7<\/m:mo>\n                              <m:mi>n<\/m:mi>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0001.png\" \/>\n                        <jats:tex-math>n\\times n<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula> matrices \ud835\udc34, \ud835\udc35 and \ud835\udc36, the goal is to verify that <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mrow>\n                                 <m:mi>A<\/m:mi>\n                                 <m:mo>\u00d7<\/m:mo>\n                                 <m:mi>B<\/m:mi>\n                              <\/m:mrow>\n                              <m:mo>=<\/m:mo>\n                              <m:mi>C<\/m:mi>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0002.png\" \/>\n                        <jats:tex-math>A\\times B=C<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula> without carrying out the computationally costly operations of matrix multiplication and comparing the product <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mi>A<\/m:mi>\n                              <m:mo>\u00d7<\/m:mo>\n                              <m:mi>B<\/m:mi>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0003.png\" \/>\n                        <jats:tex-math>A\\times B<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula> with \ud835\udc36, term by term.\nThis is especially important when some or all of these matrices are very large, and when the computing environment is prone to soft errors.\nHere we extend Freivalds\u2019 algorithm to a Gaussian Variant of Freivalds\u2019 Algorithm (GVFA) by projecting the product <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mi>A<\/m:mi>\n                              <m:mo>\u00d7<\/m:mo>\n                              <m:mi>B<\/m:mi>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0003.png\" \/>\n                        <jats:tex-math>A\\times B<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula> as well as \ud835\udc36 onto a Gaussian random vector and then comparing the resulting vectors.\nThe computational complexity of GVFA is consistent with that of Freivalds\u2019 algorithm, which is <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mi>O<\/m:mi>\n                              <m:mo>\u2062<\/m:mo>\n                              <m:mrow>\n                                 <m:mo>(<\/m:mo>\n                                 <m:msup>\n                                    <m:mi>n<\/m:mi>\n                                    <m:mn>2<\/m:mn>\n                                 <\/m:msup>\n                                 <m:mo>)<\/m:mo>\n                              <\/m:mrow>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0005.png\" \/>\n                        <jats:tex-math>O(n^{2})<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula>.\nHowever, unlike Freivalds\u2019 algorithm, whose probability of a false positive is <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:msup>\n                              <m:mn>2<\/m:mn>\n                              <m:mrow>\n                                 <m:mo>-<\/m:mo>\n                                 <m:mi>k<\/m:mi>\n                              <\/m:mrow>\n                           <\/m:msup>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0006.png\" \/>\n                        <jats:tex-math>2^{-k}<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula>, where \ud835\udc58 is the number of iterations, our theoretical analysis shows that, when <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:mrow>\n                              <m:mrow>\n                                 <m:mi>A<\/m:mi>\n                                 <m:mo>\u00d7<\/m:mo>\n                                 <m:mi>B<\/m:mi>\n                              <\/m:mrow>\n                              <m:mo>\u2260<\/m:mo>\n                              <m:mi>C<\/m:mi>\n                           <\/m:mrow>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0007.png\" \/>\n                        <jats:tex-math>A\\times B\\neq C<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula>, GVFA produces a false positive on set of inputs of measure zero with exact arithmetic.\nWhen we introduce round-off error and floating-point arithmetic into our analysis, we can show that the larger this error, the higher the probability that GVFA avoids false positives.\nMoreover, by iterating GVFA \ud835\udc58 times, the probability of a false positive decreases as <jats:inline-formula>\n                     <jats:alternatives>\n                        <m:math xmlns:m=\"http:\/\/www.w3.org\/1998\/Math\/MathML\">\n                           <m:msup>\n                              <m:mi>p<\/m:mi>\n                              <m:mi>k<\/m:mi>\n                           <\/m:msup>\n                        <\/m:math>\n                        <jats:inline-graphic xmlns:xlink=\"http:\/\/www.w3.org\/1999\/xlink\" xlink:href=\"graphic\/j_mcma-2020-2076_ineq_0008.png\" \/>\n                        <jats:tex-math>p^{k}<\/jats:tex-math>\n                     <\/jats:alternatives>\n                  <\/jats:inline-formula>, where \ud835\udc5d is a very small value depending on the nature of the fault on the result matrix and the arithmetic system\u2019s floating-point precision.\nUnlike deterministic algorithms, there do not exist any fault patterns that are completely undetectable with GVFA.\nThus GVFA can be used to provide efficient fault tolerance in numerical linear algebra, and it can be efficiently implemented on modern computing architectures.\nIn particular, GVFA can be very efficiently implemented on architectures with hardware support for fused multiply-add operations.<\/jats:p>","DOI":"10.1515\/mcma-2020-2076","type":"journal-article","created":{"date-parts":[[2020,10,14]],"date-time":"2020-10-14T21:45:29Z","timestamp":1602711929000},"page":"273-284","source":"Crossref","is-referenced-by-count":3,"title":["Gaussian variant of Freivalds\u2019 algorithm for efficient and reliable matrix product verification"],"prefix":"10.1515","volume":"26","author":[{"given":"Hao","family":"Ji","sequence":"first","affiliation":[{"name":"Department of Computer Science , California State Polytechnic University Pomona , Pomona , CA 91768 , USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Mascagni","sequence":"additional","affiliation":[{"name":"Department of Computer Science , Florida State University , Tallahassee , FL 32306-4530; and Applied and Computational Mathematics Division, Information Technology Laboratory, National Institute of Standards & Technology, ITL, Gaithersburg, MD 20899-8910 , USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yaohang","family":"Li","sequence":"additional","affiliation":[{"name":"Department of Computer Science , Old Dominion University , Norfolk , VA 23529 , USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"374","published-online":{"date-parts":[[2020,10,8]]},"reference":[{"key":"2023040102281283181_j_mcma-2020-2076_ref_001_w2aab3b7e1030b1b6b1ab2b1b1Aa","unstructured":"N. Alon, O. Goldreich, J. H\u00e5 stad and R. Peralta,\nSimple constructions of almost \ud835\udc58-wise independent random variables,\n31st Annual Symposium on Foundations of Computer Science, Vol. I, II (St. Louis 1990),\nIEEE Press, Los Alamitos (1990), 544\u2013553."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_002_w2aab3b7e1030b1b6b1ab2b1b2Aa","doi-asserted-by":"crossref","unstructured":"P. Banerjee and J. A. Abraham,\nBounds on algorithm-based fault tolerance in multiple processor systems,\nIEEE Trans. Comput. 100 (1986), no. 4, 296\u2013306.","DOI":"10.1109\/TC.1986.1676762"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_003_w2aab3b7e1030b1b6b1ab2b1b3Aa","doi-asserted-by":"crossref","unstructured":"P. Banerjee, J. T. Rahmeh, C. Stunkel, V. S. Nair, K. Roy, V. Balasubramanian and J. A. Abraham,\nAlgorithm-based fault tolerance on a hypercube multiprocessor,\nIEEE Trans. Comput. 39 (1990), no. 9, 1132\u20131145.","DOI":"10.1109\/12.57055"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_004_w2aab3b7e1030b1b6b1ab2b1b4Aa","doi-asserted-by":"crossref","unstructured":"S. Boldo and J.-M. Muller,\nExact and approximated error of the FMA,\nIEEE Trans. Comput. 60 (2011), no. 2, 157\u2013164.","DOI":"10.1109\/TC.2010.139"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_005_w2aab3b7e1030b1b6b1ab2b1b5Aa","doi-asserted-by":"crossref","unstructured":"G. Bosilca, R. Delmas, J. Dongarra and J. Langou,\nAlgorithm-based fault tolerance applied to high performance computing,\nJ. Parallel Distrib. Comput. 69 (2009), no. 4, 410\u2013416.","DOI":"10.1016\/j.jpdc.2008.12.002"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_006_w2aab3b7e1030b1b6b1ab2b1b6Aa","unstructured":"K. L. Cheng, C. W. Wang and J. N. Lee,\nFame: A fault-pattern based memory failure analysis framework,\nInternational Computer Aided Design Conference,\nIEEE Press, Piscataway (2003), 595\u2013598."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_007_w2aab3b7e1030b1b6b1ab2b1b7Aa","doi-asserted-by":"crossref","unstructured":"D. D. Chinn and R. K. Sinha,\nBounds on sample space size for matrix product verification,\nInform. Process. Lett. 48 (1993), no. 2, 87\u201391.","DOI":"10.1016\/0020-0190(93)90183-A"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_008_w2aab3b7e1030b1b6b1ab2b1b8Aa","doi-asserted-by":"crossref","unstructured":"D. Coppersmith and S. Winograd,\nMatrix multiplication via arithmetic progressions,\nProceedings of the 19th annual ACM symposium on Theory of computing,\nACM, New York (1987), 1\u20136.","DOI":"10.1145\/28395.28396"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_009_w2aab3b7e1030b1b6b1ab2b1b9Aa","doi-asserted-by":"crossref","unstructured":"J. W. Demmel and N. J. Higham,\nStability of block algorithms with fast level-3 blas,\nACM Trans. Math. Softw. 18 (1992), no. 3, 274\u2013291.","DOI":"10.1145\/131766.131769"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_010_w2aab3b7e1030b1b6b1ab2b1c10Aa","doi-asserted-by":"crossref","unstructured":"J. J. Dongarra, J. Du Croz, S. Hammarling and I. Duff,\nAlgorithm 679: A set of level 3 basic linear algebra subprograms: Model implementation and test programs,\nACM Trans. Math. Softw. 16 (1990), no. 1, 18\u201328.","DOI":"10.1145\/77626.77627"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_011_w2aab3b7e1030b1b6b1ab2b1c11Aa","doi-asserted-by":"crossref","unstructured":"P. Drineas, R. Kannan and M. W. Mahoney,\nFast Monte Carlo algorithms for matrices. I. Approximating matrix multiplication,\nSIAM J. Comput. 36 (2006), no. 1, 132\u2013157.","DOI":"10.1137\/S0097539704442684"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_012_w2aab3b7e1030b1b6b1ab2b1c12Aa","doi-asserted-by":"crossref","unstructured":"P. Drineas, R. Kannan and M. W. Mahoney,\nFast Monte Carlo algorithms for matrices. II. Computing a low-rank approximation to a matrix,\nSIAM J. Comput. 36 (2006), no. 1, 158\u2013183.","DOI":"10.1137\/S0097539704442696"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_013_w2aab3b7e1030b1b6b1ab2b1c13Aa","doi-asserted-by":"crossref","unstructured":"P. Drineas, R. Kannan and M. W. Mahoney,\nFast Monte Carlo algorithms for matrices. III. Computing a compressed approximate matrix decomposition,\nSIAM J. Comput. 36 (2006), no. 1, 184\u2013206.","DOI":"10.1137\/S0097539704442702"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_014_w2aab3b7e1030b1b6b1ab2b1c14Aa","doi-asserted-by":"crossref","unstructured":"E. N. Elnozahy, L. Alvisi, Y. M. Wang and D. B. Johnson,\nA survey of rollback-recovery protocols in message-passing systems,\nACM Comput. Surv. 34 (2002), no. 3, 375\u2013408.","DOI":"10.1145\/568522.568525"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_015_w2aab3b7e1030b1b6b1ab2b1c15Aa","doi-asserted-by":"crossref","unstructured":"S. Eriksson-Bique, M. Solbrig, M. Stefanelli, S. Warkentin, R. Abbey and I. C. F. Ipsen,\nImportance sampling for a Monte Carlo matrix multiplication algorithm, with application to information retrieval,\nSIAM J. Sci. Comput. 33 (2011), no. 4, 1689\u20131706.","DOI":"10.1137\/10080659X"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_016_w2aab3b7e1030b1b6b1ab2b1c16Aa","unstructured":"R. Freivalds,\nProbabilistic machines can use less running time,\nInformation Processing 77,\nNorth-Holland, Amsterdam (1977), 839\u2013842."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_017_w2aab3b7e1030b1b6b1ab2b1c17Aa","doi-asserted-by":"crossref","unstructured":"K. Gallivan, W. Jalby and U. Meier,\nThe use of blas3 in linear algebra on a parallel processor with a hierarchical memory,\nSIAM J. Sci. Stat. Comp. 8 (1987), no. 6, 1079\u20131084.","DOI":"10.1137\/0908086"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_018_w2aab3b7e1030b1b6b1ab2b1c18Aa","doi-asserted-by":"crossref","unstructured":"L. Ga\u0327sieniec, C. Levcopoulos and A. Lingas,\nEfficiently correcting matrix products,\nAlgorithms and Computation,\nLecture Notes in Comput. Sci. 8889,\nSpringer, Cham (2014), 53\u201364.","DOI":"10.1007\/978-3-319-13075-0_5"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_019_w2aab3b7e1030b1b6b1ab2b1c19Aa","doi-asserted-by":"crossref","unstructured":"J. N. Glosli, D. F. Richards, K. J. Caspersen, R. E. Rudd, J. A. Gunnels and F. H. Streitz,\nExtending stability beyond cpu millennium: A micron-scale atomistic simulation of Kelvin\u2013Helmholtz instability,\nProceedings of the 2007 ACM\/IEEE conference on Supercomputing,\nACM, New York (2007), 1\u201311.","DOI":"10.1145\/1362622.1362700"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_020_w2aab3b7e1030b1b6b1ab2b1c20Aa","unstructured":"J. A. Gunnels, D. S. Katz, E. S. Quintana-Orti and R. A. Van de Gejin,\nFault-tolerant high-performance matrix multiplication: Theory and practice,\nProceedings of International Conference on Dependable Systems and Networks,\nIEEE Press, Piscataway (2001), 47\u201356."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_021_w2aab3b7e1030b1b6b1ab2b1c21Aa","doi-asserted-by":"crossref","unstructured":"N. Halko, P. G. Martinsson and J. A. Tropp,\nFinding structure with randomness: Probabilistic algorithms for constructing approximate matrix decompositions,\nSIAM Rev. 53 (2011), no. 2, 217\u2013288.","DOI":"10.1137\/090771806"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_022_w2aab3b7e1030b1b6b1ab2b1c22Aa","doi-asserted-by":"crossref","unstructured":"E. Hokenek, R. K. Montoye and P. W. Cook,\nSecond-generation risc floating point with multiply-add fused,\nIEEE J. Solid-State Circuits 25 (1990), no. 5, 1207\u20131213.","DOI":"10.1109\/4.62143"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_023_w2aab3b7e1030b1b6b1ab2b1c23Aa","doi-asserted-by":"crossref","unstructured":"K. H. Huang and J. A. Abraham,\nAlgorithm-based fault tolerance for matrix operations,\nIEEE Trans. Comput. 100 (1984), no. 6, 518\u2013528.","DOI":"10.1109\/TC.1984.1676475"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_024_w2aab3b7e1030b1b6b1ab2b1c24Aa","doi-asserted-by":"crossref","unstructured":"I. Korec and J. Wiedermann,\nDeterministic verification of integer matrix multiplication in quadratic time,\nSOFSEM 2014: Theory and Practice of Computer Science,\nLecture Notes in Comput. Sci. 8327,\nSpringer, Cham (2014), 375\u2013382.","DOI":"10.1007\/978-3-319-04298-5_33"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_025_w2aab3b7e1030b1b6b1ab2b1c25Aa","unstructured":"A. Kumar and J. L. Roch,\nAlgorithm-based secure and fault tolerant outsourcing of matrix computations, preprint (2013), https:\/\/hal.archives-ouvertes.fr\/hal-00876156\/file\/JC2S.pdf."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_026_w2aab3b7e1030b1b6b1ab2b1c26Aa","doi-asserted-by":"crossref","unstructured":"X. Lei, X. Liao, T. Huang and H. Li,\nCloud computing service: The case of large matrix determinant computation,\nIEEE Trans. Serv. Comput. 8 (2015), no. 5, 688\u2013700.","DOI":"10.1109\/TSC.2014.2331694"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_027_w2aab3b7e1030b1b6b1ab2b1c27Aa","doi-asserted-by":"crossref","unstructured":"J. L. Leva,\nA fast normal random number generator,\nACM Trans. Math. Softw. 18 (1992), no. 4, 449\u2013453.","DOI":"10.1145\/138351.138364"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_028_w2aab3b7e1030b1b6b1ab2b1c28Aa","doi-asserted-by":"crossref","unstructured":"Y. Li and M. Mascagni,\nGrid-based Monte Carlo application,\nProceedings of Grid Computing Third International Workshop\/Conference\u2014GRID02,\nSpringer, Berlin (2002), 13\u201325.","DOI":"10.1007\/3-540-36133-2_2"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_029_w2aab3b7e1030b1b6b1ab2b1c29Aa","unstructured":"Y. Li and M. Mascagni,\nImproving performance via computational replication on a large-scale computational grid,\nProceedings of the Third IEEE\/ACM International Symposium on Cluster Computing and the Grid,\nIEEE Press, Piscataway (2003), 442\u2013448."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_030_w2aab3b7e1030b1b6b1ab2b1c30Aa","doi-asserted-by":"crossref","unstructured":"Y. Li and M. Mascagni,\nAnalysis of large-scale grid-based Monte Carlo applications,\nInt. J. High Perform. Comput. Appl. 17 (2003), 369\u2013382.","DOI":"10.1177\/10943420030174003"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_031_w2aab3b7e1030b1b6b1ab2b1c31Aa","doi-asserted-by":"crossref","unstructured":"J. W. Lindeberg,\nEine neue Herleitung des Exponentialgesetzes in der Wahrscheinlichkeitsrechnung,\nMath. Z. 15 (1922), no. 1, 211\u2013225.","DOI":"10.1007\/BF01494395"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_032_w2aab3b7e1030b1b6b1ab2b1c32Aa","unstructured":"C. Lisboa, M. Erigson and L. Carro,\nA low cost checker for matrix multiplication, IEEE Latin-American Test Workshop, 2007."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_033_w2aab3b7e1030b1b6b1ab2b1c33Aa","doi-asserted-by":"crossref","unstructured":"F. T. Luk and H. Park,\nAn analysis of algorithm-based fault tolerance techniques,\nJ. Parallel Distrib. Comput. 5 (1988), no. 2, 172\u2013184.","DOI":"10.1016\/0743-7315(88)90027-5"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_034_w2aab3b7e1030b1b6b1ab2b1c34Aa","doi-asserted-by":"crossref","unstructured":"E. Lukacs and E. P. King,\nA property of the normal distribution,\nAnn. Math. Statistics 25 (1954), 389\u2013394.","DOI":"10.1214\/aoms\/1177728796"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_035_w2aab3b7e1030b1b6b1ab2b1c35Aa","doi-asserted-by":"crossref","unstructured":"S. E. Michalak, K. W. Harris, N. W. Hengartner, B. E. Takala and S. A. Wender,\nPredicting the number of fatal soft errors in los alamos national laboratory\u2019s asc q supercomputer,\nIEEE Trans Device Mater. Rel. 5 (2005), no. 3, 329\u2013335.","DOI":"10.1109\/TDMR.2005.855685"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_036_w2aab3b7e1030b1b6b1ab2b1c36Aa","doi-asserted-by":"crossref","unstructured":"R. J. Muirhead,\nAspects of Multivariate Statistical Theory,\nJohn Wiley & Sons, New York, 1982,","DOI":"10.1002\/9780470316559"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_037_w2aab3b7e1030b1b6b1ab2b1c37Aa","doi-asserted-by":"crossref","unstructured":"J. Naor and M. Naor,\nSmall-bias probability spaces: Efficient constructions and applications,\nSIAM J. Comput. 22 (1993), no. 4, 838\u2013856.","DOI":"10.1137\/0222053"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_038_w2aab3b7e1030b1b6b1ab2b1c38Aa","doi-asserted-by":"crossref","unstructured":"B. Schroeder, E. Pinheiro and W. D. Weber,\nDram errors in the wild: A large-scale field study,\nCommun. ACM 54 (2011), no. 2, 100\u2013107.","DOI":"10.1145\/1897816.1897844"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_039_w2aab3b7e1030b1b6b1ab2b1c39Aa","unstructured":"P. Shivakumar, M. Kistler, S. W. Keckler, D. Burger and L. Alvisi,\nModeling the effect of technology trends on the soft error rate of combinational logic,\nProceedings of International Conference on Dependable Systems and Networks,\nIEEE Press, Piscataway (2002), 389\u2013398."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_040_w2aab3b7e1030b1b6b1ab2b1c40Aa","unstructured":"A. J. Van de Goor,\nTesting Semiconductor Memories: Theory and Practice,\nJohn Wiley & Sons, New York, 1991."},{"key":"2023040102281283181_j_mcma-2020-2076_ref_041_w2aab3b7e1030b1b6b1ab2b1c41Aa","doi-asserted-by":"crossref","unstructured":"V. V. Williams,\nMultiplying matrices faster than Coppersmith\u2013Winograd,\nProceedings of the 2012 ACM Symposium on Theory of Computing\u2014STOC\u201912,\nACM, New York (2012), 887\u2013898.","DOI":"10.1145\/2213977.2214056"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_042_w2aab3b7e1030b1b6b1ab2b1c42Aa","doi-asserted-by":"crossref","unstructured":"W. Yu, Y. Gu and Y. Li,\nEfficient randomized algorithms for the fixed-precision low-rank matrix approximation,\nSIAM J. Matrix Anal. Appl. 39 (2018), no. 3, 1339\u20131359.","DOI":"10.1137\/17M1141977"},{"key":"2023040102281283181_j_mcma-2020-2076_ref_043_w2aab3b7e1030b1b6b1ab2b1c43Aa","unstructured":"B. Zhang and M. Mascagni,\nPass-efficient randomized LU algorithms for computing low-rank matrix approximation, preprint (2020), https:\/\/arxiv.org\/abs\/2002.07138."}],"container-title":["Monte Carlo Methods and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.degruyter.com\/view\/journals\/mcma\/26\/4\/article-p273.xml","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/mcma-2020-2076\/xml","content-type":"application\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/mcma-2020-2076\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,4,2]],"date-time":"2023-04-02T02:45:51Z","timestamp":1680403551000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.degruyter.com\/document\/doi\/10.1515\/mcma-2020-2076\/html"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,10,8]]},"references-count":43,"journal-issue":{"issue":"4","published-online":{"date-parts":[[2020,11,20]]},"published-print":{"date-parts":[[2020,12,1]]}},"alternative-id":["10.1515\/mcma-2020-2076"],"URL":"https:\/\/doi.org\/10.1515\/mcma-2020-2076","relation":{},"ISSN":["1569-3961","0929-9629"],"issn-type":[{"value":"1569-3961","type":"electronic"},{"value":"0929-9629","type":"print"}],"subject":[],"published":{"date-parts":[[2020,10,8]]}}}