{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:00:14Z","timestamp":1725663614483},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540534792"},{"type":"electronic","value":"9783540468974"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-53479-2_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:05:21Z","timestamp":1330207521000},"page":"142-175","source":"Crossref","is-referenced-by-count":3,"title":["Towards a semantic approach to SIMD architectures and their languages"],"prefix":"10.1007","author":[{"given":"Luc","family":"Boug\u00e9","sequence":"first","affiliation":[]},{"given":"Patrick","family":"Garda","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,4]]},"reference":[{"key":"6_CR1","unstructured":"Auguin, M., Boeri, F. The Opsila Computer. In: Parallel Algorithms and Architectures, Cosnard, M. et al. (Eds), Elsevier Science Publishers, 1986, pp. 143\u2013153."},{"issue":"9","key":"6_CR2","doi-asserted-by":"crossref","first-page":"836","DOI":"10.1109\/TC.1980.1675684","volume":"29","author":"K. Batcher","year":"1979","unstructured":"Batcher, K. The design of a Massively Parallel Processor. IEEE Trans. on Computers C-29, 9, 1979, pp. 836\u2013840.","journal-title":"IEEE Trans. on Computers"},{"key":"6_CR3","volume-title":"On the semantics of languages for massively parallel SIMD architectures. Rept. No. 90-13","author":"L. Boug\u00e9","year":"1990","unstructured":"Boug\u00e9, L. On the semantics of languages for massively parallel SIMD architectures. Rept. No. 90-13, LIENS, Paris, 1990."},{"key":"6_CR4","unstructured":"Connection Machine Model CM-2 Technical Summary. Techn. Rept. HA 87-4, Thinking Machine Corp., 1987."},{"issue":"9","key":"6_CR5","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":"6_CR6","unstructured":"Fountain, T.J. CLIP4: A Progress Report. In: Languages and Architectures for Image Processing, Duff, M.J.B., Levialdi, S. (Eds), Academic Press, 1981, pp. 283\u2013291."},{"key":"6_CR7","unstructured":"Fountain, T.J. A Survey of Bit-Serial Array Processor Circuit. In: Computing Structures for Image Processing, Duff, M.J.B. (Ed), Academic Press, 1983, pp. 1\u201314."},{"issue":"8","key":"6_CR8","doi-asserted-by":"crossref","first-page":"752","DOI":"10.1145\/6424.6427","volume":"29","author":"K. Frenkel","year":"1986","unstructured":"Frenkel, K. Evaluating two massively parallel machines. Comm. ACM 29, 8, 1986, pp. 752\u2013758.","journal-title":"Comm. ACM"},{"key":"6_CR9","unstructured":"Gerritsen, F.A. A comparison of the CLIP4, DAP and MPP processor-array implementations. In: Computing Structures for Image Processing, Duff, M.J.B. (Ed), Academic Press, 1983, pp. 15\u201330."},{"issue":"10","key":"6_CR10","doi-asserted-by":"crossref","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C.A.R. Hoare","year":"1969","unstructured":"Hoare, C.A.R. An axiomatic basis for computer programming. Comm. ACM 12, 10, 1969, pp. 576\u2013580, 583.","journal-title":"Comm. ACM"},{"key":"6_CR11","volume-title":"The Connection Machine","author":"W.D. Hillis","year":"1985","unstructured":"Hillis, W.D. The Connection Machine. MIT Press, Cambridge, Mass., 1985."},{"key":"6_CR12","unstructured":"Hunt, D.J. The ICL DAP and its application to image processing. In: Languages and Architectures for Image Processing, Duff, M.J.B., Levialdi, S. (Eds), Academic Press, 1981, pp. 275\u2013282."},{"key":"6_CR13","unstructured":"Lua, K.T., Wong, W.F. Geometric Arithmetic Parallel Processor \u2014 An Evaluation. Proc. Interdepartment Seminar on Supercomputers and Applications, Publ. TRIO\/87, Dept. Information Systems and Comp. Science, Nat. Univ. Singapore, 1987, pp. 44\u201361."},{"issue":"3","key":"6_CR14","doi-asserted-by":"crossref","first-page":"420","DOI":"10.1145\/44501.44504","volume":"10","author":"E.-R. Olderog","year":"1988","unstructured":"Olderog, E.-R., Apt, K. Fairness in parallel programs: the transformational approach. ACM Trans. on Progr. Lang. and Systems 10, 3, 1988, pp. 420\u2013455.","journal-title":"ACM Trans. on Progr. Lang. and Systems"},{"key":"6_CR15","volume-title":"D\u00e9finition de POMPC","author":"N. Paris","year":"1989","unstructured":"Paris, N. D\u00e9finition de POMPC. Typescript, LIENS, Paris, 1989."},{"key":"6_CR16","unstructured":"ParIS: The C Interface. Reference Manual. Thinking Machine Corporation, 1987."},{"issue":"2","key":"6_CR17","doi-asserted-by":"crossref","first-page":"177","DOI":"10.1145\/357073.357075","volume":"1","author":"R.H. Perrott","year":"1979","unstructured":"Perrott, R.H. A language for array and vector processors. ACM Trans. Progr. Lang. 1, 2, 1979, pp. 177\u2013195.","journal-title":"ACM Trans. Progr. Lang."},{"key":"6_CR18","unstructured":"Reeves, R.W. Parallel Pascal and the Massively Parallel Processor. In: The Massively Parallel Processor, Potter, J.L. (Ed), MIT Press, 1985, pp. 230\u2013260."},{"key":"6_CR19","unstructured":"Hockney, R.W., Jesshope, C.R. Parallel Computers 2: Architectures, Programming and Algorithms. IOP Publishing Ltd, 1988."},{"key":"6_CR20","unstructured":"Steele, G.H., Hillis, W.D. Connection Machine Lisp: Fine-Grain Parallel Symbolic Processing. Proc. 1986 ACM Conf. on Lisp and Funct. Progr., Cambridge, MA, 1986, pp. 279\u2013297."},{"key":"6_CR21","unstructured":"*Lisp Language Reference Manual. Thinking Machine Corporation, 1988."}],"container-title":["Lecture Notes in Computer Science","Semantics of Systems of Concurrent Processes"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53479-2_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:12:42Z","timestamp":1619572362000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53479-2_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540534792","9783540468974"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-53479-2_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}