{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:57Z","timestamp":1725663777624},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/3-540-55253-7_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:49Z","timestamp":1330250209000},"page":"341-350","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Using the Centaur system for data-parallel SIMD programming: a case study"],"prefix":"10.1007","author":[{"given":"Jean-Luc","family":"Levaire","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"20_CR1","first-page":"20","volume-title":"Proc. of the 35th IEEE Computer Society Int. Conf.","author":"T. Blank","year":"1990","unstructured":"Blank T. The MasPar MP-1 Architecture. Proc. of the 35th IEEE Computer Society Int. Conf. (Spring Compcon 90), San Fransisco, 1990, pp. 20\u201324."},{"key":"20_CR2","doi-asserted-by":"crossref","unstructured":"Boug\u00e9 L. On the semantics of languages for massively parallel SIMD architectures. Proc. Parallel Arch. and Lang. Europe Conf. (PARLE), Eindhoven, Lect. Notes in Comp. Science 506, Springer Verlag, 1991, pp. 166\u2013183.","DOI":"10.1007\/3-540-54152-7_64"},{"key":"20_CR3","doi-asserted-by":"crossref","unstructured":"Boug\u00e9 L., Garda P. Towards a Semantic Approach to SIMD Architectures and their Languages. Semantics of Systems of Concurrent Processes, Proc. LITP Spring School on Theor. Comp. Science, La Roche Posay, France, 1990, Lect. Notes in Comp. Science 469, Springer Verlag, pp. 142\u2013175.","DOI":"10.1007\/3-540-53479-2_6"},{"key":"20_CR4","unstructured":"Chailloux J., et al. LeLisp v15.2: Le manuel de r\u00e9f\u00e9rence. INRIA, 1986."},{"key":"20_CR5","unstructured":"C* Programming Guide. Thinking Machine Corporation, 1990."},{"key":"20_CR6","volume-title":"Report CS-R91","author":"A. Deursen Van","year":"1991","unstructured":"Van Deursen A. An algebraic specification for the static semantics of Pascal. Report CS-R91, Centrum voor Wiskunde en Informatica (CWI), Amsterdam, 1991."},{"issue":"9","key":"20_CR7","doi-asserted-by":"crossref","first-page":"948","DOI":"10.1109\/TC.1972.5009071","volume":"21","author":"M. J. Flynn","year":"1972","unstructured":"Flynn M.J. Some Computer Organizations and Their Effectiveness. IEEE Trans. on Computers C-21, 9, 1972, pp 948\u2013960.","journal-title":"IEEE Trans. on Computers"},{"key":"20_CR8","unstructured":"Hendriks P.R.H. Typechecking Mini-ML. ACM Press Frontier Series. The ACM Press in co-operation with Addison-Wesley, 1989, pp 299\u2013337."},{"key":"20_CR9","unstructured":"Hillis W.D. The Connection Machine. MIT Press, 1985."},{"key":"20_CR10","doi-asserted-by":"crossref","unstructured":"Hoogvorst P., Keryell R., Matherat P., Paris N. POMP or how to design a massively parallel machine with small developments. Proc. Parallel Arch. and Arch. Europe Conf. (PARLE), Eindhoven, Lect. Notes in Comp. Science 505, Springer Verlag, 1991, pp. 83\u2013100.","DOI":"10.1007\/978-3-662-25209-3_7"},{"key":"20_CR11","unstructured":"MasPar Parallel Application Language Reference Manual. MasPar Computer Corporation, 1990."},{"key":"20_CR12","unstructured":"MasPar Programming Environment Reference Manual. MasPar Computer Corporation, 1991."},{"key":"20_CR13","unstructured":"Naish L. Mu-Prolog 3.2 Reference Manual. Tech. Rept. 85, University of Melbourne, 1987."},{"key":"20_CR14","volume-title":"D\u00e9finition de POMPC (version 1.9)","author":"N. Paris","year":"1991","unstructured":"Paris N. D\u00e9finition de POMPC (version 1.9). Draft Version, LIENS, Paris, 1991.","edition":"Draft Version"},{"key":"20_CR15","unstructured":"Plotkin G. An operational semantics for CSP. D. Bjorner (Ed.), Formal description of programming concepts, IFIP TC-2 Working Conference, Garmish-Partenkirchen, RFA, 1982."},{"key":"20_CR16","volume-title":"Master's Thesis","author":"G. E. Utard","year":"1991","unstructured":"Utard G.E. Un syst\u00e8me axiomatique pour les languages massivement parall\u00e8les SIMD. Master's Thesis, LIP, ENS Lyon, 1991."},{"key":"20_CR17","unstructured":"Centaur Reference Manual. Sema Group, 1990."}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_20","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T12:20:12Z","timestamp":1558268412000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}