article

Free access

Survey on special purpose computer architectures for AI

Authors:

G J LiAuthors Info & Claims

ACM SIGART Bulletin, Issue 96

Pages 28 - 46

https://doi.org/10.1145/15715.15718

Published: 01 April 1986 Publication History

Abstract

In this survey, we will provide a short survey and classification on the current work in special purpose architectures to support AI applications. In spite of the growing importance of AI applications, work in the area of designing AI architectures are so diversified that articles were published in other areas besides Al, ranging from psychology, medicine, manufacturing, computer architecture, software engineering, and database management to industrial engineering, operations research, and the list grows. The literature search is also complicated by the fact that with the development of the Fifth-Generation Computer Systems, some work in this area is very recent and was published in many foreign countries. During our literature search to compile this survey, we systematically went through over sixty different journals published in various countries and proceedings from over fifty conferences in the last twenty years and over seventy books.

References

[1]

J.-L. Baer, Computer Systems Architecture, Computer Science Press, 1980.

[2]

J. L. Baer, "Computer Architecture." Computer, vol. 17, no. 10, pp. 77--87, IEEE, Oct. 1984.

Digital Library

[3]

H. S. Stone, Introduction to Computer Architecture, 2nd Edition, Science Research Associates, 1980.

Digital Library

[4]

G. Myer, Advances in Computer Architecture, Wiley, 1978.

Digital Library

[5]

H. Boley, "A Preliminary Survey of AI Machines," SIGART Newsletter, no. 72, pp. 21--28, ACM, July 1980.

Digital Library

[6]

S. Fahlman, "Computing Facilities for Al: A Survey of Present and Near-Future Options," AI Magazine, pp. 16--23, AAAI, Winter 1980-81.

[7]

Arvind and R. A. Iannucci, "A Critique of Multiprocessing von Neumann Style," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 426--436. IEEE, ACM, June 1983.

Digital Library

[8]

P. C. Treleaven, "The New Generation of Computer Architecture," Proc. 10th Annual Int'l Symp. on Computer Architecutre, pp. 402--409, IEEE/ACM, June 1983.

Digital Library

[9]

M. F. Deering, "Hardware and Software Architectures for Efficient Al," Proc. Nat'l Conf. on Al, pp. 73--78, AAAI, Aug. 1984.

[10]

C. Hewitt and H. Lieberman, "Design Issues in Parallel Architectures for Al," Proc. COMPCON Spring. pp. 418--423, IEEE, Feb. 1984.

[11]

E. A. Feigenbaum, F. Hayes-Roth, D. Waltz, R. Reddy, and V. Zue, "The Building Blocks," Spectrum, pp. 77--87, IEEE, Nov. 1983.

[12]

D. I. Moldovan, Survey of Computer Architectures for Al, Technical Report PPP-84-6, Univ. of Southern California, Los Angeles, CA, July 1984.

[13]

T. Moto-oka, et al., "Challenge for Knowledge information Processing Systems," Proc. Int'l Conf. on 5<sup>th</sup> Generation Systems, pp. 3--89, ICOT, Tokyo, Japan, and North-Holland, 1981.

[14]

K. Fuchi, "The Direction the FGCS Project Will Take," New Generation Computing, vol. 1, no. 1, pp. 3--9, OHMSHA Ltd. and Springer-Verlag, 1983.

[15]

H. Boley, "Al Languages and AI Machines: An Overview," Proc. German Workshop on Al, Springer-Fachberichte, 1981.

Digital Library

[16]

D. Schaefer and J. Fischer, "Beyond the Supercomputer," Spectrum, vol. 19, no. 3, pp. 32--37, IEEE, March 1982.

[17]

D. A. Waterman and F. Hayes-Roth, Pattern-Directed Inference Systems, Academic Press, 1978.

Digital Library

[18]

M. F. Deering. "Architectures for Al," Byte, pp. 193--206, McGraw-Hill, April 1985.

Digital Library

[19]

A. Mukhopadhyay, "Hardware Algorithms for Nonnumeric Computation," Trans. on Computers, vol. C-28, no. 6, pp. 384--394, IEEE, June 1979.

[20]

A. Hirsch, "Tagged Architecture Supports Symbolic Processing." Computer Design, PennWell, June 1984.

[21]

J. Campbell and J. Fitch, "Symbolic Computing With and Without Lisp," Conf. Record of Lisp Conf., Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[22]

M. Creeger, "Lisp Machines Come Out of the Lab.," Computer Design, pp. 132--137, PennWell, Nov. 1983.

[23]

R. Doran, "Architecture of Stack Machine," in High-Level Language Computer Architecture, ed. Y. Chu, Academic Press, 1975.

[24]

S. A. Cook, "An Overview of Computational Complexity," Comm. of the ACM, vol. 26, no. 6, pp. 401--408, ACM, June 1983.

Digital Library

[25]

J. Pearl, Heuristics: Intelligent Search Strategies for Computer Problem Solving, Addison-Wesley, 1984.

Digital Library

[26]

L. S. Haynes, R. L. Lau, D. P. Siewiorek, and D. W. Mizell, "A Survey of Highly Parallel Computing." Computer, vol. 15, no. 1, pp. 9--24, IEEE, Jan. 1982.

Digital Library

[27]

K. Hwang and F. A. Briggs, Computer Architecture and Parallel Processing. McGraw-Hill, 1984.

Digital Library

[28]

N. R. Lincoln, "Technology and Design Tradeoffs in the Creation of a Modern Supercomputer," Trans. On Computers, vol. C-31, no. 5, pp. 349--362, IEEE, May 1982.

[29]

J. P. Riganati and P. B. Schneck, "Supercomputing," Computer, vol. 17, no. 10, pp. 97--113, IEEE, Oct. 1984.

Digital Library

[30]

B. W. Wah, G.-J. Li, and C. F. Yu, "Multiprocessing of Combinatorial Search Problems," Computer, vol. 18, no. 6, pp. 93--108, IEEE, June 1985.

Digital Library

[31]

J. Cohen, "Non-Deterministic Algorithms," Computing Surveys, vol. 11, no. 2, pp. 79--94, ACM, June 1979.

Digital Library

[32]

H. G. Baker Jr, "Optimizing Allocation and Garbage Collection of Spaces," in Al: An MIT Perspective, ed. P. H. Winston and R. H. Brown, vol. 1, pp. 391--396, MIT Press, 1979.

[33]

J. Cohen, "Garbage Collection of Linked Data Structures," Computing Surveys, vol. 13, no. 3, pp. 341--367, ACM, Sept. 1981.

Digital Library

[34]

H. Lieberman and C. Hewitt, "A Real-Time Garbage Collector Based on the Lifetimes of Objects," Comm. of the ACM, vol. 26, no. 6, pp. 419--429, ACM, June 1983.

Digital Library

[35]

E. Babb, "Functional Requirements for Very Large Knowledge Bases," Proc. ACM'84, pp. 55--56, ACM, Oct. 1984.

Digital Library

[36]

M. Bartschi, "An Overview of Information Retrieval Subjects," Computer, vol. 18, no. 5, pp. 67--84, IEEE, May 1985.

Digital Library

[37]

G. Wiederhold, "Knowledge and Database Management," Software, vol. 1, no. 1, pp. 63--73, IEEE, Jan. 1984.

Digital Library

[38]

H. Sakai, K. Iwata, S. Kamiya, M. Abe, A. Tanaka, S. Shibayama, and K. Murakami, "Design and Implementation of Relational Database Engine," Proc. 5<sup>th</sup> Generation Computer Systems, pp. 419--426, ICOT and North-Holland, 1984.

[39]

L. Bic, "A Data-Driven Model for Parallel Interpretation of Logic Programs," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 517--523, ICOT and North-Holland, 1984.

[40]

N. Ito, H. Shimizu, M. Kishi, E. Kuno, and K. Rokusawa. "Data-Flow Based Execution Mechanisms of Parallel and Concurrent Prolog," New Generation Computing, vol. 3, pp. 15--41, OHMSHA Ltd. and Springer-Verlag, 1985.

Digital Library

[41]

M. Tokoro and Y. Ishikawa, "An Object-Oriented Approach to Knowledge Systems," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 623--632, ICOT and North-Holland, 1984.

[42]

Y. Ishikawa and M. Tokoro, "The Design of an Object-Oriented Architecture," Proc 11<sup>th</sup> Int'l Symp. on Computer Architecture, pp. 178--187, IEEE/ACM, 1984.

Digital Library

[43]

J. B. Dennis, "Data Flow Supercomputers," Computer, vol. 13, no. 11, pp. 48--56, IEEE, Nov. 1980.

Digital Library

[44]

P. C. Treleaven and I. G. Lima. "Future Computers: Logic, Data Flow, .., Control Flow?," Computer, vol. 17, no. 3, pp. 47--55, IEEE, March 1984.

Digital Library

[45]

Y. Chu, "Direct-Execution Computer Architecture," in Information Processing 77, ed. B. Gilchrist, pp. 18--23, North-Holland, 1977.

[46]

M. Yamamoto, "A Survey of High-Level Language Machines in Japan," Computer, vol. 14, no. 7, pp. 68--78, IEEE, July 1981.

Digital Library

[47]

M. J. Flynn, "Directions and Issues in Architecture and Language,". Computer, vol, 13, no. 10, pp. 5--22, IEEE, Oct. 1980.

Digital Library

[48]

G. G. Langdon Jr., "Database Machines: An Introduction," Trans. on Computers, vol. C-28, no. 6, pp. 381--384, IEEE, June 1979.

[49]

A. Barr and E. A. Feigenbaum, The Handbook on Al, 2, William Kaufmann, Los Altos, CA, 1982.

[50]

E. Charniak, C. Riesbeck, and D. McDermott, AlProgramming, Lawrence Erlbaum Press, 1980.

[51]

D. Bobrow and B. Paphael, "New Programming Languages for AI research," Computing Surveys, vol. 6, no. 3, pp. 153--174, ACM, 1974.

Digital Library

[52]

E. Rich, "The Gradual Expansion of Al," Computer, vol. 17, no. 5, pp. 4--12, IEEE, May 1984.

Digital Library

[53]

P. H. Winston and B. Horn, Lisp, Second Edition, Addison Wesley, 1984.

Digital Library

[54]

J. Backus, "Can Programming be Liberated from the von Neumann Style? A Functional Style and Algebra of Programs," Comm. of the ACM, vol. 21, no. 8. pp. 613--641, ACM, 1978.

Digital Library

[55]

T. Winograd, "Beyond Programming Languages," Comm. of the ACM, vol. 22, no. 7, pp. 391--401, ACM, July 1979.

Digital Library

[56]

B. D. Kornman, "Pattern Matching and Pattern-Directed Invocation in Systems Programming Languages," J. of Systems and Software, vol. 3, pp. 95--102, Hayden Publishing, 1983.

Digital Library

[57]

S. Eisenbach and C. Sadler, "Declarative Languages: an Overview," Byte, pp. 181--197, McGraw-Hill, Aug. 1985.

[58]

J. Backus, "Function-Level Computing," Spectrum, vol. 19, no. 8, pp. 22--27, IEEE, Aug. 1982.

[59]

P. Henderson, Function Programming, Application and Implementation, Prentice-Hall, 1980.

Digital Library

[60]

R. Kowalski, "Logic Programming," in IFIP Information Processing, ed. R. E. A. Mason, pp. 133--145, Elsevier, 1983.

[61]

J. A. Robinson, "Logic Programming--Past, Present and Future," New Generation Computing, vol. 1, no. 2, pp. 107--124, OHMSHA Ltd. and Springer-Verlag, 1983.

[62]

K. L. Clark and S-A. Tarnlund, ed., Logic Programming, Academic Press, 1982.

Digital Library

[63]

R. Kowalski, "Predicate Logic as a Programming Language," IFIP Information Processing, pp. 569--574, North-Holland, 1974.

[64]

R. Kowalski, Logic for Problem Solving, North-Holland, 1979.

Digital Library

[65]

R. Burstall, "Programming with Modules as Typed Functional Programming," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computers System, pp. 103--112, ICOT and North-Holland, 1984.

[66]

T. Ida and J. Tanaka, "Functional Programming with Streams--Part II," New Generation Computing, vol. 2, no. 3, pp. 261--275, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[67]

D. A. Turner, "A New Implementation Technique for Applicative Languages," Software--Practice and Experience, vol. 9. no. 1, pp. 31--49, John Wiley &amp; Son, 1979.

[68]

A. L. Davis and R. M. Keller, "Data Flow Program Graphs," Computer, vol. 15, no. 2, pp. 26--41, IEEE, 1982.

Digital Library

[69]

J. McCarthy, P. Abrahams, D. Edwards, T. Hart, and M. Levin, Lisp 1.5 Programmer's Manual, MIT Press, 1962.

Digital Library

[70]

J. McCarthy, "History of Lisp," SIGPLAN Notices, vol. 13, no. 8, pp. 217--223, ACM, 1978.

Digital Library

[71]

E. Sandewall, "Programming in an Interactive Environment: the Lisp Experience," Computing Surveys, vol. 10, no. 1, pp. 35--71, ACM, March 1978.

Digital Library

[72]

M. L. Griss and E. Benson, "Current Status of a Portable Lisp Compiler," Proc. SIGPLAN Symp. on Compiler Construction, pp. 276--283, ACM, June 1982.

Digital Library

[73]

H. G. Baker, Jr., "Shallow Binding in Lisp 1.5," Comm. of the ACM, vol. 21, no. 7, pp. 565--569, ACM, July 1978.

Digital Library

[74]

R. M. Burstall, D. B. MacQueen, and D. T. Sannella, "HOPE: An Experimental Applicative Language," Conf. Record of Lisp Conf., pp. 136--143, Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[75]

J. R. McGraw, "Data Flow Computing: Software Development," Trans. on Computers, vol. C-29, no. 12, pp. 1095--1103, IEEE, 1980.

[76]

Arvind, K. Gostelow, and W. Plouffe, An Asynchronous Programming Language and Computing Machine, Tech. Rep. 114a, Univ. of California, Irvine, CA, Dec. 1978.

[77]

A. Colmerauer, "Prolog in 10 Figures," Proc. 8th IJCAI, pp. 488--499, William Kaufman, Los Altos, CA, 1983.

[78]

W. F. Clocksin and C. S. Mellish, Programming in Prolog. Springer-Verlag, 1981.

Digital Library

[79]

K. L. Clark and F. G. McCabe, "Prolog: A Language for Implementing Expert Systems," in Machine Intelligence 10, ed. J. Hayes, D. Michie, and Y. H. Pao, pp. 455--471, Ellis Horwood Ltd., Chichester, England, 1982.

[80]

A. Colmerauer, H. Kanoui, and M. Van Caneghem, "Last Steps Towards an Ultimate Prolog," Proc. 7th IJCAI, pp. 947--948, William Kaufman, Los Altos, CA, Aug. 1981.

[81]

B. Domolki and P. Szeredi, "Prolog in Practice," in IFIP Information Processing, ed. R. E. A. Mason, pp. 627--636, Elsevier, 1983.

[82]

D. H. Warren, L. M. Pereira, and F. Pereira, "Prolog--The Language and Its Implementation Compared with Lisp," Proc. Symp. on Aland Programming Languages, also SIGART Newsletter, vol. 64, pp. 109--115, ACM, Aug. 1977.

Digital Library

[83]

G. J. Sussman and D. V. McDermott, "From PLANNER to CONNIVER--A Genetic Approach," FJCC, vol. 41, pp. 129--137, AFIPS Press, 1972.

[84]

T. Moto-oka and H. S. Stone, "5<sup>th</sup>-Generation Computer Systems: A Japanese Project," Computer, vol. 17, no. 3, pp. 6--13, IEEE, March 1984.

Digital Library

[85]

T. Rentsch, "Object Oriented Programming," SIGPLAN Notices, vol. 17, no. 9, pp. 51--57, ACM, Sept. 1982.

Digital Library

[86]

A. J. Goldberg and D. Robson, Smalltalk-80: The Language and Its Implementation, Addison-Wesley, 1983.

Digital Library

[87]

"Special Issue on Smalltalk," Byte, McGraw-Hill, Aug. 1981.

[88]

F. Mizoguchi, H. Ohwada, and Y. Katayama, "LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 606--612, ICOT and North-Holland, 1982.

[89]

N. Suzuki, K. Kubota, and T. Aoki, "SWORD32: A Bytecode Emulating Microprocessor for Object-Oriented Languages," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 389--397, ICOT and North-Holland, 1984.

[90]

D. Ungar, R. Blau, P. Foley, D. Samples, and D. Patterson, "Architecture of SOAR: Smalltalk on RISC," Proc. 11th Annual Int'l Symp. on Computer Architecture, pp. 188--197, IEEE/ACM, 1984.

Digital Library

[91]

D. Moon, Maclisp Reference Manual, MIT Press, 1974.

[92]

B. Sheil, "Power Tools for Programmers," Datamation, pp. 131--144, Technical Publishing, Feb. 1983.

[93]

W. Teitelman and L. Masinter, "The Interlisp Programming Environment," Computer, vol. 14, no. 4, pp. 25--33, IEEE, April 1981.

Digital Library

[94]

E. D. Sacerdoti, R. E. Fikes, R. Reboh, D. Sagalowicz, R. J. Waldinger, and B. M. Wilber, "Qlisp--A Language for the Interactive Development of Complex Systems," Proc. NCC, pp. 139--146, AFIPS Press, 1976.

[95]

G. L. Steele, Jr, "An Overview of Common Lisp," Conf. Record of the 1982 Symp. on Lisp and Function Programming, pp. 98--107, ACM, 1982.

Digital Library

[96]

R. Wilensky, Lispcraft, W. W. Norton and Co., New York, N.Y., 1984.

Digital Library

[97]

A. Newell, J. C. Shaw, and H. A. Simon, "Programming the Logic Theory Machine," Prof. 1957 WJCC, pp. 230--240, IRE, 1957.

[98]

A. Newell, J. C. Shaw, and H. A. Simon, "Empirical Explorations with the the Logic Theory Machine," in Computers and Thought, ed. E. A. Feigenbaum and J. Feldman, pp. 109--133, 1963.

Digital Library

[99]

C. Hewitt, Description and Theoretical Analysis (Using Schemas) of PLANNER: A Language for Proving Theorems and Manipulating Models in robots, Doctoral Dissertation, AI Lab., MIT, 1971.

[100]

D. G. Bobrow and T. Winograd, "An Overview of KRL--A Knowledge Representation Language," Cognitive Science, vol. 1, no. 1, pp. 3--46, Ablex Publishing, 1976.

[101]

S. Fahlman, NETL: A System for Representing and Using Real-World Knowledge, Series on Al, MIT Press, 1979.

[102]

J. F. Reiser, ed., SAIL, Technical Report STANCS-76-574, Computer Science Dept. Stanford Univ., Menlo Park, CA, 1976.

Digital Library

[103]

D. Davies, et al., POPLER 1.5 Reference Manual, Univ. of Edingburgh, Edinburgh, England, 1973.

[104]

R. A. Le Faivre, FUZZY Reference Manual, Computer Science Dept., Rutgers Univ., New Brunswick, NJ, 1977.

[105]

M. Sato and T. Sakurai, "QUTE: A Prolog/Lisp Type Language for Logic Programming," Proc. 8th IJCAI, pp. 507--513, William Kaufman, Los Altos, CA, Aug. 1983.

[106]

K. Clark and S. Gregory, "Note on System Programming in PARLOG," Proc. Int'l Conf. 5<sup>th</sup> Generation Computer System, pp. 299--306, ICOT and North-Holland, 1984.

[107]

E. Y. Shapiro, A Subset of Concurrent Prolog and its Interpreter, Technical Report TR-003, ICOT, Tokyo, Japan, 1984.

[108]

E. Y. Shapiro, "Object Oriented Programming in Concurrent Prolog," New Generation Computing, vol. 1. no. 1, pp. 25--48, OHMSHA Ltd. and Springer-Verlag, 1983.

[109]

K. Tabata, S. Sugimoto, and Y. Ohno, "Concurrent Lisp and its Interpreter," J. of Information Processing, vol. 4, no. 4, Information Processing Society of Japan, Feb. 1982.

[110]

S. Sugimoto, K. Tabata, K. Agusa, and Y. Ohno, "Concurrent Lisp on a Multi-Micro-Processor System," Proc. 7th IJCAI, pp. 949--954, William Kaufman, Los Altos, CA, Aug. 1981.

[111]

D. Barstow, "A Perspective on Automatic Programming," Proc. 8th IJCAI, pp. 1170--1179, William Kaufman, Los Altos, CA, Aug. 1983.

[112]

E. J. Lerner, "Automating Programming," Spectrum, vol. 19, no. 8, pp. 28--33, IEEE, Aug. 1982.

[113]

D. R. Barstow, "An Experiment in Knowledge-Based Automatic Programming," in Readings in Al. ed. B. L. Webber and N. J Nilsson, pp. 289--312, Tioga, 1981.

[114]

Z. Manna and R. Waldinger, "A Deductive Approach to Program Synthesis," Proc. 6th IJCAI, pp. 542--551, William Kaufman, Los Altos, CA, 1979.

[115]

D. R. Smith, "A Design for an Automatic Programming System," Proc. 7th IJCAI, pp. 1027--1029, William Kaufman, Los Altos, CA, Aug. 1981.

[116]

E. A. Feigenbaum, "Knowledge Engineering: The Applied Side," in Intelligent Systems: The Unprecedented Opportunity, ed. J. E. Hayes and D. Michie, pp. 37--55, Ellis Horwood Ltd., Chichester, England, 1983.

Digital Library

[117]

D. B. Lenat, "Computer Software for Intelligent Systems," Scientific American, vol. 251 no. 3, pp. 204--213, Scientific American Inc., Sept. 1984.

[118]

F. Hayes-Roth, "The Knowledge-Based Expert System: A Tutorial," Computer, vol. 17, no. 9, pp. 11--28, IEEE, Sept. 1984.

Digital Library

[119]

F. Hayes-Roth, "Knowledge-Based Expert Systems," Computer, vol. 17, no. 10, pp. 263--273, IEEE, Oct. 1984.

Digital Library

[120]

F. Hayes-Roth, D. A. Waterman, and D. B. Lenat, Building Expert Systems, Addison-Wesley, 1983.

Digital Library

[121]

B. G. Buchanan, "New Research on Expert Systems," in Machine Intelligence 10, ed. J. Hayes, D. Michie, and Y.-H. Pao, pp. 269--299, Ellis Horwood Ltd., Chichester, England, 1982.

[122]

W. B. Gevarter, An Overview of Expert Systems, Tech. Rep. NBSIR 82-2505, Nat'l Bureau of Standards, Washington, DC, 1982.

[123]

D. S. Nau, "Expert Computer System," Computer, vol. 16, no. 2, pp. 63--85, IEEE, Feb. 1983.

Digital Library

[124]

R. Davis, "Expert Systems: Where Are We? And Where Do We Go From Here?," The AI Magazine, pp. 3--22, AAAI, Spring 1982.

[125]

A. S. Cromarty, "What Are Current Expert System Tools Missing?," Proc. COMPCON Spring, pp. 411--418, IEEE, 1985.

[126]

V. P. Kobler, "Overview of Tool for Knowledge Base Con struction," Proc. Data Engineering Conf., pp. 282--285, IEEE, 1984.

Digital Library

[127]

Van Melle, E. H. Shortliffe, and B. G. Buchanan, "EMYCIN: A Domain-Independent System that Aids in Constricting Knowledge-Based Consultation Programs," Machine Intelligence: Infotech State of the Art Report 9, Infotech International, London, England, 1981.

[128]

Van Melle, A. C. Scott, J. S. Bennett, and M. Peairs, The EMYCIN Manual, Tech. Report HPP-81-16, Computer Science Dept., Stanford Univ., Menlo Park, CA, 1981.

[129]

L. Erman, P. London, and S. Fickas, "The Design and Example Use of HEARSAY-III," Proc. 7th IJCAI, pp. 409--415, William Kaufman, Los Altos, CA, 1981.

[130]

H. P. Nii and N. Aiello, "AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs," Proc. 6th IJCAI, pp. 645--655, William Kaufman, Los Altos, CA, Aug. 1979.

[131]

C. Forgy and J. McDermott, "OPS--A Domain-Independent Production Systems Language," Proc. 5th IJCAI, pp. 933--939, William Kaufman, Los Altos, CA, 1977.

[132]

M. Stefik, D. Bobrow, S. Mittal, and L. Conway, "Knowledge Programming in LOOPS: Report on an Experimental Course," The AI magazine, pp. 20--30, AAAI, Fall 1983.

[133]

J. Fain and F. Hayes-Roth, et al., Programming in ROSIE: An Introduction by Means of Examples, Tech. Note N-1646-ARPA, Rand Corp., Santa Monica, CA, 1982.

[134]

R. Greiner and D. Lenat, "A Representation Language," Proc. First Nat'l Conf. on Al, pp. 165--169, William Kaufman, Los Altos, CA, 1980.

[135]

R. Davis and B. Buchanan, "Meta-level Knowledge: Overview and Applications," Proc. 5th IJCAI, pp. 920--928, William Kaufman, Los Altos, CA, 1977.

[136]

S. M. Weiss and C. A. Kulikowski, "EXPERT: A System for Developing Consulting Models," Proc. 6th IJCAI, pp. 942--947, William Kaufman, Los Altos, CA, 1979.

[137]

R. O. Duda, J. G. Gaschnig, and P. E. Hart, "Model Design in the PROSPECTOR Consultant System for Mineral Exploration," in Expert System in the Micro-Electronics Age, Edingburgh Univ. Press, Edingburgh, England, 1979.

[138]

B. G. Buchanan and E. A. Feigenbaum, "Dendral and Meta-Dendral: Their Applications Dimension," Al, vol. 11, no. 1-2, pp. 5--24, North-Holland, 1978.

[139]

D. B. Lenat and J. S. Brown, "Why AM and EURISKO Appear to Work?," Al, vol. 23, no. 3, pp. 269--294, North-Holland, 1984.

Digital Library

[140]

C. Mead and L. Conway, Introduction to VLSI Systems, Addison-Wesley, 1980.

Digital Library

[141]

B. P. Treleaven and C. Philip, ed., VLSI Architectures, Prentice-Hall, 1983.

[142]

C. L Seitz, ed., Proc. Caltech Conf. on Very Large Scale Integration, Caltech, Pasadena, CA, Jan, 1979.

[143]

Proc. 2nd Caltech Conf. on Very Large Scale Integration, Computer Science Press, 1981.

[144]

R. Bryant, ed., Proc. 3rd Caltech Conf. on Very Large Scale Integration, Computer Science Press, 1983.

[145]

P. C. Treleaven, "VLSI Processor Architectures," Computer, vol. 15, no. 6, pp. 33--45, IEEE, June 1982.

Digital Library

[146]

T. Williams, "Semiconductor Memories: Density and Diversity," Computer Design, pp. 105--116, PennWell, Aug. 1984.

[147]

H. T. Kung, "Let's Design Algorithms for VLSI Systems," in Proc. Caltech Conf. on VLSI, ed. C. L. Seitz, pp. 65--90, Caltech, Pasadena, CA, Jan. 1979.

[148]

M. J. Foster and H. T. Kung, "The Design of Special-Purpose VLSI Chips," Computer, vol. 13, no. 1, pp. 26--40, IEEE, Jan. 1980.

Digital Library

[149]

J. Grinberg, G. R. Nudd, and R. D. Etchells, "A Cellular VLSI Architecture," Computer, vol. 17, no. 1, pp. 69--81, IEEE, Jan. 1984.

Digital Library

[150]

C. L. Seitz, "Concurrent VLSI Architectures," Trans. on Computers, vol. C-33, no. 12, pp. 1247--1265, IEEE, Dec. 1984.

[151]

J. A. B. Fortes, K. S. Fu, and B. W. Wah, "Systematic Approaches to the Design of Algorithmically Specified Systolic Arrays," Proc. Int'l Conf. on Accoustics, Speech, and Signal Proc., pp. 8.9.1-8.9.4, IEEE, 1985.

[152]

S. E. Fahlman and G. E. Hinton, "Massively Parallel Architectures for Al: NETL, THISTLE, and BOLTZMANN Machines," Proc. Nat'l Conf. on Al, pp. 109--113, AAAI, 1983.

[153]

D. Bitton, D. J. DeWitt, D. K. Hsiao, and J. Menon, "A Taxonomy of Parallel Sorting," Computing Surveys, vol. 16, no. 3, pp. 287--318, ACM, Sept. 1984.

Digital Library

[154]

J. D. Ullman, "Some Thoughts About Supercomputer Organization," Proc. COMPCON Spring, pp. 424--432, IEEE, Feb. 1984.

[155]

C. D. Thompson and H. T. Kung, "Sorting on a Mesh-Connected Parallel Computer," Comm. of the ACM, vol. 20, no. 4, pp. 263--271, ACM, April 1977.

Digital Library

[156]

C. D. Thompson, "The VLSI Complexity of Sorting," Trans. on Computers, vol. C-32, no. 12, pp. 1171--1184, IEEE, Dec. 1983.

[157]

C. C. Hsiao and L. Snyder, "Omni-Sort: A Versatile Data Processing Operation for VLSI," Proc. Int'l Conf. on Parallel Processing, pp. 222--225, IEEE, 1983.

[158]

L. E. Winslow and Y. C. Chow, "The Analysis and Design of Some New Sorting Machines," Trans. on Computers, vol. C-32, no. 7, pp. 677--683, IEEE, July 1983.

[159]

M. A. Bonuccelli, E. Lodi, and L. Pagli, "External Sorting in VLSI," Trans. on Computers, vol. C-33, no. 10, pp. 931--934, IEEE, Oct. 1984.

[160]

G. Baudet and D. Stevenson, "Optimal Sorting Algorithms for Parallel Computers," Trans. on Computers, vol. C-27, no. 1, pp. 84--87, IEEE, Jan. 1978.

[161]

F. P. Preparata, "New Parallel-Sorting Schemes," Trans. on Computers, vol. C-27, no. 7, pp. 669--673, IEEE, July 1978.

[162]

C. P. Kruskal, "Searching, Merging, and Sorting in Parallel Computation," Trans, on Computers, vol. C-32, no. 10, pp. 942--946, IEEE, Oct. 1983.

[163]

B. W. Wah and K. L. Chen, "A Partitioning Approach to the Design of Selection Networks," Trans. on Computers, vol. C-33, no. 3, pp. 261--268, IEEE, March 1984.

[164]

A. C. C. Yao, "Bounds on Selection Networks," SIAM J. on Computing, vol. 9, no. 3, pp. 566--582, SIAM, Aug. 1980.

Digital Library

[165]

L. J. Guibas, H. T. Kung, and C. D. Thompson, "Direct VLSI Implementation of Combinatorial Algorithms," Proc. Caltech Conf. on VLSI, pp. 509--525, Caltech, Pasadena, CA, 1979.

[166]

P. A. V. Hall and G. R. Dowling, "Approximate String Matching," Computing Surveys, vol, 12, no. 4, pp. 381--402, ACM, Dec. 1980.

Digital Library

[167]

C. Hoffmann and M. O'Donnell, "Pattern Matching in Trees," J. of the ACM, vol. 21, no. 1, pp. 68--95, ACM, 1982.

Digital Library

[168]

A. Apostolico and A. Negro, "Systolic Algorithms for String Manipulations," Trans. on Computers, vol. C-33, no. 4, pp. 361--364, IEEE, April 1984.

[169]

J. Aoe, Y. Yamamoto, and R. Shimada, "A Method for Improving String Pattern Matching Machines," Trans. on Software Engineering, vol. SE-10, no. 1, pp. 116--120, IEEE, Jan. 1984.

Digital Library

[170]

S. R. Ahuja and C. S. Roberts, "An Associative/Parallel Processor for Partial Match Retrieval Using Super-imposed Codes," Proc. 7th Annual Symp. on Computer Architecture, pp. 218--227, IEEE/ACM, May 1980.

Digital Library

[171]

K. Goser, C. Foelster, and U. Rueckert, "Intelligent Memories in VLSI," Information Sciences, vol. 34, no. 1, pp. 61--82, Elsevier, 1984.

[172]

S. L. Tanimoto, "A Boolean Matching Operator for Hierarchical Cellular Logic," Proc. Computer Society Workshop on Computer Architecture for Pattern Analysis and Image Database Management, pp. 253--256, IEEE, Oct. 1983.

[173]

R. Gonzalez-Rubio, J. Rohmer, and D. Terral, "The Schuss Filter: A Processor for Non-Numerical Data Processing," Proc. 11th Annual Int'l Symp. on Computer Architecutre, pp. 64--73, IEEE/ACM, June 1984.

Digital Library

[174]

H. C. Du, "Concurrent Disk Accessing for Partial Match Retrieval," Proc. Int'l Conf. on Parallel Processing, pp. 211--218, IEEE, 1982.

[175]

D. P. Bertsekas, "Distributed Dynamic Programming," Trans. on Automatic Control, vol. AC-27, no. 3, pp. 610--616, IEEE, June 1982.

[176]

J. Casti, M. Richardson, and R. Larson, "Dynamic Programming and Parallel Computers," J. of Optimization Theory and Applications, vol. 12, no. 4, pp. 423--438, Plenum Press, Nov. 1973.

[177]

P. N. Yianilos, "Dedicated Comparator Matches Symbol Strings Fast and Intelligently," Electronics, pp. 113--117, McGraw-Hill, 1983.

[178]

R. J. Douglass, "A Qualitative Assessment of Parallelism in Expert Systems," Software, vol. 2, no. 2, pp. 70--81, IEEE, May 1985.

Digital Library

[179]

C. Forgy, A. Gupta, A. Newell, and R. Wedig, "Initial Assessment of Architectures for Production Systems," Proc. Nat'l Conf. on Al, pp. 116--120, AAAI, Aug. 1984.

[180]

E. Tick and D. H. D. Warren, "Towards a Pipelined Prolog Processor," New Generation Computing, vol. 2, no. 4, pp. 323--345, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[181]

J. S. Vitter and R. A. Simons, "Parallel Algorithms for Unification and Other Complete Problems," Proc. ACM'84, pp. 75--84, ACM, Oct. 1984.

Digital Library

[182]

J. S. Vitter and R. A. Simons, "Parallel Algorithms for Unification and Other Complete Problems," Trans. on Computers, IEEE, to appear 1986.

Digital Library

[183]

G. L. Steele Jr. and G. J. Sussman, "Design of a Lisp-Based Microprocessor," Comm. of the ACM, vol, 23, no. 11, pp. 628--645, ACM, Nov. 1980.

Digital Library

[184]

E. A. Feustel, "On the Advantages of Tagged Architecture," Trans. on Computers, vol. C-22, no. 7, pp. 644--656, IEEE, 1973.

[185]

M. J. Atallah and S. R. Kosaraju, "A Generalized Dictionary Machine for VLSI," Trans. on Computers, vol. C-34, no. 2, pp. 151--155, IEEE, Feb. 1985.

[186]

H. Schmeck and H. Schroder, "Dictionary Machines for Different Models of VLSI," Trans. on Computers, vol. C-34, no. 5, pp. 472--475, IEEE, May 1985.

[187]

A. L. Fisher, "Dictionary Machines with a Small Number of Processors," Proc. 11th Annual Int'l Symp. on Computer Architecture, pp. 151--156, IEEE/ACM, June 1984.

Digital Library

[188]

A. K. Somani and V. K. Agarwal, "An Efficient VLSI Dictionary Machine," Proc. 11th Annual Int'l Symp. on computer Architecture, pp. 142--150, IEEE/ACM, June 1984.

Digital Library

[189]

T. A. Ottmann, A. L. Rosenberg, and L. J. Stockmeyer, "A Dictionary Machine (for VLSI)," Trans. on Computers, vol. C-31, no. 9, pp. 892--897, IEEE, Sept. 1982.

[190]

M. J. Carey and C. D. Thompson, An Efficient Implementation of Search trees on O(log N) Processors, Tech. Rep. UCB/CSD 82/101, Computer Science Division Univ. of California, Berkeley, CA, April 1982.

Digital Library

[191]

C. E. Leiserson, "Systolic Priority Queues," Proc. Caltech Conf. on VLSI, Caltech, Jan. 1979.

[192]

J. L. Bentley and H. T. Kung, "A Tree Machine for Searching Problems," Proc. Int'l Conf. on Parallel Processing, pp. 257--266, IEEE, 1979.

[193]

S. W. Miller, ed., "Special Issue on Mass Storage Systems," Computer, vol. 18, no. 7, IEEE, July 1985.

[194]

S. W. Miller, ed., "Special Issue on Mass Storage Systems Evolution of Data Center Architectures," Computer, vol. 15, no. 7, IEEE, July 1982.

[195]

H. A. Freeman, ed., "Special Issue on Backend Storage Networks," Computer, vol. 13, no. 2, IEEE, Feb. 1980.

[196]

D. K. Hsiao, ed., "Special Issue on Database Machines," Computer, vol. 12, no. 3, IEEE, March 1979.

[197]

G. G. Langdon Jr., ed., "Special Issue on Database Machines," Trans. on Computers, vol. C-28, no. 6, IEEE, June 1979.

[198]

H. Boral and D. DeWitt, "Database Machine: An Idea Whose Time has Passed?," Database Machines, pp. 166--167, Springer-Verlag, 1983.

[199]

F. J. Malabarba, "Review of Available Database Machine Technology," Proc. Trends and Applications, pp. 14--17, IEEE, 1984.

[200]

J. Shemer and P. Neches, "The Genesis of a Database Computer," Computer, vol. 17, no. 11, pp. 42--56, IEEE, Nov. 1984.

Digital Library

[201]

P. B. Hawthorn and D. J. DeWitt, "Performance Analysis of Alternative Database Machine Architectures," Trans. on Software Engineering, vol. SE-8, no. 1, pp. 61--75, IEEE, Jan. 1982.

Digital Library

[202]

E. Babb, "Joined Normal Form: A Storage Encoding for Relational Databases," Trans. on Database Systems, vol. 7, no. 4, pp. 588--614, ACM, Dec. 1982.

Digital Library

[203]

D. Gajski, W. Kim, and S. Fushimi, "A Parallel Pipelined Relational Query Processor: An Architectural Overview," Proc. 11th Annual Int'l Symp. on Computer Architecture, pp. 134--141, IEEE/ACM, June 1984.

Digital Library

[204]

M. Kitsuregawa, H. Tanaka, and T. Moto-oka, "Application of Hash to Data Base Machine and its Architecture," New Generation Computing, vol. 1, no. 1, pp. 63--74, OHMSHA Ltd, and Springer-Verlag, 1983.

Digital Library

[205]

D. E. Shaw, Knowledge-Based Retrieval on a Relational Database Machine, Ph.D. Dissertation, Stanford Univ., Menlo Park, CA; also as Technical Report, Columbia Univ., New York, NY, Aug. 1980.

Digital Library

[206]

Y. Tanaka, "MPDC-Massive Parallel Architecture for Very Large Databases," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 113--137, ICOT and North-Holland, 1984.

[207]

K. Murakami, T. Kakuta, and R. Onai, "Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 18--36, ICOT and North-Holland, 1984.

[208]

S. Shibayama, T. Kakuta, N. Miyazaki, H. Yokota, and K. Murakami, "A Relational Database Machine with Large Semiconductor Disk and Hardware Relational Algebra Processor," New Generation Computing, vol. 2, no. 2, pp. 131--155, OHMSHA Ltd, and Springer-Verlag, 1984.

Digital Library

[209]

C. Kellogg, "Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology," Proc. Nat'l Conf. on Al, pp. 306--309, AAAI, 1982.

[210]

C. Kellogg, "Intelligent Assistants for Knowledge and Information Resources Management," Proc. 8th IJCAI, pp. 170--172, William Kaufman, Los Altos, CA, 1983.

[211]

P. M. Neches, "Hardware Support for Advanced Data Management Systems," Computer, vol. 17, no. 11, pp. 29--40, IEEE, Nov. 1984.

Digital Library

[212]

W. A. Kornfeld, "The Use of Parallelism to Implement a Heuristic Search," Proc. 7th IJCAI, pp. 575--580, William Kaufman, Los Altos, CA, Aug. 1981.

[213]

W. A. Kornfeld, "Combinatorially Implosive Algorithms," Comm. of the ACM, vol. 25, no. 10, pp. 734--738, ACM, Oct. 1982.

Digital Library

[214]

B. W. Weide, "Modeling Unusual Behavior of Parallel Algorithms," Trans. on Computers, vol. C-31, no. 11, pp. 1126--1130, IEEE, Nov. 1982.

[215]

E. Horowitz and A. Zorat, "Divide-and-Conquer for Parallel Processing," Trans. on Computers, vol. C-32, no. 6, pp. 582--585, IEEE, June 1983.

[216]

M. A. Franklin and N. L. Soong, "One-Dimensional Optimization on Multiprocessor Systems," Trans. on Computers, vol. C-30, no. 1, pp. 61--66, IEEE, Jan. 1981.

[217]

S. G. Akl, D. T. Barnard, and R. J. Doran, "Design, Analysis and Implementation of a Parallel Tree Search Algorithm," Trans. on Pattern Analysis and Machine Intelligence, vol. PAMI-4, no. 2, pp. 192--203, IEEE, March 1982.

Digital Library

[218]

E. Dekel and S. Sahni, "Binary Trees and Parallel Scheduling Algorithms," Trans. on Computers, vol. C-32, no. 3, pp. 307--315, IEEE, March 1983.

[219]

J. L. Baer, H. C. Du, and R. E. Ladner, "Binary Search in a Multiprocessing Environment," Trans. on Computers, vol. C-32, no. 7, pp. 667--677, IEEE, July 1983.

[220]

T. H. Lai and S. Sahni, "Anomalies in Parallel Branch and-Bound Algorithms," Comm, of the ACM, vol. 27, no. 6, pp. 594--602, ACM, June 1984.

Digital Library

[221]

G.-J. Li and B. W. Wah, "Computational Efficiency of Parallel Approximate Branch-and-Bound Algorithms," Proc. Int'l Conf. on Parallel Processing, pp. 473--480, IEEE, 1984.

[222]

G.-J. Li and B. W. Wah, "Coping with Anomalies in Parallel Branch-and-Bound Algorithms," Trans. on Computers, vol. C-35, no. 4, IEEE, April 1986.

Digital Library

[223]

T. H. Lai and A. Sprague, "Performance of Parallel Branch-and-Bound Algorithms," Trans. on Computers, vol. C-34, no. 10, pp. 962--964, IEEE, Oct. 1985.

[224]

D. H. Fishman and J. Minker, "II-Representation: A Clause Representation for Parallel Search," Al, vol. 6, no. 2, pp. 103--127, North-Holland, 1975.

[225]

R. A. Finkel and J. P. Fishburn, "Parallelism in Alpha-Beta Search," Al, vol. 19, no. 1, pp. 89--106, North-Holland, 1982.

[226]

T. A. Marsland and M. Campbell, "Parallel Search of Strongly Ordered Game Trees," Computing Surveys, vol. 14, no. 4, pp. 533--551, ACM, Dec. 1982.

Digital Library

[227]

F. J. Peters, "Tree Machine and Divide-and-Conquer Algorithms," Lecture Notes CS 111 (CONPAR81), pp. 25--35, Springer-Verlag, 1981.

Digital Library

[228]

M. R. Sleep and F. W. Burton, "Towards a Zero Assignment Parallel Processor," Proc. 2nd Int'l Conf. on Distributed Computing Systems, pp. 80--85, IEEE, April 1981.

[229]

J. A. Harris and D. R. Smith, "Simulation Experiments of a Tree Organized Multicomputer," Proc. 6th Annual Symp. on Computer Architecture, pp. 83--89, IEEE/ACM, April 1979.

Digital Library

[230]

M. Imai and T. Fukumura, "A Parallelized Branch-and-Bound Algorithm Implementation and Efficiency," Systems, Computers, Controls, vol. 10, no. 3, pp. 62--70, Scripta Publishing, June 1979.

[231]

B. C. Desai, "A Parallel Microprocessing System," Proc. Int'l Conf. on Parallel Processing, p. 136, IEEE, Aug. 1979.

[232]

O. I. El-Dessouki and W. H. Huen, "Distributed Enumeration on Between Computers," Trans. on Computers, vol. C-29, no. 9, pp. 818--825, IEEE, Sept. 1980.

[233]

W. M. McCormack, F. G. Gray, J. G. Tront, R. M. Haralick, and G. S. Fowler, "Multi-Computer Parallel Architectures for Solving Combinatorial Problems," in Multicomputers and Image Processing Algorithms and Programs, ed. K. Preston Jr. and L. Uhr, pp. 431--451, Academic Press, 1982.

[234]

M. Imai, Y. Tateizumi, Y. Yoshida, and T. Fukumura, "A Multicomputer System Based on the Binary-Tree Structure: DON(2)," TGEC, vol. EC83-23, no. 1, pp. 19--30, IECE of Japan, 1983.

[235]

Q. F. Stout, "Sorting, Merging, Selecting and Filtering on Tree and Pyramid Machines," Proc. Int'l Conf. on Parallel Processing, pp. 214--221, IEEE, Aug. 1983.

[236]

B. W. Wah, G.-J. Li, and C. F. Yu, "The Status of MANIP--A Multicomputer Architecture for Solving Combinatorial Extremum-Search Problems," Proc. 11th Annual Int'l Symp. on Computer Architecture, pp. 56--63, IEEE/ACM, June 1984.

Digital Library

[237]

B. W. Wah and Y. W. E. Ma, "MANIP--A Multicomputer Architecture for Solving Combinatorial Extremum-Search Problems," Trans. on Computers, vol. C-33, no. 5, pp. 377--390, IEEE, May 1984.

[238]

R. Finkel and U. Manber, "DIB--A Distributed Implementation of Backtracking," Proc. 5th Int'l Conf. on Distributed Computing Systems, pp. 446--452, IEEE, May 1985.

[239]

E. W. Dijkstra, L. Lamport, A. J. Martin, C. S. Scholten, and E. F. M. Steffens, "On-the-Fly Garbage Collection: An Exercise in Cooperation," Comm. of the ACM, vol. 21, no. 11, pp. 966--975, ACM, Nov. 1978.

Digital Library

[240]

H. G. Baker Jr., "List Processing in Real Time on a Serial Computer," Comm. of the ACM, vol. 21, no. 4, pp. 280--294, April 1978.

Digital Library

[241]

H. C. Baker Jr. and C. Hewitt, "The Incremental Garbage Collection of Processes," Proc. Symp. on AI and Programming Languages, also SIGART Newsletter, pp. 55--59, ACM, Aug. 1977.

Digital Library

[242]

J. J. Martin, "An Efficient Garbage Compaction Algorithm," Comm. of the ACM, vol. 25, no. 8, pp. 571--581, ACM, Aug. 1982.

Digital Library

[243]

D. Spector, "Minimal Overhead Garbage Collection of Complex List Structure," SIGPLAN Notices, vol. 17, no. 3, pp. 80--82, ACM, 1982.

Digital Library

[244]

Y. Hibino, "A Practical Parallel Garbage Collection Algorithm and Its Implementations," Proc. 7th Annual Symp. on Computer Architecture, pp. 113--120, IEEE/ACM, May 1980.

Digital Library

[245]

R. Fenichel and J. Yochelson, "A Lisp Garbage-Collector for Virtual Memory Computer Systems," Comm. of the ACM, vol. 12, no. 11, pp. 611--612, ACM, Nov. 1979.

Digital Library

[246]

J. M. Barth, "Shifting Garbage Collection Overhead to Compile Time," Comm. of the ACM, vol. 20, no. 7, pp. 513--518, ACM, July 1977.

Digital Library

[247]

H. Kung and S. Song, An Efficient Parallel Garbage Collection Systems and Its Correctness Proof, Technical Report, Department of Computer Science, Carnegie-Mellon Univ., Pittsburgh, PA, Sept. 1977.

Digital Library

[248]

L. Deutsch and D. Bobrow, "An Efficient Incremental, Automatic Garbage Collector," Comm. of the ACM, vol. 19, no. 9, pp. 522--526, ACM, Sept. 1976.

Digital Library

[249]

D. Bobrow and D. Clark, "Compact Encoding of List Structure," Trans. on Prog. Language and Systems, vol. 1, no. 2, pp. 266--286, ACM, 1979.

Digital Library

[250]

I. A. Newman and M. C. Woodward, "Alternative Approaches to Multiprocessor Garbage Collection," Proc. Int'l Conf. on Parallel Processing, pp. 205--210, IEEE, 1982.

[251]

G. Steele, "Multiprocessing Compactifying Garbage Collection," Comm. of the ACM, vol. 18, no. 9, pp. 495--508, ACM, Sept. 1975.

Digital Library

[252]

J. Darlington, "Functional Programming (Chapter 5)," in Distributed Computing, ed. F. B. Chambers, D. A. Duce, and G. P. Jones, Academic Press, London, 1984.

[253]

R. Fateman, "Is a Lisp Machine Different from Fortran Machine?," SIGSAM Bulletin, vol. 12, no. 4, ACM, 1978.

Digital Library

[254]

J. Fitch, "Do We Really Want a Lisp Machine?," SEAS/SMC Annual Meeting, ACM, Jan. 1980.

[255]

E. Myers, "Machine that Lisp," Datamation, vol. 27, no. 9, pp. 105--108, Technical Publishing, Sept. 1981.

[256]

T. Knight, The CONS Microprocessor, AI Working Paper 80, MIT, Cambridge, MA, Nov. 1974.

[257]

A. Bawden, R. Greenblatt, J. Holloway, T. Knight, D. Moon, and D. Weinreb, "The Lisp Machine," in Al: An MIT Perspective, ed. P. H. Winston and R. H. Brown, vol. 1, pp. 343--373, MIT Press, 1979.

[258]

S. R. Schoichet, "The Lisp Machine," Mini-Micro Systems, pp. 68--74, Cahners Publishing, June 1978.

[259]

R. G. Greenblatt, T. F. Knight, J. T. Holloway, and D. A. Moon, "A Lisp Machine," Proc. 5th Workshop on Computer Architecture for Non-Numeric Processing, pp. 137--138, ACM, March 1980.

Digital Library

[260]

T. Manuel, "Lisp and Prolog Machines are Proliferating," Electronics, pp. 132--137, McGraw-Hill, Nov. 1983.

[261]

W. Myers, "Lisp Machines Displayed at AI Conf.," Computer, vol. 15, no. 11, pp. 79--82, IEEE, Nov. 1982.

Digital Library

[262]

T. Kurokawa, "Lisp Activities in Japan," Proc. 6th IJCAI, pp. 502--504, William Kaufman, Los Altos, CA, 1979.

[263]

D. Weinreb and D. Moon, Flavors, Message Passing in the Lisp Machine, AI Memo 602, MIT Lab, Cambridge, MA, Nov. 1980.

[264]

L. Walker, "Lisp Language Gets Special Machine," Electronics, pp. 40--41, McGraw-Hill, Aug. 25, 1981.

[265]

D. A. Moon, "Architecture of the Symbolics 3600," Proc. 12th Annual Int'l Symp. on Computer Architecture, pp. 76--83, IEEE/ACM, June 1985.

Digital Library

[266]

J. Moore, The Interlisp Virtual Machine Specification, Tech. Rep. CSL 76-5, Xerox PARC, Palo Alto, CA, Sept. 1976.

[267]

D. G. Bobrow, The LOOPS Manual, Tech. Rep. KBVLSI-81-13, Xerox PARC, Palo Alto, CA, 1982.

[268]

B. Sheil, "Family of Personal Lisp Machines Speeds AI Program Development," Electronics, pp. 153--156, McGraw-Hill, Nov. 1983.

[269]

H. Hayashi, A. Hattori, and H. Akimoto, "ALPHA: A High-Performance Lisp Machine Equipped with a New Stack Structure and Garbage Collection System," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 342--348, IEEE/ACM, June 1983.

Digital Library

[270]

H. Akimoto, S. Shimizu, A. Shinagawa, A. Hattori, and H. Hayashi, "Evaluation of the Dedicated Hardware in FACOM Alpha," Proc. COMPCON Spring, pp. 366--369, IEEE, 1985.

[271]

G. J. Sussman, J. Holloway, G. L. Steel Jr., and A. Bell, "Scheme-79--Lisp on a Chip," Computer, vol. 14, no. 7, pp. 10--21, IEEE, July 1981.

Digital Library

[272]

G. Steel and G. Sussman, Design of Lisp-Based Processor, or SCHEME: A Dielectric Lisp or Finite Memories Considered harmful, or LAMBDA: The Ultimate Opcode, AI Memo 514, MIT, Cambridge, MA, March 1979.

Digital Library

[273]

M. Griss and M. Swanson, "MBALM/1700: A Microprogrammed Lisp Machine for the Burroughs B1726," Proc. MICRO-10, ACM/IEEE, 1977.

Digital Library

[274]

K. Taki, Y. Kaneda, and S. Maekawa, "The Experimental Lisp Machine," Proc. 6th IJCAI, pp. 865--867, William Kaufman, Los Altos, CA, Aug. 1979.

[275]

E. Goto, T. Ida, K. Hiraki, M. Suzuki, and N. Inada, "FLATS, A Machine for Numerical, Symbolic and Associative Computing," Proc. 6th IJCAI, pp. 1058--1066, William Kaufman, Los Altos, CA, Aug. 1979.

Digital Library

[276]

P. Deutsch, "Experience with a Microprogrammed Interlisp Systems," Proc. MICRO, vol. 11, ACM/IEEE, Nov. 1978.

Digital Library

[277]

M. Nagao, J. I. Tsujii, K. Nakajima, K. Mitamura, and H. Ito, "Lisp Machine NK3 and Measurement of Its Performance," Proc. 6th IJCAI, pp. 625--627, William Kaufman, Los Altos, CA, Aug. 1979.

[278]

N. Greenfeld and A. Jericho, "A Professional's Personal Computer System," Proc. 8th Int'l Symp. on Comp. Architecture, pp. 217--226, IEEE/ACM, 1981.

Digital Library

[279]

J. P. Sansonnet, M. Castan, and C. Percebois, "M3L: A List-Directed Architecture," Proc. 7th Annual Symp. on Computer Architecture, pp. 105--112, IEEE/ACM, May 1980.

Digital Library

[280]

J. Sansonnet, D. Botella, and J. Perez, "Function Distribution in a List-Directed Architecture," Microprocessing and Microprogramming, vol. 9, no. 3, pp. 143--153, North-Holland, 1982.

[281]

J. P. Sansonnet, M. Castan, C. Percebois, D. Botella, and J. Perez, "Direct Execution of Lisp on a List-Directed Architecture," Proc. Symp. on Architectural Support for Programming Languages and Operating Systems, pp. 132--139, ACM, March 1982.

Digital Library

[282]

E. von Puttkamer, "A Microprogrammed Lisp Machine," Microprocessing and Microprogramming, vol. 11, no. 1, pp. 9--14, North-Holland, Jan. 1983.

[283]

R. Williams, "A Multiprocessing System for the Direct Execution of Lisp," Proc. 4th Workshop on Computer Architecture for Non-Numeric Processing, ACM, Aug. 1978.

Digital Library

[284]

D. McKay and S. Shapiro, "MULTI--A Lisp Based Multiprocessing System," Conf. Record of Lisp Conf., Stanford Univ., Menlo Park, CA, 1980.

[285]

M. Model, "Multiprocessing via Intercommunicating Lisp Systems," Conf. Record of Lisp Conf., Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[286]

C. Hewitt, "The Apiary Network Architecture for Knowledgeable Systems," Conf. Record of Lisp Conf., pp. 107--117, Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[287]

A. Guzman, "A Heterarchical Multi-Microprocessor Lisp Machine," Proc. Workshop on Computer Architecture for Pattern Analysis and Image Database Management, pp. 309--317, IEEE, Nov. 1981.

[288]

S. Sugimoto, K. Agusa, K. Tabata, and Y. Ohno, "A Multi-Microprocessor System for Concurrent Lisp," Proc. Int'l Conf. on Parallel Processing, pp. 135--143, IEEE, 1983.

[289]

Y. Yamaguchi, K. Toda, J. Herath, and T. Yuba, "EM-3: A Lisp-Based Data-Driven Machine," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 524--532, ICOT and North-Holland, 1984.

[290]

Y. Yamaguchi, K. Toda, and T. Yuba, "A Performance Evaluation of a Lisp-Based Data-Driven Machine (EM-3)," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 363--369, IEEE/ACM, June 1983.

Digital Library

[291]

W. K. Giloi and R. Gueth, "Concepts and Realization of a High-Performance Data Type Architecture," Int'l J. of Computer and Information Sciences, vol. 11, no. 1, pp. 25--54, Plenum Press, 1982.

[292]

P. C. Treleaven and R. P. Hopkins, "A Recursive Computer Architecture for VLSI," Proc. 9th Annual Symp. on Computer Architecture, pp. 229--238, IEEE/ACM, April 1982.

Digital Library

[293]

M. Amamiya, R. Hasegawa, O. Nakamura, and H. Mikami, "A List-Processing-Oriented Data Flow Machine Architecture," Proc. NCC, pp. 144--151, AFIPS Press, 1982.

[294]

M. Amamiya and R. Hasegawa, "Dataflow Computing and Eager and Lazy Evaluations," New Generation Computing, vol. 2, no. 2, pp. 105--129, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[295]

H. Diel, "Concurrent Data Access Architecture," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 373--388, ICOT and North-Holland, 1984.

[296]

G. Coghill and K. Hanna, "PLEIADES: A Multimicroprocessor Interactive Knowledge Base," Microprocessors and Microsystems, vol. 3, no. 2, pp. 77--82, IPC Business Press, England, March 1979.

[297]

M. Deering, J. Faletti, and R. Wilensky, "PEARL--A Package for Efficient Access to Representations in Lisp," Proc. 7th IJCAI, pp. 930--932, William Kaufman, Los Altos, CA, Aug. 1981.

[298]

H. Samet, "Code Optimization Considerations in List Processing Systems," Trans. on Software Engineering, vol. SE-8, no. 2, pp. 107--113, IEEE, March 1982.

Digital Library

[299]

S. Taff "The Design of an M6800 Lisp Interpreter," Byte, pp. 132--152, McGraw-Hill, Aug. 1979.

[300]

P. Deutsch, "ByteLisp and its Alto Implementation," Conf. Record of Lisp Conf., Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[301]

S. P. Levitan and J. G. Bonar, "Three Microcomputer Lisps," Byte, pp. 388--412, McGraw-Hill, Sept. 1981.

[302]

T. King, "Expert Systems with 68000 and Lisp," Microprocessors and Microsystems, vol. 8, no. 7, pp. 374--376, IPC Business Press, England, Sept. 1984.

[303]

W. D. Strecker, "Clustering VAX Superminicomputers into Large Multiprocessor Systems," Electronics, pp. 143--146, McGraw-Hill, Oct. 20, 1983.

[304]

C. Hewitt, "Viewing Control Structure as Patterns of Passing Messages," Al, vol. 8, no. 3, pp. 323--364, North-Holland, 1977.

[305]

The Xerox Learning Research Group, "The Smalltalk-80 System," Byte, pp. 36--48, McGraw-Hill, Aug. 1981.

[306]

A. Plotkin and D. Tabak, "A Tree Structured Architecture for Semantic Gap Reduction," Computer Architecture News, vol. 11, no. 4, pp. 30--44, ACM SIGARCH, Sept. 1983.

Digital Library

[307]

S. R. Vegdahl, "A Survey of Proposed Architectures for the Execution of Function of Functional Languages," Trans. on Computers, vol. C-33, no. 12, pp. 1050--1071, IEEE, Dec. 1984.

[308]

P. S. Abrahms, An API. Machine, Ph.D. Dissertation, Stanford Univ., Menlo Park, CA, Feb. 1970.

Digital Library

[309]

K. J. Berkling, "Reduction Languages for Reduction Machines," Proc. Int'l Symp. on Computer Architecture, pp. 133--140, IEEE/ACM, 1975.

Digital Library

[310]

M. Castan and E. I. Organick, "M3L: An HLL-RISC Processor for Parallel Execution of FP-Language Programs," Proc. 9th Annual Symp. on Computer Architecture, pp. 239--247, IEEE/ACM, 1982.

Digital Library

[311]

G. Mago, "A Network of Microprocessors to Execute Reduction Languages, Part I," Int'l J. of Computer and Information Sciences, vol. 8, no. 5, pp. 349--385, Plenum Press, 1979.

[312]

G. Mago, "A Network of Microprocessors to Execute Reduction Languages, Part II," Int'l J. of Computer and Information Sciences, vol. 8, no. 6, pp. 435--471, Plenum Press, 1979.

[313]

G. Mago, "Making Parallel Computation Simple: The FFP Machine," Proc. COMPCON Spring, pp. 424--428, IEEE, 1985.

[314]

R. M. Keller, G. Lindstrom, and S. Patil, "A Loosely-Coupled Applicative Multiprocessing System," Proc. NCC, pp. 613--622, AFIPS Press, 1979.

[315]

A. L. Davis, "A Data Flow Evaluation System Based on the Concept of Recursive Locality," Proc. NCC, pp. 1079--1086, AFIPS Press, 1979.

[316]

J. T. O'Donnell, A Systolic Associative Lisp Computer Architecture with Incremental Parallel Storage Management, Ph.D. Dissertation, Univ. of Iowa, Iowa City, IA, 1981.

Digital Library

[317]

D. P. Friedman and D. S. Wise, "Aspects of Applicative Programming for Parallel Processing," Trans. on Computers, vol. C-27, no. 4, pp. 289--296, IEEE, April 1978.

[318]

W. A. Kornfeld, "ETHER--A Parallel Problem Solving System," Proc. 6th IJCAI, pp. 490--492, William Kaufman, Los Altos, CA, 1979.

[319]

J. Darlington and M. Reeve, ALICE and the Parallel Evaluation of Logic Programs, Preliminary Draft, Dept. of Computing, Imperial College of Science and Technology, London, England, June 1983.

[320]

K. Smith, "New Computer Breed Uses Transputers for Parallel Processing," Electronics, pp. 67--68, McGraw-Hill, Feb. 24, 1983.

[321]

F. Hommes, "The Heap/Substitution Concept--An Implementation of Functional Operations on Data Structures for a Reduction Machine," Proc. 9th Annual Symp. on Computer Architecture, pp. 248--256, IEEE/ACM, April 1982.

Digital Library

[322]

W. E. Kluge, "Cooperating Reduction Machines," Trans. on Computers, vol. C-32, no. 11, pp. 1002--1012, IEEE, Nov. 1983.

[323]

R. M. Keller and F. C. H. Lin, "Simulated Performance of a Reduction-Based Multiprocessor," Computer, vol. 17, no. 7, pp. 70--82, IEEE, July 1984.

Digital Library

[324]

R. M. Keller, F. C. H. Lin, and J. Tanaka, "Rediflow Multiprocessing," Proc. COMPCON Spring, pp. 410--417, IEEE, 1984.

[325]

T. Clarke, P. Gladstone. C. Maclean, and A. Norman, "SKIM--The S, K, I Reduction Machine," Conf. Record of Lisp Conf., Stanford Univ., Menlo Park, CA, 1980.

Digital Library

[326]

P. Treleaven and G. Mole, "A Multi-Processor Reduction Machine for User-Defined Reduction Languages," Proc. 7th Int'l Symp. Computer Architecture, pp. 121--130, IEEE/ACM, 1980.

Digital Library

[327]

D. G. Bobrow, "If Prolog is the Answer, What is the Question?," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 138--145, ICOT and North-Holland, 1984.

[328]

H. Ogawa, T. Kitahashi, and K. Tanaka, "The Theorem Prover Using a Parallel Processing System," Proc. 6th IJCAI, pp. 665--667, William Kaufman, Los Altos, CA, Aug. 1979.

[329]

S. I. Nakagawa and T. Sakai, "A Parallel Tree Search Method," Proc. 6th IJCAI, pp. 628--632, William Kaufman, Los Altos, CA, Aug. 1979.

[330]

C. Smith, "The Power of Parallelism for Automatic Programming Synthesis," Proc. 22nd Annual Symp. on Fnd. of Computer Science, ACM, 1981.

[331]

M. J. Wise, "EPILOG = Prolog + Data Flow: Arguments for Combining Prolog with a Data Driven Mechanism," SIGPLAN Notices, vol. 17, no. 12, pp. 80--86, ACM, Dec. 1982.

Digital Library

[332]

S. Umeyama and K. Tamura, "A Parallel Execution Model of Logic Programs," Proc. 10th Annual Symp. on Computer Architecture, pp. 349--355, IEEE/ACM, June 1983.

Digital Library

[333]

A. Ciepielewski and S. Haridi, "Execution of Bagof on the OR-Parallel Token Machine," Proc. Int'l Conf. 5<sup>th</sup> Generation Computer Systems, pp. 551--560, ICOT and North-Holland, 1984.

[334]

H. Yasuhara and K. Nitadori, "ORBIT: A Parallel Computing Model of Prolog," New Generation Computing, vol. 2, no. 3, pp. 277--288, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[335]

D. DeGroot, "Restricted AND-Parallelism," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computers, pp. 471--478, ICOT and North-Holland, Nov. 1984.

[336]

T. Khabaza, "Negation as Failure and Parallelism," Proc. Int'l Symp. on Logic Programming, pp. 70--75, IEEE, Feb. 1984.

[337]

G. Lindstrom and P. Panangaden, "Stream-Based Execution of Logic Programs," Proc. Int'l Symp. on Logic Programming, pp. 168--176, IEEE, Feb, 1984.

[338]

G.-J. Li and B. W. Wah, "MANIP-2: A Multicomputer Architecture for Evaluating Logic Programs," Proc. Int'l Conf. on Parallel Processing, pp. 123--130, IEEE, June 1985.

[339]

J. H. Chang, A. M. Despain, and D. DeGroot, "AND-Parallelism of Logic Programs Based on A Static Data Dependency Analysis," Proc. COMPCON Spring, pp. 218--225, IEEE, 1985.

[340]

J. S. Conery and D. F. Kibler, "Parallel Interpretation of Logic Programs," Proc. Conf. on Functional Programming Languages and Computer Architecture, pp. 163--170, ACM, 1981.

Digital Library

[341]

J. S. Conery and D. F. Kibler, "AND Parallelism and Nondeterminism in Logic Programs," New Generation Computing, vol. 3, no. 1, pp. 43--70, OHMSHA Ltd. and Springer-Verlag, 1985.

Digital Library

[342]

D. A. Carlson, "Parallel Processing of Tree-Like Computations," Proc. 4th Int'l Conf. on Distributed Computing Systems, pp. 192--198, IEEE, May 1984.

[343]

M. D. Rychener, "Control Requirements for the Design of Production System Architectures," Proc. Symp. on AI and Programming Languages, also SIGART Newsletter, pp. 37--44, ACM, Aug. 1977.

Digital Library

[344]

K. Oflazer, "Partitioning in Parallel Processing of Production Systems," Proc. Int'l Conf. on Parallel Processing, pp. 92--100, IEEE, 1984.

[345]

M. F. M. Tenorio and D. I. Moldovan, "Mapping Production Systems into Multiprocessors," Proc. Int'l Conf. on Parallel Processing, pp. 56--62, IEEE, 1985.

[346]

B. V. Funt, "Whisper: A Problem-Solving System Utilizing Diagrams," Proc. 5th IJCAI, pp. 459--464, William Kaufman, Los Altos, CA, Aug. 1977.

[347]

J. P. Adam, et al., The IBM Paris Scientific Center Programming in Logic Interpreter: Overview, Report, IBM France Scientific Center, Oct., 1984.

[348]

Y. Igawa, K. Shima, T. Sugawara, and S. Takagi, "Knowledge Representation and Inference Environment: KRINE--An Approach to Integration of Frame, Prolog and Graphics," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 643--651, ICOT and North-Holland, 1984.

Digital Library

[349]

M. Yokota, et al., "A Microprogrammed Interpreter for Personal Sequential Inference Machine," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 410--418, ICOT and North-Holland, 1984.

[350]

W. F. Clocksin, "Design and Simulation of a Sequential Prolog Machine," New Generation Computing, vol. 3, no. 2, pp. 101--120, OHMSHA Ltd. and Springer-Verlag, 1985.

Digital Library

[351]

M. S. Johnson, "Some Requirements for Architectural Support of Software Debugging," Proc. SIGPLAN Symp. on Compiler Construction, pp. 140--148, ACM, June 1982.

Digital Library

[352]

N. Tamura, K. Wada, H. Matsuda, Y. Kaneda, and S. Maekawa, "Sequential Prolog Machine PEK," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 542--550, ICOT and North-Holland, 1984.

[353]

D. B. Lenat and J. McDermott, "Less Than General Production System Architectures," Proc. 5th IJCAI, pp. 923--932, William Kaufman, Los Altos, CA, 1977.

[354]

C. J. Hogger, "Concurrent Logic Programming," in Logic Programming, ed. S.-A. Tarnlund and K. Clark, pp. 199--211, Academic Press, 1982.

[355]

M. H. van Emden and G. J. de Lucena-Filho, "Predicate Logic as a Language for Parallel Programming," in Logic Programming, ed. S.-A. Tarnlund and K. Clark, pp. 189--198, Academic Press, 1982.

[356]

E. Y. Shapiro, Subset of Concurrent Prolog and its Interpreter, Tech. Rep. TR-003, ICOT, Tokyo, Japan, 1983.

[357]

A. J. Kusalik, "Serialization of Process Reduction in Concurrent Prolog," New Generation Computing, vol. 2, no. 3, pp. 289--298, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[358]

P. Borgwardt, "Parallel Prolog using Stack Segments on Shared-Memory Multiprocessors," Proc. Int'l Symp. on Logic Programming, pp. 2--11, IEEE, Feb. 1984.

[359]

K. Ueda and T. Chikayama, "Efficient Stream/Array Processing in Logic Programming Languages," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 317--326, ICOT and North-Holland, 1984.

[360]

E. Shapiro and A. Takeuchi, "Object Oriented programming in Concurrent Prolog," New Generation Computing, vol. 1, no. 1, pp. 25--48, OHMSHA Ltd. and Springer-Verlag, 1983.

Digital Library

[361]

N. Suzuki, "Concurrent Prolog as an Efficient VLSI Design Language," Computer, vol. 18, no. 2, pp. 33--40, IEEE, Feb. 1985.

Digital Library

[362]

A. Taueuchi and K. Furukawa, "Bounded Buffer Communication in Concurrent Prolog," New Generation Computing, vol. 3, no. 2, pp. 145--155, OHMSHA Ltd. and Springer-Verlag, 1985.

Digital Library

[363]

K. Clark and S. Gregory, PARLOG: Parallel Programming in Logic, Research Rep. DOC 84/4, Imperial College, London, England, 1984.

[364]

L. M. Pereira and R. Nasr, "Delta-Prolog, A Distributed Logic Programming Language," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 283--291, ICOT and North-Holland, 1984.

[365]

L. M. Uhr, "Parallel-Serial Production Systems," Proc. 6th IJCAI, pp. 911--916, William Kaufman, Los Altos, CA, Aug. 1979.

[366]

E. Shapiro, "Systolic Programming: A Paradigm of Parallel Processing," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 458--470, ICOT and North-Holland, 1984.

[367]

C. Rieger, R. Trigg, and B. Bane, "ZMOB: A New Computing Engine for Al," Proc. 7th IJCAI, pp. 955--960, William Kaufman, Los Altos, CA, Aug. 1981.

[368]

R. Trigg, "Software on ZMOB: An Object-Oriented Approach," Proc. Workshop on Computer Architecture for Pattern Analysis and Image Database Management, pp. 133--140, IEEE, Nov., 1981.

[369]

U. S. Chakravarthy, S. Kasif, M. Kohli, J. Minker, and D. Cao, "Logic Programming on ZMOB: A Highly Parallel Machine," Proc. Int'l Conf. on Parallel Processing, pp. 347--349, IEEE, Aug. 1982.

[370]

M. Weiser, S. Kogge, M. McElvany, R. Pierson, R. Post, and A. Thareja, "Status and Performance of the ZMOB Parallel Processing System," Proc. COMPCON Spring, pp. 71--73, IEEE, Feb. 1985.

[371]

S. Kasif, M. Kohli, and J. Minker, "PRISM: A Parallel inference System for Problem Solving," Proc. 8th IJCAI, pp. 544--546, William Kaufman, Los Altos, CA, 1983.

[372]

A. M. Despain and Y. N. Patt, "Aquarius--A High Performance Computing System for Symbolic/Numeric Applications," Proc. COMPCON Spring, pp. 376--382, IEEE, Feb. 1985.

[373]

A. Koster, "Compiling Prolog Programs for Parallel Execution on a Cellular Machine," Proc. ACM'84, pp. 167--178, ACM, Oct. 1984.

Digital Library

[374]

L. Bic, "Execution of Logic Programs on a Dataflow Architecture," Proc. 11th Annual Int'l Symp. on Computer Architecture, pp. 290--296, IEEE/ACM, June 1984.

Digital Library

[375]

R. Hasegawa and M. Amamiya, "Parallel Execution of Logic Programs based on Dataflow Concept," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 507--516, ICOT and North-Holland, 1984.

[376]

K. B. Irani and Y. F. Shih, "Implementation of Very Large Prolog-Based Knowledge Bases on Data Flow Architectures," Proc. 1st Conf. On AI Applications, pp. 454--459, IEEE, Dec. 1984.

[377]

S. J. Stolfo and D. E. Shaw, DADO: A Tree-Structured Machine Architecture for Production Systems, Technical Report, Columbia Univ., New York, NY, March 1982.

[378]

A. Gupta, "Implementing OPS5 Production Systems on DADO," Proc. Int'l Conf. on Parallel Processing, pp. 83--91, IEEE, 1984.

[379]

S. J. Stolfo and D. P. Miranker, "DADO: A Parallel Processor for Expert Systems," Proc. Int'l Conf. on Parallel Processing, pp. 74--82, IEEE, Aug. 1984.

[380]

S. J. Stolfo, "Five Parallel Algorithms for Production System Execution on the DADO Machine," Proc. Nat'l Conf. on Al, pp. 300--307, AAAI, Aug. 1984.

[381]

W. Dilger and J. Muller, "An Associative Processor for Theorem Proving," Proc. of the Symp. on Al, pp. 489--497, IFAC, 1983.

[382]

I. Takeuchi, H. Okuno, and N. Ohsato, "TAO--A Harmonic Mean of Lisp, prolog, and Smalltalk," SIGPLAN Notices, vol. 18, no. 7, pp. 65--74, ACM, July 1983.

Digital Library

[383]

A. L. Davis and S. V. Robison, "The FAIM-1 Symbolic Multiprocessing System," Proc. COMPCON Spring, pp. 370--375, IEEE, 1985.

[384]

N. V. Findler, Associated Network, Academic Press, 1979.

[385]

S. E. Fahlman, "Design Sketch for a Million-Element NETL Machine," Proc. 1st Annual Nat'l Conf. on Al, pp. 249--252, AAAI, Aug. 1980.

[386]

W. D. Hillis, "The Connection Machine: A Computer Architecture Based on Cellular Automata," Physica, pp. 213--228, North-Holland, 1984.

[387]

Thinking Machines Corporation, The Connection Machine Supercomputer: A Natural Fit to Application Needs, Tech. Rep., Thinking Machines Corporation, Waltham, MA, 1985.

[388]

D. I. Moldovan and Y. W. Tung, SNAP: A VLSI Architecture for AI Processing, Technical Report PPP 84-3, Univ. of Southern California, Los Angeles, CA, 1984.

[389]

D. I. Moldovan, "An Associative Array Architecture Intended for Semantic Network Processing," Proc. ACM'84, pp. 212--221, ACM, Oct. 1984.

Digital Library

[390]

G. E. Hinton, T. J. Sejnowski, and D. H. Askley, Boltzmann Machine: Constraint Satisfaction Network that Learns, Tech. Rep. Carnegie-Mellon Univ., Pittsburgh, PA., 1984.

[391]

D. H. Askley, G. E. Hinton, and T. J. Sejnowski, "A Learning Algorithm for Boltzmann Machines," Cognitive Science, vol. 9, no. 1, pp. 147--169, 1985.

[392]

R. Davis, "Report on the workshop on Distributed Al," SIGART Newsletter, no. 73, pp. 43--52, ACM, 1980.

[393]

R. Davis, "Report on the Second Workshop on distributed Al," SIGART Newsletter, no. 80, pp. 13--83, ACM, 1982.

[394]

M. Fehling and L. Erman, "Report on the Third Annual Workshop on Distributed Al," SIGART Newsletter, no. 84, pp. 3--12, ACM, 1983.

[395]

R. G. Smith, "The Contract Net: A Formalism for the Control of Distributed Problem Solving," Proc. 5th IJCAI, p. 472, William Kaufman, Los Altos, CA, Aug. 1977.

[396]

R. G. Smith, "A Framework for Distributed Problem Solving," Proc. 6th IJCAI, pp. 836--841, William Kaufman, Los Altos, CA, Aug. 1979.

[397]

R. G. Smith and R. Davis, "Frameworks for Cooperation in Distributed Problem Solving," Trans. on Systems, Man and Cybernetics, vol. SMC-11, no. 1, pp. 61--70, IEEE, Jan. 1981.

[398]

J. Pavlin, "Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach," Proc. Nat'l Conf. on Al. pp. 314--319, AAAI, 1983.

[399]

D. D. Corkill and V. R. Lesser, "The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network," Proc. 8th IJCAI, pp. 748--756, William Kaufman, Los Altos, CA, Aug. 1983.

[400]

V. R. Lesser and D. D. Corkill, "The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks," The AI Magazine, pp. 15--33, AAAI, Fall 1983.

[401]

S. Cammarata, D. McArthur, and R. Steeb, "Strategies of Cooperation in Distributed Problem Solving," Proc. of 8th IJCAI, pp. 767--770, William Kaufman, Los Altos, CA, Aug. 1983.

[402]

A. S. Gevins, "Overview of the Human Brain as a Distributed Computing Network," Proc. Int'l Conf. on Computer Design: VLSI in Computers, pp. 13--16, IEEE, 1983.

[403]

W. Fritz and The Intelligent System, SIGART Newsletter, no. 90, pp. 34--38, ACM, Oct. 1984.

Digital Library

[404]

K. Kawanobe, "Current Status and Future Plans of the 5<sup>th</sup> Generation Computer System Project," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 3--36, ICOT and North-Holland, 1984.

[405]

P. C. Treleaven and I. G. Lima, "Japan's 5<sup>th</sup>-Generation Computer Systems," Computer, vol. 15, no. 8, pp. 79--88, IEEE, Aug. 1982.

Digital Library

[406]

T. Moto-oka, "Overview to the 5<sup>th</sup> Generation Computer System Project," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 417--422, IEEE/ACM, June 1983.

Digital Library

[407]

L. Bic, "The 5<sup>th</sup> Generation Grail: A Survey of Related Research," Proc. ACM'84, pp. 293--297, ACM, Oct. 1984.

Digital Library

[408]

S. Uchida and T. Yokoi, "Sequential Inference Machine: SIM Progress Report," proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 58--81, ICOT and North-Holland, 1984.

[409]

T. Yokoi, S. Uchida, and ICOT Third Laboratory, "Sequential Inference Machine: SIM--Its Programming and Operating System," Proc Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 70--81, ICOT and North-Holland, 1984.

[410]

K. Taki, M. Yokota, A. Yamamoto, H. Nishikawa, S. Uchida, H. Nakashima, and A. Mitsuishi, "Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI)," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 398--409, ICOT and North-Holland, 1984.

[411]

M. Yokota, A. Yamamoto. K. Taki, H. Nishikawa, and S. Uchida, "The Design and Implementation of a Personal Sequential Inference Machine: PSI," New Generation Computing, vol. 1, no. 2, pp. 125--144, OHMSHA Ltd. and Springer-Verlag, 1983.

Digital Library

[412]

K. Murakami, T. Kakuta, R. Onai, and N. Ito, "Research on Parallel Machine Architecture for 5<sup>th</sup>-Generation Computer Systems," Computer, vol. 18, no. 6, pp. 76--92, IEEE, June 1985.

Digital Library

[413]

T. Moto-oka, H. Tanaka, H. Aida, K. Hirata, and T. Maruyama, "The Architecture of a Parallel Inference Engine (PIE)," Proc. Int'l Conf. on 5<sup>th</sup> Generation Computer Systems, pp. 479--488, ICOT and North-Holland, 1984.

[414]

A. Goto, H. Tanaka, and T. Moto-oka, "Highly Parallel Inference Engine PIE--Goal Rewriting Model and Machine Architecture," New Generation Computing, vol. 2, no. 1, pp. 37--58, OHMSHA Ltd. and Springer-Verlag, 1984.

Digital Library

[415]

S. Uchida, "Inference Machine: From Sequential to Parallel," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 410--416, IEEE/ACM, June 1983.

Digital Library

[416]

N. Ito and H. Shimizu, "Dataflow Based Execution Mechanisms of Parallel and Concurrent Prolog," New Generation Computing, vol. 3, no. 1, pp. 15--41, OHMSHA Ltd. and Springer-Verlag, 1985.

Digital Library

[417]

K. Murakami, T. Kakuta, N. Miyazaki, S. Shibayama, and H. Yokota, "A Relational Data Base Machine: First Step to Knowledge Base Machine," Proc. 10th Annual Int'l Symp. on Computer Architecture, pp. 423--425, IEEE/ACM, June 1983.

Digital Library

[418]

K. Furukawa and T. Yokoi, "Basic Software System," Proc. Int'l Conf. On 5<sup>th</sup> Generation Computer Systems, pp. 37--57, ICOT and North-Holland, 1984.

[419]

C. D. McCrosky, J. J. Glasgow, and M. A. Jenkins, "Nial: A Candidate Language for 5<sup>th</sup> Generation Computer Systems," Proc. ACM'84, pp. 157--166, ACM, Oct. 1984.

Digital Library

[420]

D. Michie, "Inductive Rule Generation in the Context of the 5<sup>th</sup> Generation," Proc. Int'l Machine Learning Workshop, pp. 65--70, Univ. Of Illinois, Urbana, IL, June 1983.

[421]

T. Maneul, "Cautiously Optimistic Tone Set For 5th Generation," Electronics, pp. 57--63, McGraw-Hill, Dec. 3, 1984.

[422]

K. G. Wilson, "Science, Industry, and the New Japanese Challenge," Proc. IEEE, vol. 72, no. 1, pp. 6--18, IEEE, Jan. 1984.

[423]

"ESPRIT: Europe Challenges U.S. and Japanese Competitors," Future Generation Computer Systems, vol. 1, no. 1, pp. 61--69, North-Holland, 1984.

[424]

M. van Emden, "Towards a Western 5<sup>th</sup>-Generation Computer System project," Proc. ACM'84, pp. 298--302, ACM, Oct. 1984.

Digital Library

[425]

Pro. ACM'84 Annual Conf.: The 5<sup>th</sup> Generation Challenge, ACM, 1984.

[426]

J. Darlington and M. Reeve, "ALICE: A Multi-processor Reduction Machine for the Parallel Evaluation of Applicative Languages," Proc. Conf. on Functional Programming Languages and Computer Architecture, pp. 65--74, ACM, 1981.

Digital Library

[427]

I. W. Moor, An Applicative Compiler for a Parallel Machine, Research Report DoC83/6, Imperial College, London, England, March 1983.

[428]

J. Darlington, A. J. Field, and H. Pull, The Unification of Functional and Logic Languages, Tech. Report, Imperial College, London, England, Feb. 1985.

[429]

M. Dawson, A LISP Compiler for ALICE, Tech. Report. Imperial College, London, England, 1985.

[430]

"Special Issue on Tomorrow's Computers," Spectrum, vol. 20, no. 11, pp. 51--58, 69, IEEE, Nov. 1983.

Cited By

Dehne FFerreira ARau-Chaplin A(1994)A massively parallel knowledge-base server using a hypercube multiprocessorParallel Computing10.1016/0167-8191(94)90043-420:9(1369-1382)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1016/0167-8191%2894%2990043-4
Dehne FFerreira ARau-Chaplin A(1990)A massively parallel knowledge-base server using a hypercube multiprocessor[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence10.1109/TAI.1990.130417(660-666)Online publication date: 1990
https://doi.org/10.1109/TAI.1990.130417
Koster A(1990)A functional programming-directed database machineInformation Sciences: an International Journal10.1016/0020-0255(90)90009-Y50:2(151-183)Online publication date: 1-Feb-1990
https://dl.acm.org/doi/10.1016/0020-0255%2890%2990009-Y
Show More Cited By

Index Terms

Survey on special purpose computer architectures for AI

Recommendations

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGART Bulletin

ACM SIGART Bulletin Just Accepted

April 1986

38 pages

ISSN:0163-5719

DOI:10.1145/15715

Editor:
Keith Price

Issue’s Table of Contents

Copyright © 1986 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 April 1986

Published in SIGAI , Issue 96

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

8
Total Citations
View Citations
1,377
Total Downloads

Downloads (Last 12 months)110
Downloads (Last 6 weeks)15

Reflects downloads up to 24 Sep 2024

Other Metrics

View Author Metrics

Citations

Cited By

Dehne FFerreira ARau-Chaplin A(1994)A massively parallel knowledge-base server using a hypercube multiprocessorParallel Computing10.1016/0167-8191(94)90043-420:9(1369-1382)Online publication date: 1-Sep-1994
https://dl.acm.org/doi/10.1016/0167-8191%2894%2990043-4
Dehne FFerreira ARau-Chaplin A(1990)A massively parallel knowledge-base server using a hypercube multiprocessor[1990] Proceedings of the 2nd International IEEE Conference on Tools for Artificial Intelligence10.1109/TAI.1990.130417(660-666)Online publication date: 1990
https://doi.org/10.1109/TAI.1990.130417
Koster A(1990)A functional programming-directed database machineInformation Sciences: an International Journal10.1016/0020-0255(90)90009-Y50:2(151-183)Online publication date: 1-Feb-1990
https://dl.acm.org/doi/10.1016/0020-0255%2890%2990009-Y
Graham J(1989)Special computer architectures for robotics: tutorial and surveyIEEE Transactions on Robotics and Automation10.1109/70.880745:5(543-554)Online publication date: Jan-1989
https://doi.org/10.1109/70.88074
Gooley MKale LPadua DRamkumar BReddy USehr DShu WWah B(1988)Prolog at the University of IllinoisDigest of Papers. COMPCON Spring 88 Thirty-Third IEEE Computer Society International Conference10.1109/CMPCON.1988.4830(68-73)Online publication date: 1988
https://doi.org/10.1109/CMPCON.1988.4830
Delgado-Frias JMoore W(1988)Parallel architectures for AI semantic network processingKnowledge-Based Systems10.1016/0950-7051(88)90079-21:5(259-265)Online publication date: 1-Dec-1988
https://dl.acm.org/doi/10.1016/0950-7051%2888%2990079-2
Bic L(1988)Data-Driven Processing of Semantic NetsParallel Computation and Computers for Artificial Intelligence10.1007/978-1-4613-1989-4_7(131-149)Online publication date: 1988
https://doi.org/10.1007/978-1-4613-1989-4_7
Wah B(1987)Guest Editor's IntroductionComputer10.1109/MC.1987.166335020:1(10-15)Online publication date: 1-Jan-1987
https://dl.acm.org/doi/10.1109/MC.1987.1663350

View Options

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Publication

Media

Figures

Other

Tables

View Issue’s Table of Contents