{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,31]],"date-time":"2022-03-31T18:39:51Z","timestamp":1648751991713},"reference-count":26,"publisher":"Elsevier BV","issue":"2-3","license":[{"start":{"date-parts":[[1992,4,1]],"date-time":"1992-04-01T00:00:00Z","timestamp":702086400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.elsevier.com\/tdm\/userlicense\/1.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Future Generation Computer Systems"],"published-print":{"date-parts":[[1992,4]]},"DOI":"10.1016\/0167-739x(92)90009-z","type":"journal-article","created":{"date-parts":[[2003,9,3]],"date-time":"2003-09-03T15:40:25Z","timestamp":1062603625000},"page":"221-229","source":"Crossref","is-referenced-by-count":0,"title":["Problem-solving environments for parallel computers"],"prefix":"10.1016","volume":"7","author":[{"given":"David A","family":"Padua","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"78","reference":[{"issue":"5","key":"10.1016\/0167-739X(92)90009-Z_BIB1","doi-asserted-by":"crossref","first-page":"341","DOI":"10.1109\/TC.1981.1675792","article-title":"On the performance enhancement of paging systems through program analysis and transformation","author":"Abu-Sufah","year":"1981","journal-title":"IEEE Trans. Comput. C-30"},{"issue":"2","key":"10.1016\/0167-739X(92)90009-Z_BIB2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1109\/32.21743","article-title":"Formal program construction by transformations-computer-aided, intuition-guided programming","volume":"15","author":"Bauer","year":"1989","journal-title":"IEEE Trans. Software Eng."},{"key":"10.1016\/0167-739X(92)90009-Z_BIB3","series-title":"Proc. 2nd ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming","first-page":"21","article-title":"Analysis of event synchronization in a parallel programming tool","author":"Callahan","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB4","series-title":"Proc. 17th Annual Internat. Symp. on Computer Architecture","first-page":"239","article-title":"The impact of synchronization and granularity on parallel systems","author":"Chen","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB5","series-title":"Rept. No. UICD-21482","article-title":"ALPAL - A tool for the development of large-scale simulation codes","author":"Cook","year":"1988"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB6","series-title":"Proc. 2nd ACM SIGPLAN Symp. on Principles and Practice of Parallel Programming","first-page":"1","article-title":"An empirical comparison of monitoring algorithms for access anomaly detection","author":"Dinning","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB7","series-title":"Proc. Joint Conf. on Vector and Parallel Processing","article-title":"Cedar Fortran and its compiler","author":"Eigenmann","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB8","series-title":"Proc. Workshop on Parallel and Distributed Debugging","first-page":"89","article-title":"Automatic detection of non-determinacy in parallel programs","volume":"24","author":"Emrath","year":"1989"},{"issue":"2","key":"10.1016\/0167-739X(92)90009-Z_BIB9","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1137\/0901017","article-title":"Automatic computer code generation for hyperbolic and parabolic differential equations","volume":"1","author":"Engquist","year":"1980","journal-title":"SIAM J. Sci. Stat. Comput."},{"key":"10.1016\/0167-739X(92)90009-Z_BIB10","series-title":"Performance and Evaluation of Lisp Systems","author":"Gabriel","year":"1985"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB11","article-title":"Compile-time analysis for data prefetching","author":"Gornish","year":"1989"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB12","doi-asserted-by":"crossref","DOI":"10.1007\/BF00162342","article-title":"Cedar Fortran and other vector and parallel Fortran dialects","author":"Guzzi","year":"1990","journal-title":"J. Supercomputing"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB13","doi-asserted-by":"crossref","DOI":"10.1145\/4472.4478","article-title":"Multilisp: a language for concurrent symbolic computation","author":"Halstead","year":"1985","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"10.1016\/0167-739X(92)90009-Z_BIB14","doi-asserted-by":"crossref","DOI":"10.1007\/BF01808954","article-title":"The interprocedural analysis and automatic parallelization of scheme programs","author":"Harrison","year":"1989"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB15","series-title":"Proc. 1988 Internat. Conf. on Supercomputing","first-page":"527","article-title":"PARCEL: Project for the automatic restructuring and concurrent evaluation of Lisp","author":"Harrison","year":"1988"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB16","series-title":"Rept. No. UCRL-98057","article-title":"FIDIL: a language for scientific programming","author":"Hilfinger","year":"1988"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB17","series-title":"Proc. 1990 Internat. Conf. on Supercomputing","first-page":"96","article-title":"\/\/Ellpack: a numerical simulation programming environment for parallel MIMD machines","author":"Houstis","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB18","series-title":"Proc. 1986 Internat. Conf. on Parallel Processing","first-page":"429","article-title":"Optimizing matrix operations on a parallel multiprocessor with a memory hierarchy","author":"Jalby","year":"1986"},{"issue":"1","key":"10.1016\/0167-739X(92)90009-Z_BIB19","first-page":"15","article-title":"Automatic code generation method of DEQSOL (Differential EQuation SOlver Language)","volume":"11","author":"Konno","year":"1987","journal-title":"J. Inf. Process"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB20","doi-asserted-by":"crossref","first-page":"967","DOI":"10.1126\/science.231.4741.967","article-title":"Parallel supercomputing today and the Cedar approach","volume":"201","author":"Kuck","year":"1986","journal-title":"Science"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB21","doi-asserted-by":"crossref","first-page":"153","DOI":"10.1145\/362875.362879","article-title":"Organizing matrices and matrix operations for paged memory systems commun.","volume":"12","author":"McKellar","year":"1969","journal-title":"ACM"},{"issue":"12","key":"10.1016\/0167-739X(92)90009-Z_BIB22","doi-asserted-by":"crossref","first-page":"1485","DOI":"10.1109\/TC.1987.5009499","article-title":"Compiler algorithms for synchronization","author":"Midkiff","year":"1987","journal-title":"IEEE Trans. Comput. C-36"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB23","series-title":"Proc. 1990 Internat. Conf. on Parallel Processing","article-title":"Issues in the compile-time optimization of parallel programs","author":"Midkiff","year":"1990"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB24","article-title":"Preliminary design of the delta system","author":"Padua","year":"1989"},{"issue":"12","key":"10.1016\/0167-739X(92)90009-Z_BIB25","doi-asserted-by":"crossref","first-page":"1184","DOI":"10.1145\/7902.7904","article-title":"Advanced compiler optimizations for supercomputers","volume":"29","author":"Padua","year":"1986","journal-title":"Commun. ACM"},{"key":"10.1016\/0167-739X(92)90009-Z_BIB26","series-title":"Solving Elliptic Problems Using ELLPACK","author":"Rice","year":"1985"}],"container-title":["Future Generation Computer Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290009Z?httpAccept=text\/xml","content-type":"text\/xml","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/api.elsevier.com\/content\/article\/PII:0167739X9290009Z?httpAccept=text\/plain","content-type":"text\/plain","content-version":"vor","intended-application":"text-mining"}],"deposited":{"date-parts":[[2019,2,25]],"date-time":"2019-02-25T12:50:24Z","timestamp":1551099024000},"score":1,"resource":{"primary":{"URL":"https:\/\/linkinghub.elsevier.com\/retrieve\/pii\/0167739X9290009Z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992,4]]},"references-count":26,"journal-issue":{"issue":"2-3","published-print":{"date-parts":[[1992,4]]}},"alternative-id":["0167739X9290009Z"],"URL":"https:\/\/doi.org\/10.1016\/0167-739x(92)90009-z","relation":{},"ISSN":["0167-739X"],"issn-type":[{"value":"0167-739X","type":"print"}],"subject":[],"published":{"date-parts":[[1992,4]]}}}