{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T14:30:54Z","timestamp":1725460254771},"publisher-location":"Berlin, Heidelberg","reference-count":50,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540573968"},{"type":"electronic","value":"9783540481331"}],"license":[{"start":{"date-parts":[[1993,1,1]],"date-time":"1993-01-01T00:00:00Z","timestamp":725846400000},"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":[[1993]]},"DOI":"10.1007\/bfb0018665","type":"book-chapter","created":{"date-parts":[[2006,2,17]],"date-time":"2006-02-17T01:24:01Z","timestamp":1140139441000},"page":"362-379","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A new architecture design paradigm for parallel computing in scheme"],"prefix":"10.1007","author":[{"given":"Carl","family":"Bruggeman","sequence":"first","affiliation":[]},{"given":"R. Kent","family":"Dybvig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"22_CR1","doi-asserted-by":"crossref","unstructured":"Agarwal, A., Lim, B.-H., Kranz, D., and Kubiatowicz, J. APRIL: A processor architecture for multiprocessing. In The 17th Annual International Symposium on Computer Architecture (Seattle, June 1990), pp. 104\u2013114.","DOI":"10.1145\/325096.325119"},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Alverson, R., Callahan, D., Cummings, D., Koblenz, B., Porterpield, A., and Smith, B. The Tera computer system. In 1990 International Conference on Supercomputing (June 1990), pp. 1\u20136.","DOI":"10.1145\/77726.255132"},{"key":"22_CR3","unstructured":"Anderson, T. E., Levy, H. M., Bershad, B. N., and Lazowska, E. D. The interaction of architecture and operating system design. In Fourth International Conference on Architectural Support for Programming Languages and Operating Systems (Apr. 1991), pp. 108\u2013120."},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Arvind, and Iannucci, R. A critique of multiprocessing von Neumann style. In The 10th Annual International Symposium on Computer Architecture (Stockholm, 1983).","DOI":"10.1145\/800046.801684"},{"key":"22_CR5","unstructured":"Berstis, V. Security and protection of data in the IBM system\/38. In The 7th Annual Symposium on Computer Architecture (1980), pp. 245\u2013252."},{"key":"22_CR6","unstructured":"Bruggeman, C. An Architecture Design Paradigm for Type-Safe Languages. PhD thesis, Indiana University, 1993. in preparation."},{"key":"22_CR7","first-page":"3","volume":"4","author":"W. Clinger","year":"1991","unstructured":"Clinger, W., Rees, J. A., et al. The revised 4 report on the algorithmic language Scheme. LISP Pointers 4, 3 (1991).","journal-title":"LISP Pointers"},{"key":"22_CR8","unstructured":"Colwell, R. P., Nix, R. P., O'Donnell, J. J., Papworth, D. B., and Rodman, P. K. A VLIW architecture for a trace scheduling compiler. In Second International Conference on Architectural Support for Programming Languages and Operating Systems (1987), pp. 180\u2013192."},{"key":"22_CR9","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/365230.365252","volume":"9","author":"J. B. Dennis","year":"1966","unstructured":"Dennis, J. B., and Horn, E. C. V. Programming semantics for multiprogrammed computations. Communications of the ACM 9, 3 (Mar. 1966).","journal-title":"Communications of the ACM"},{"key":"22_CR10","unstructured":"Dybvig, R. K., Eby, D., and Bruggbman, C. Flexible and efficient storage management using a segmented heap, in preparation."},{"key":"22_CR11","unstructured":"Gabriel, R., and McCarthy, J. Queue-based multi-processing Lisp. In Proceedings of the 1984 ACM Conference on Lisp and Functional Programming (Aug. 1984), pp. 25\u201344."},{"key":"22_CR12","doi-asserted-by":"crossref","unstructured":"Grafe, V., Davidson, G., Hoch, J., and Holmes, V. The Epsilon dataflow processor. In The 16th Annual International Symposium on Computer Architecture (Jerusalem, May 1989), pp. 36\u201345.","DOI":"10.1145\/74926.74930"},{"key":"22_CR13","unstructured":"Guttman, J. D., Monk, L. G., Ramsdell, J. D., Farmer, W. M., and Swarup, V. A guide to vlisp, a verified programming language implementation. Tech. Rep. M92B091, Sept. 1992."},{"issue":"4","key":"22_CR14","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1145\/4472.4478","volume":"7","author":"R. H. Halstead Jr.","year":"1985","unstructured":"Halstead, Jr., R. H. Multilisp: A language for concurrent symbolic computation. ACM Transactions on Programming Languages and Systems 7, 4 (Oct. 1985), 501\u2013538.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR15","doi-asserted-by":"crossref","unstructured":"Halstead, Jr., R. H., and Fujita, T. Masa: A multithreaded processor architecture for parallel symbolic computing. In The 15th Annual International Symposium on Computer Architecture (Honolulu, 1988), pp. 443\u2013451.","DOI":"10.1145\/633625.52449"},{"key":"22_CR16","doi-asserted-by":"publisher","first-page":"3\/4","DOI":"10.1007\/BF01808954","volume":"2","author":"W. L. Harrison","year":"1989","unstructured":"Harrison, W. L. The interprocedural analysis and automatic parallelization of Scheme programs. Lisp and Symbolic Computation 2, 3\/4 (1989).","journal-title":"Lisp and Symbolic Computation"},{"key":"22_CR17","volume-title":"Computer Architecture: A Quantitative Approach","author":"J. L. Hennessy","year":"1990","unstructured":"Hennessy, J. L., and Patterson, D. A.Computer Architecture: A Quantitative Approach. Morgan Kaufmann, San Mateo, California, 1990."},{"key":"22_CR18","unstructured":"Hieb, R., and Dybvig, R. K. Continuations and concurrency. In Proceedings of the Second ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming (Mar. 1990), pp. 128\u2013137."},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Hieb, R., Dybvig, R. K., and Bruggeman, C. Representing control in the presence of first-class continuations. In Proceedings of the SIGPLAN '90 Conference on Programming Language Design and Implementation (June 1990), pp. 66\u201377.","DOI":"10.1145\/93548.93554"},{"key":"22_CR20","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1109\/4.62189","volume":"25","author":"G. M. Jacobs","year":"1990","unstructured":"Jacobs, G. M., and Brodersen, R. W. A fully asynchronous digital signal processor using self-timed circuits. IEEE Journal of Solid-State Circuits 25, 6 (Dec. 1990).","journal-title":"IEEE Journal of Solid-State Circuits"},{"key":"22_CR21","doi-asserted-by":"crossref","unstructured":"Jagannathan, S., and Philbin, J. A foundation for an efficient multi-threaded Scheme system. In Proceedings of the 1992 ACM Conference on Lisp and Functional Programming (June 1992), pp. 345\u2013357.","DOI":"10.1145\/141478.141573"},{"key":"22_CR22","unstructured":"Koldinger, E. J., Chase, J. S., and Eggers, S. J. Architectural support for single address space operating systems. In Fifth International Conference on Architectural Support for Programming Languages and Operating Systems (Boston, Sept. 1992), pp. 175\u2013186."},{"volume-title":"Parallel MIMD Computation: HEP Supercomputer and Its Applications","year":"1985","key":"22_CR23","unstructured":"Kowalik, J., Ed. Parallel MIMD Computation: HEP Supercomputer and Its Applications. M.I.T Press, Cambridge, Mass., 1985."},{"key":"22_CR24","unstructured":"Kuehn, J., and Smith, B. The Horizon supercomputer system: Architecture and software. In 1988 International Conference on Supercomputing (Orlando, Nov. 1988)."},{"issue":"1","key":"22_CR25","doi-asserted-by":"crossref","first-page":"65","DOI":"10.1109\/MC.1982.1653828","volume":"15","author":"H. T. Kung","year":"1982","unstructured":"Kung, H. T. Why systolic architectures? IEEE Computer 15, 1 (Jan. 1982), 65\u201390.","journal-title":"IEEE Computer"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Laudon, J., Gupta, A., and Horowitz, M. Architectural and implementation tradeoffs in the design of multiple-context processors. Tech. Rep. CSL-TR-92-523, Stanford University, 1992.","DOI":"10.1145\/139669.140564"},{"key":"22_CR27","unstructured":"Levy, H. M. Capability-Based Computer Systems. Digital Press, 1984."},{"key":"22_CR28","doi-asserted-by":"publisher","first-page":"226","DOI":"10.1007\/BF01660034","volume":"1","author":"A. J. Martin","year":"1986","unstructured":"Martin, A. J. Compiling communicating processes into delay-insensitive VLSI circuits. Distributed Computing 1 (1986), 226\u2013234.","journal-title":"Distributed Computing"},{"key":"22_CR29","doi-asserted-by":"crossref","unstructured":"Martin, A. J., Burns, S. M., Lee, T. K., Borkovic, D., and Hazewindus, P. J. The design of an asynchronous microprocessor. In Proceedings of the Decennial Caltech Conference on VLSI (Mar. 1989).","DOI":"10.21236\/ADA447727"},{"key":"22_CR30","unstructured":"Molnar, C. E., Fang, T.-P., and Rosenberger, F. U. Synthesis of delayinsensitive modules. Journal of Distributed Computing (1986), 218\u2013262."},{"key":"22_CR31","doi-asserted-by":"crossref","unstructured":"Nikhil, R., and Arvind. Can dataflow subsume von Neumann computing. In The 16th Annual International Symposium on Computer Architecture (Jerusalem, May 1989), pp. 262\u2013272.","DOI":"10.1145\/74926.74955"},{"key":"22_CR32","unstructured":"OSF architecture-neutral distribution format rationale. Tech. rep., June 1991."},{"key":"22_CR33","unstructured":"Organick, E. I. A Programmer's View of the Intel 432 System. McGraw-Hill, 1983."},{"key":"22_CR34","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/358818.358823","volume":"23","author":"J. K. Ousterhout","year":"1980","unstructured":"Ousterhout, J. K., Scelza, D. A., and Sidhu, P. S. Medusa: An experiment in distributed operating system structure. Communications of the ACM 23, 2 (Feb. 1980).","journal-title":"Communications of the ACM"},{"key":"22_CR35","doi-asserted-by":"crossref","unstructured":"Papadopoulos, G. M., and Culler, D. E. Monsoon: an explicit token-store architecture. In The 17th Annual International Symposium on Computer Architecture (Seattle, June 1990), pp. 82\u201391.","DOI":"10.1145\/325096.325117"},{"key":"22_CR36","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2465.214917","volume":"28","author":"D. A. Patterson","year":"1985","unstructured":"Patterson, D. A. Reduced instruction set computers. Communications of the ACM 28, 1 (Jan. 1985).","journal-title":"Communications of the ACM"},{"key":"22_CR37","doi-asserted-by":"crossref","unstructured":"Sakai, S., Yamaguchi, Y., Hiraki, K., and Yuba, T. An architecture of a dataflow single chip processor. In The 16th Annual International Symposium on Computer Architecture (Jerusalem, May 1989), pp. 46\u201353.","DOI":"10.1145\/74926.74931"},{"key":"22_CR38","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/22949.24053","volume":"5","author":"R. W. Scheifler","year":"1986","unstructured":"Scheifler, R. W., and Gettys, J. The X windows system. ACM Transactions on Graphics 5, 2 (Apr. 1986).","journal-title":"ACM Transactions on Graphics"},{"key":"22_CR39","unstructured":"Seitz, C. L. Ensemble architectures for VLSI \u2014 a survey and taxonomy. In 1982 Conference on Advanced Research in VLSI (M.I.T., Jan. 1982), pp. 130\u2013135."},{"key":"22_CR40","doi-asserted-by":"crossref","first-page":"12","DOI":"10.1109\/TC.1984.1676396","volume":"c-33","author":"C. L. Seitz","year":"1984","unstructured":"Seitz, C. L. Concurrent VLSI architectures. IEEE Transactions on Computers c-33, 12 (Dec. 1984).","journal-title":"IEEE Transactions on Computers"},{"issue":"8","key":"22_CR41","doi-asserted-by":"publisher","first-page":"12","DOI":"10.1145\/368892.368915","volume":"1","author":"J. Strong","year":"1958","unstructured":"Strong, J., Wegstein, J., Tritter, A., Olsztyn, J., Mock, O., and Steel, T. The problem of programming communication with changing machines: A proposed solution. Communications of the ACM 1, 8 (Aug. 1958), 12\u201313. part 1.","journal-title":"Communications of the ACM"},{"issue":"9","key":"22_CR42","doi-asserted-by":"crossref","first-page":"9","DOI":"10.1145\/368919.3165711","volume":"1","author":"J. Strong","year":"1958","unstructured":"Strong, J., Wegstein, J., Tritter, A., Olsztyn, J., Mock, O., and Steel, T. The problem of programming communication with changing machines: A proposed solution. Communications of the ACM 1, 9 (Sept. 1958), 9\u201315. part 2.","journal-title":"Communications of the ACM"},{"key":"22_CR43","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1145\/63526.63532","volume":"32","author":"I. E. Sutherland","year":"1989","unstructured":"Sutherland, I. E. Micropipelines. Communications of the ACM 32, 6 (June 1989).","journal-title":"Communications of the ACM"},{"key":"22_CR44","doi-asserted-by":"crossref","first-page":"210","DOI":"10.1038\/scientificamerican0977-210","volume":"237","author":"I. E. Sutherland","year":"1977","unstructured":"Sutherland, I. E., and Mead, C. A. Microelectronics and computer science. Scientific American 237 (Sept. 1977), 210\u2013228.","journal-title":"Scientific American"},{"key":"22_CR45","unstructured":"Thornton, J. E. Design of a computer: the Control Data 6600. 1970."},{"issue":"3","key":"22_CR46","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/129393.129395","volume":"14","author":"D. W. Wall","year":"1992","unstructured":"Wall, D. W. Experience with a software-defined machine architecture. ACM Transactions on Programming Languages and Systems 14, 3 (July 1992), 299\u2013338.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR47","doi-asserted-by":"crossref","unstructured":"Weber, W.-D., and Gupta, A. Exploring the benefits of multiple hardware contexts in a multiprocessor architecture: Preliminary results. In The 16th Annual International Symposium on Computer Architecture (Jerusalem, May 1989), pp. 273\u2013280.","DOI":"10.1145\/74926.74956"},{"key":"22_CR48","volume-title":"The Cambridge CAP Computer and its Operating System","author":"M. V. Wilkes","year":"1979","unstructured":"Wilkes, M. V., and Needham, R. M.The Cambridge CAP Computer and its Operating System. North Holland, New York, 1979."},{"key":"22_CR49","unstructured":"Winkle, D., and Prosser, F. The Art of Digital Design. 1900."},{"key":"22_CR50","volume-title":"HYDRA\/C.mmp: An Experimental Computer System","author":"W. A. Wulf","year":"1981","unstructured":"Wulf, W. A., Levin, S. P., and Pierson, C.HYDRA\/C.mmp: An Experimental Computer System. McGraw-Hill, New York, 1981."}],"container-title":["Lecture Notes in Computer Science","Parallel Symbolic Computing: Languages, Systems, and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0018665","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T22:30:26Z","timestamp":1627079426000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018665"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540573968","9783540481331"],"references-count":50,"URL":"https:\/\/doi.org\/10.1007\/bfb0018665","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]},"assertion":[{"value":"31 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}