{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:16:13Z","timestamp":1725664573163},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540616269"},{"type":"electronic","value":"9783540706335"}],"license":[{"start":{"date-parts":[[1996,1,1]],"date-time":"1996-01-01T00:00:00Z","timestamp":820454400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1996]]},"DOI":"10.1007\/3-540-61626-8_18","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:04:44Z","timestamp":1330293884000},"page":"145-150","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A refinement methodology for developing data-parallel applications"],"prefix":"10.1007","author":[{"given":"Lars","family":"Nyland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Prins","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Allen","family":"Goldberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Peter","family":"Mills","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"John","family":"Reif","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Robert","family":"Wagner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"18_CR1","unstructured":"B. Alpern, L. Carter, and E. Feig. Uniform memory hierarchies. In Proc. Foundations of Computer Science, 1990."},{"key":"18_CR2","unstructured":"John K. Antonio. Architectural influences on task scheduling: A case study implementation of the jpda algorithm. Technical Report RL-TR-94-200, Rome Laboratory, Nov. 1994."},{"issue":"8","key":"18_CR3","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"J. Backus. Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Comm. of the ACM, 21(8):613\u2013641, 1978.","journal-title":"Comm. of the ACM"},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"Guy E. Blelloch. Programming parallel algorithms. CACM, 39(3), Mar. 1996.","DOI":"10.1145\/227234.227246"},{"key":"18_CR5","unstructured":"David C. Cann. SISAL 1.2: A brief introduction and tutorial. Technical report, Lawrence Livermore National Laboratory, 1993."},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"D. Culler, R. Karp, D. Patterson, A. Sahay, K. E. Schauser, E. Santos, R. Subramonian, and T. von Eicken. LogP: Towards a realistic model of parallel computation. In Proc. Symposium on Principles and Practice of Parallel Programming, 1993.","DOI":"10.1145\/155332.155333"},{"key":"18_CR7","unstructured":"Ian Foster. Designing and building parallel programs. Addison Wesley, 1995."},{"key":"18_CR8","unstructured":"Richard A. Games, John D. Ramsdell, and Joseph J. Rushanan. Techniques for real-time parallel processing: Sensor processing case studies. Technical Report MTR 93B0000186, MITRE, April 1994."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Allen Goldberg, Peter Mills, Lars Nyland, Jan Prins, John Reif, and James Riely. Specification and development of parallel algorithms with the proteus system. In G. Blelloch, M. Chandy, and S. Jagannathan, editors, Specification of Parallel Algorithms. American Mathematical Society, 1994.","DOI":"10.1090\/dimacs\/018\/23"},{"key":"18_CR10","unstructured":"Lars S.Nyland, Jan F.Prins, Allen T. Goldberg, Peter H. Mills, John H. Reif, and Robert A. Wagner. A design methodology for data-parallel applications. Technical report, Univ. of N. Carolina, 1995. Available as http:\/www.cs.unc.edu\/Research\/aipdesign."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"Jan Prins and Daniel Palmer. Transforming high-level data-parallel programs into vector operations. In Proceedings of Principles and Practice of Parallel Programming, pages 119\u2013128, San Diego, CA, 1993.","DOI":"10.1145\/173284.155345"},{"issue":"8","key":"18_CR12","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/79173.79181","volume":"33","author":"L. G. Valiant","year":"1990","unstructured":"Leslie G Valiant. A bridging model for parallel computation. CACM, 33(8):103, August 1990.","journal-title":"CACM"},{"key":"18_CR13","volume-title":"Technical report","author":"R. A. Wagner","year":"1995","unstructured":"Robert A. Wagner. Task parallel implementation of the jpda algorithm. Technical report, Department of Computer Science, Duke University, Durham, NC 27708-0129, June 1995."},{"issue":"1","key":"18_CR14","doi-asserted-by":"publisher","first-page":"458","DOI":"10.1109\/7.366327","volume":"31","author":"B. Zhou","year":"1995","unstructured":"B. Zhou and N. K. Bose. An efficient algorithm for data association in multitarget tracking. IEEE Trans. on Aerospace and Electronic Systems, 31(1):458\u2013468, 1995.","journal-title":"IEEE Trans. on Aerospace and Electronic Systems"}],"container-title":["Lecture Notes in Computer Science","Euro-Par'96 Parallel Processing"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-61626-8_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,20]],"date-time":"2020-04-20T00:23:03Z","timestamp":1587342183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-61626-8_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1996]]},"ISBN":["9783540616269","9783540706335"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-61626-8_18","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1996]]},"assertion":[{"value":"8 June 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}