{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,3,29]],"date-time":"2022-03-29T11:19:41Z","timestamp":1648552781001},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[1994,4,1]],"date-time":"1994-04-01T00:00:00Z","timestamp":765158400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. of Compt. Sci. & Technol."],"published-print":{"date-parts":[[1994,4]]},"DOI":"10.1007\/bf02939495","type":"journal-article","created":{"date-parts":[[2008,9,3]],"date-time":"2008-09-03T04:53:11Z","timestamp":1220417591000},"page":"144-152","source":"Crossref","is-referenced-by-count":2,"title":["Granularity analysis for exploiting adaptive parallelism of declarative programs on multiprocessors"],"prefix":"10.1007","volume":"9","author":[{"given":"Xinmin","family":"Tian","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dingxing","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Meiming","family":"Shen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Weimin","family":"Zheng","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dongchan","family":"Wen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"BF02939495_CR1","unstructured":"Chang J H, DeGroot D. AND-parallelism of logic programs based on static data dependency analysis. In: Proc. of the 30th IEEE Conputer Society Int'l Conf., Feb. 1985, 218\u2013226."},{"issue":"1","key":"BF02939495_CR2","doi-asserted-by":"crossref","first-page":"43","DOI":"10.1007\/BF03037115","volume":"3","author":"J S Conery","year":"1985","unstructured":"Conery J S, Kibler D F. AND-parallel and non-determinism in logic program. New Generation Computer, 1985, 3(1): 43\u201370.","journal-title":"New Generation Computer"},{"key":"BF02939495_CR3","unstructured":"DeGroot D. Restricted AND-parallelism. In: Proc. of Int'l Conf. on Fifth Generation Computer System, 1984, 47, Tokyo."},{"issue":"5","key":"BF02939495_CR4","doi-asserted-by":"crossref","first-page":"425","DOI":"10.1007\/BF01383883","volume":"17","author":"B E Goldberg","year":"1988","unstructured":"Goldberg B E. Multiprocessor execution of functional programs. International Journal of Parallel Programming, 1988, 17(5): 425\u2013473.","journal-title":"International Journal of Parallel Programming"},{"key":"BF02939495_CR5","doi-asserted-by":"crossref","unstructured":"Hudak P, Goldberg B E. Serial combinator: optimal grains of parallelism. LNCS 201, Springer-Verlag, Sept. 1985, 382\u2013388.","DOI":"10.1007\/3-540-15975-4_49"},{"key":"BF02939495_CR6","doi-asserted-by":"crossref","unstructured":"McCreary C, Gill H. Automatic determination of grain size for efficient parallel processing. Communication of ACM, Sept. 1989, 1073\u20131078.","DOI":"10.1145\/66451.66454"},{"key":"BF02939495_CR7","volume-title":"Introduction to standard ML","author":"R Milner","year":"1987","unstructured":"Milner R, Mitchell. Introduction to standard ML. Computer Science Department, University of Edinburgh, 1987, UK."},{"key":"BF02939495_CR8","series-title":"Internal Report SYSC88-05","volume-title":"A high-level parallel implementation of PARLOG","author":"G A Papadopoulos","year":"1988","unstructured":"Papadopoulos G A. A high-level parallel implementation of PARLOG. Internal Report SYSC88-05, University of East Anglia, 1988, UK."},{"key":"BF02939495_CR9","volume-title":"Partitioning and Scheduling Parallel Programs for Multiprocessors","author":"V Sarkar","year":"1989","unstructured":"Sarkar V. Partitioning and Scheduling Parallel Programs for Multiprocessors. London: Pitman, 1989."},{"issue":"5","key":"BF02939495_CR10","first-page":"1","volume":"2","author":"X M Tian","year":"1991","unstructured":"Tian X M, Wang D X, Shen M M, Zheng W M. A practical eager-lazy control method for dynamic deriving parallel tasks (in Chinese). Journal of Software, 1991, 2(5):1\u20138.","journal-title":"Journal of Software"},{"key":"BF02939495_CR11","unstructured":"Tian X M, Wang D X, Shen M M, Zheng W M. An optimized parallel compiler for executing declarative programs on transputer array. In: Proc. of 15th World Transputer\/Occam Conference, Apr. 1992 Aberdeen, UK."},{"key":"BF02939495_CR12","unstructured":"Tian X M, Wang D X, Shen M M, Zheng W M. A parallel graph rewriting abstract machine and its efficient execution mechanism. In: Proc. of 1992 National Intelligent Information Technical Conference, Apr. 1992, Beijing."},{"key":"BF02939495_CR13","unstructured":"Tian X M, Wang D X, Shen M M, Zheng W M. Heuristic compile-time granularity analysis of parallel graph rewriting language CGRL. Technical Report TR-9207-01, Tsinghua University, July 1992."},{"key":"BF02939495_CR14","unstructured":"Tick E. Compile-time granularity analysis for parallel logic programming languages. In: Proc. of Int'l Conf. on Fifth Generation Computer Systems, Nov. 1988, 494\u20131000, Tokyo, Japan."},{"key":"BF02939495_CR15","unstructured":"Wang D Xet al. A high-level compiling implementation of PARLOG based on extended graph rewriting. In: Proc. of Tools for Artifitial Intelligence 90, Washington D C, Nov. 1990."},{"key":"BF02939495_CR16","unstructured":"Zhou G M, Tian X M, Wang D X, Wen D C. Strictness analysis based on projection. In: Proc. of 5th National Logic Programming Languages Conference, Oct. 1991, 8\u201314, Changsha, China."}],"container-title":["Journal of Computer Science and Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939495.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF02939495\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF02939495","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T22:59:12Z","timestamp":1558565952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF02939495"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,4]]},"references-count":16,"journal-issue":{"issue":"2","published-print":{"date-parts":[[1994,4]]}},"alternative-id":["BF02939495"],"URL":"https:\/\/doi.org\/10.1007\/bf02939495","relation":{},"ISSN":["1000-9000","1860-4749"],"issn-type":[{"value":"1000-9000","type":"print"},{"value":"1860-4749","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,4]]}}}