{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,5]],"date-time":"2022-04-05T06:13:14Z","timestamp":1649139194818},"reference-count":28,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[1988,9,1]],"date-time":"1988-09-01T00:00:00Z","timestamp":589075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["BIT"],"published-print":{"date-parts":[[1988,9]]},"DOI":"10.1007\/bf01941132","type":"journal-article","created":{"date-parts":[[2005,7,31]],"date-time":"2005-07-31T10:23:42Z","timestamp":1122805422000},"page":"530-551","source":"Crossref","is-referenced-by-count":0,"title":["The semantics and complexity of parallel programs for vector computations. Part I: A case study using ADA"],"prefix":"10.1007","volume":"28","author":[{"given":"Edward K.","family":"Blum","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF01941132_CR1","unstructured":"Kai Wang,Supercomputer architectures, USC Computer Research Institute Report CRI 87-22, Mar. 25, 1987."},{"key":"BF01941132_CR2","unstructured":"Larry Snyder and Z. Segall, Eds.:Proc. Workshop on Performance Efficient Parallel Programming, Seven Springs, Pa., Sept. 1986, CMU Reports 86-180, 181."},{"key":"BF01941132_CR3","unstructured":"CRAY Fortran Manual."},{"key":"BF01941132_CR4","doi-asserted-by":"crossref","unstructured":"G. Rodrigue, E. Giroux, and M. Pratt,Perspectives on large-scale scientific computation, Computer (IEEE), Oct. 1980, 65\u201380.","DOI":"10.1109\/MC.1980.1653379"},{"key":"BF01941132_CR5","doi-asserted-by":"crossref","unstructured":"W. Gentleman,Some complexity results for matrix computation on parallel processors, JACM, Jan. 1978, 112\u2013115.","DOI":"10.1145\/322047.322057"},{"key":"BF01941132_CR6","unstructured":"T. Agerwala and B. Lint,Communication in parallel algorithms for boolean matrix multiplication, Proc. IEEE Conference on Parallel Processing, Aug. 1978, 146\u2013153."},{"key":"BF01941132_CR7","doi-asserted-by":"crossref","unstructured":"J. J. Dongarra et al.,LINPACK User's Guide, SIAM 1979.","DOI":"10.1137\/1.9781611971811"},{"key":"BF01941132_CR8","doi-asserted-by":"crossref","unstructured":"C. Lawson, R. Hanson, D. Kincaid, and F. Krough,Basic linear algebra program for Fortran usage, ACM Trans. Math. Software, 1979.","DOI":"10.1145\/355841.355847"},{"key":"BF01941132_CR9","unstructured":"Reference Manual for the Ada Programming Language, U.S. Dept. Defense, July 1982."},{"key":"BF01941132_CR10","unstructured":"Proc. Conference on Programming Languages and Compilers for Parallel and Vector Machines, SIGPLAN Notices, March 1975."},{"key":"BF01941132_CR11","unstructured":"C. W. Wetherell,LWG Fortran Manual, Draft, July 21, 1981."},{"key":"BF01941132_CR12","unstructured":"George Paul,VECTRAN and the proposed vector\/array extensions to ANSI Fortran, IBM Research Report RC 9223, Jan. 21, 1982."},{"key":"BF01941132_CR13","unstructured":"ANSI X3J3 Committee Composite Array Proposal, Version 78, May 18, 1981."},{"key":"BF01941132_CR14","volume-title":"Numerical Analysis and Computation: Theory and Practice","author":"E. K. Blum","year":"1972","unstructured":"E. K. Blum,Numerical Analysis and Computation: Theory and Practice, Addison-Wesley, Reading, Mass. 1972."},{"key":"BF01941132_CR15","unstructured":"E. K. Blum,Ada-based architectures for parallel vector computation, TRW Report DSG-TR1, Mar. 31, 1983."},{"key":"BF01941132_CR16","doi-asserted-by":"crossref","first-page":"740","DOI":"10.1137\/1020096","volume":"20","author":"D. Heller","year":"1978","unstructured":"D. Heller,A survey of parallel algorithms in numerical linear algebra, SIAM Rev. 20, 1978, 740\u2013777.","journal-title":"SIAM Rev."},{"key":"BF01941132_CR17","doi-asserted-by":"crossref","first-page":"701","DOI":"10.1109\/T-C.1975.224291","volume":"C-24","author":"S. C. Chen","year":"1975","unstructured":"S. C. Chen and D. Kuck,Time and parallel processor bounds for linear recurrence systems, IEEE Trans. Comp., v. C-24, 1975, 701\u2013717.","journal-title":"IEEE Trans. Comp."},{"key":"BF01941132_CR18","doi-asserted-by":"crossref","unstructured":"L. Csanky,Fast parallel matrix inversion algorithms, Proc. 16th Symp. on Foundations of Computer Science, Oct. 1975.","DOI":"10.1109\/SFCS.1975.14"},{"key":"BF01941132_CR19","doi-asserted-by":"crossref","unstructured":"H. T. Kung,The structure of parallel algorithms, inAdvances in Computers, v. 19, 1980, Academic Press, 65\u2013111.","DOI":"10.1016\/S0065-2458(08)60033-9"},{"key":"BF01941132_CR20","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/321738.321741","volume":"20","author":"H. S. Stone","year":"1973","unstructured":"H. S. Stone,An efficient parallel algorithm for the solution of a tridiagonal linear system of equations, JACM, v. 20, 1973, 27\u201338.","journal-title":"JACM"},{"key":"BF01941132_CR21","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1145\/322047.322054","volume":"25","author":"A. H. Sameh","year":"1978","unstructured":"A. H. Sameh and D. Kuck,On stable parallel linear system solvers, JACM, 25, Jan. 1978, 81\u201391.","journal-title":"JACM"},{"key":"BF01941132_CR22","doi-asserted-by":"crossref","first-page":"632","DOI":"10.1109\/TC.1980.1675634","volume":"C-29","author":"O. Wing","year":"1980","unstructured":"O. Wing and J. W. Huang,A computational model of parallel solution of linear equations, IEEE Trans. Comp., C-29, July 1980, 632\u2013638.","journal-title":"IEEE Trans. Comp."},{"key":"BF01941132_CR23","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/322358.322366","volume":"30","author":"R. E. Lord","year":"1983","unstructured":"R. E. Lord, J. S. Kowalik, and S. P. Kumar,Solving linear algebraic equations on an MIMD computer, JACM, 30, Jan. 1983, 103\u2013117.","journal-title":"JACM"},{"key":"BF01941132_CR24","unstructured":"J. B. Smith,A pipelined shared resource MIMD computer, Int. Conf. on Parallel Processing, Detroit, Mich., Aug. 1978, 6\u20138."},{"key":"BF01941132_CR25","unstructured":"A. H. Sameh,Numerical parallel algorithms, inHigh Speed Computer and Algorithm Organization, Ed. D. Kuck, D. Lawrie, Academic Press, 1977."},{"key":"BF01941132_CR26","unstructured":"E. K. Blum,Programming parallel numerical algorithms in Ada, Proc. IFIP Conference on the Relationship Between Numerical Computation and Programming Language, North-Holland, 1982."},{"key":"BF01941132_CR27","doi-asserted-by":"crossref","unstructured":"F. Belz, E. K. Blum, and D. Heimbigner,A multiprocessing implementation-oriented formal definition of Ada in SEMANOL, SIGPLAN Notices, Dec. 1980, Symp. on the Ada Language.","DOI":"10.1145\/800004.807951"},{"key":"BF01941132_CR28","doi-asserted-by":"crossref","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R. Milner","year":"1983","unstructured":"R. Milner,Calculi for Synchrony and Asynchrony, Theoretical Computer Science 25, 1983, 267\u2013310.","journal-title":"Theoretical Computer Science"}],"container-title":["BIT"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941132.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01941132\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01941132","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,8]],"date-time":"2020-04-08T13:26:59Z","timestamp":1586352419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01941132"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988,9]]},"references-count":28,"journal-issue":{"issue":"3","published-print":{"date-parts":[[1988,9]]}},"alternative-id":["BF01941132"],"URL":"https:\/\/doi.org\/10.1007\/bf01941132","relation":{},"ISSN":["0006-3835","1572-9125"],"issn-type":[{"value":"0006-3835","type":"print"},{"value":"1572-9125","type":"electronic"}],"subject":[],"published":{"date-parts":[[1988,9]]}}}