{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:13:44Z","timestamp":1725664424438},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540584308"},{"type":"electronic","value":"9783540487890"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-58430-7_45","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T16:04:08Z","timestamp":1330272248000},"page":"509-520","source":"Crossref","is-referenced-by-count":3,"title":["The Rewrite Rule Machine node architecture and its performance"],"prefix":"10.1007","author":[{"given":"Patrick","family":"Lincoln","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9","family":"Meseguer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Livio","family":"Ricciulli","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,3]]},"reference":[{"key":"45_CR1","doi-asserted-by":"crossref","unstructured":"H. Aida, J. Goguen, S. Leinwand, P. Lincoln, J. Meseguer, B. Taheri, and T. Winkler. \u201cSimulation and Performance Estimation for the Rewrite Rule Machine\u201d. In Proceedings of the Fourth Symposium on the Frontiers of Massively Parallel Computation, pages 336\u2013344. IEEE, 1992.","DOI":"10.1109\/FMPC.1992.234941"},{"key":"45_CR2","doi-asserted-by":"crossref","unstructured":"H. Aida, J. Goguen, and J. Meseguer. \u201cCompiling Concurrent Rewriting onto the Rewrite Rule Machine\u201d. In S. Kaplan and M. Okada, editors, Conditional and Typed Rewriting Systems, Montreal, Canada, June 1990, pages 320\u2013332. Springer LNCS 516,1991.","DOI":"10.1007\/3-540-54317-1_101"},{"key":"45_CR3","doi-asserted-by":"crossref","first-page":"11","DOI":"10.1007\/978-1-4615-3752-6_2","volume-title":"VLSI for Artificial Intelligence and Neural Networks","author":"H. Aida","year":"1991","unstructured":"H. Aida, S. Leinwand, and J. Meseguer. \u201cArchitectural Design of the Rewrite Rule Machine Ensemble. In J. Delgado-Frias and W.R. Moore, editors, VLSI for Artificial Intelligence and Neural Networks, pages 11\u201322. Plenum Publ. Co., 1991. Proceedings of an International Workshop held in Oxford, England, September 1990."},{"key":"45_CR4","doi-asserted-by":"crossref","unstructured":"Davis E., Arnold J., Buell D. \u201cSPLASH-2\u201d. In Proceedings of the ACM Symposium on Parallel Algorithms and Architectures, 1992.","DOI":"10.1145\/140901.141896"},{"key":"45_CR5","unstructured":"K. Batcher. \u201cThe Architecture of Tomorrow's Massively Parallel Computer\u201d, In Frontiers of Massively Parallel Scientific Computing, September 1986. NASA CP 2478."},{"key":"45_CR6","unstructured":"T. Blank. \u201cThe MasPar MP-1 architecture\u201d. In CompCon 1990, 1990."},{"key":"45_CR7","doi-asserted-by":"crossref","unstructured":"C.Weems, E. Riseman, and A. Hanson. \u201cThe DARPA Image Understanding Benchmark for Parallel Computers\u201d. Journal of Parallel and Distributed Computing, 11(1), 1991.","DOI":"10.1016\/0743-7315(91)90067-J"},{"key":"45_CR8","doi-asserted-by":"crossref","unstructured":"Veidenbaum A. Gornish E., Granston E. \u201cCompiler-directed data prefetching in multiprocessors with memory hierarchies\u201d. In Proceedings of the 1990 International Conference on Supercomputing, 1990.","DOI":"10.1145\/77726.255176"},{"key":"45_CR9","unstructured":"H. Schwetman \u201cCsim: A c-based, process-oriented simulation language\u201d. MCC Technical Report."},{"key":"45_CR10","unstructured":"Gupta A., Heinlein J., Gharachorloo K. \u201c Integrating Multiple Communication Paradigms in High Performance Multiprocessors\u201d. Technical Report CSL-TR-94-604, Computer Systems Laboratory, Stanford University, 1994."},{"volume-title":"LNCS 279","year":"1987","key":"45_CR11","unstructured":"R. Keller and J. Fasel, editors. Proc. Workshop on graph reduction, Santa Fe, New Mexico. Springer LNCS 279, 1987."},{"key":"45_CR12","doi-asserted-by":"crossref","unstructured":"Levy H., Klaiber A. \u201cAn architecture for Software-controlled Data Prefetching\u201d. In International Symposium on Computer Architecture 1991, volume 19\u20133, May 1991.","DOI":"10.1145\/115953.115958"},{"key":"45_CR13","doi-asserted-by":"crossref","unstructured":"Agarwal A., Kubiatowicz J. \u201cAnatomy of a Message in the Alewife Multiprocessor\u201d. In Proceedings of the 7th ACM International Conference on Supercomputing, 1994.","DOI":"10.1145\/165939.165970"},{"key":"45_CR14","first-page":"869","volume-title":"Cell and Ensemble Architecture for the Rewrite Rule Machine","author":"S. Leinwand","year":"1988","unstructured":"S. Leinwand, J.A. Goguen, and T. Winkler. \u201cCell and Ensemble Architecture for the Rewrite Rule Machine\u201d In Proceedings of the International Conference on Fifth Generation Computer Systems 1988, Tokyo, Japan, pages 869\u2013878. ICOT, 1988."},{"key":"45_CR15","doi-asserted-by":"crossref","unstructured":"P. Lincoln, N. Martf-Oliet, J. Meseguer, and L. Ricciulli. \u201cCompiling Rewriting onto SIMD and MIMD\/SIMD Machines\u201d. To Appear in PARLE'94, 1994.","DOI":"10.1007\/3-540-58184-7_88"},{"key":"45_CR16","volume-title":"Specification, Transformation and Programming of Concurrent Systems in Rewriting Logic","author":"P. Lincoln","year":"1994","unstructured":"P. Lincoln, N. Mart\u00ed-Oliet, and J. Meseguer. \u201cSpecification, Transformation and Programming of Concurrent Systems in Rewriting Logic\u201d. G. Belloch, K. M. Chandy, and S. Jagannathan (editors), Proceedings of the DIMACS Workshop on Specification of Parallel Algorithms, American Mathematical Society, Providence, RI, 1994."},{"key":"45_CR17","unstructured":"Active Memory Technology LTD. \u201cIntroducing the DAP\/cp8 Range\u201d. DAP Series Technical Overview, April 1990. Sales Support Note 7."},{"issue":"1","key":"45_CR18","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0304-3975(92)90182-F","volume":"96","author":"J. Meseguer","year":"1992","unstructured":"J. Meseguer. \u201cConditional Rewriting Logic as a Unified Model of Concurrency\u201d. Theoretical Computer Science, 96(1):73\u2013155, 1992.","journal-title":"Theoretical Computer Science"},{"key":"45_CR19","doi-asserted-by":"crossref","unstructured":"J. Meseguer. \u201cA logical Theory of Concurrent Objects and Its Realization in the Maude Language. In Gul Agha, Peter Wegner, and Akinori Yonezawa, editors, Research Directions in Concurrent Object-Oriented Programming, pages 314\u2013390. MIT Press, 1993.","DOI":"10.7551\/mitpress\/2087.003.0017"},{"key":"45_CR20","unstructured":"Microprocessor and Microcomputer Standards Subcommittee. \u201cIEEE standard for scalable coherent interface\u201d. IEEE Standard, 1992."},{"key":"45_CR21","unstructured":"S. Peyton-Jones. \u201cThe Implementation of Functional Programming Languages\u201d. Prentice Hall, 1987."},{"key":"45_CR22","doi-asserted-by":"crossref","unstructured":"Sen S. Scherson I. \u201cParallel Sorting in Two-Dimensional VLSI Models of Computation. IEEE Transactions on Computers, Feb 1989.","DOI":"10.1109\/12.16500"},{"key":"45_CR23","doi-asserted-by":"crossref","unstructured":"T. von Eicken, D. Culler, S.C. Goldsten, and H.E. Schauser. \u201c Active Messages: a Mechanism for Integrated Communication and Computation\u201d. In Proceedings of the 19th International Symposium of Computer Architecture, May 1992.","DOI":"10.1145\/139669.140382"},{"key":"45_CR24","doi-asserted-by":"crossref","unstructured":"C. Weems, E. Riseman, A. Hanson, and A. Rosenfeld. \u201cIU Parallel Processing Benchmark.\u201d In Proceedings of the Computer Society Conf. Computer Vision and Pattern Recognition, 1988.","DOI":"10.1109\/CVPR.1988.196308"}],"container-title":["Lecture Notes in Computer Science","Parallel Processing: CONPAR 94 \u2014 VAPP VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-58430-7_45.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,20]],"date-time":"2024-04-20T16:02:07Z","timestamp":1713628927000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-58430-7_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540584308","9783540487890"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/3-540-58430-7_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}