Survey on special purpose computer architectures for AI
暂无分享,去创建一个
[1] Gyula A. Magó,et al. Making Parallel Computations Simple: The FFP Machine , 1985, COMPCON.
[2] Ian W. Moor,et al. An applicative compiler for a parallel machine , 1982, SIGPLAN '82.
[3] Rubén González-Rubio,et al. The schuss filter: A processor for non-numerical data processing. , 1984, ISCA '84.
[4] Lubomir F. Bic,et al. The Fifth Generation grail: A survey of related research , 1984, ACM '84.
[5] W. Daniel Hillis,et al. The connection machine: A computer architecture based on cellular automata , 1984 .
[6] Gérard M. Baudet,et al. Optimal Sorting Algorithms for Parallel Computers , 1978, IEEE Transactions on Computers.
[7] H. T. Kung,et al. Direct VLSI Implementation of Combinatorial Algorithms , 1979 .
[8] Christian Percebois,et al. M3L: A list-directed architecture , 1980, ISCA '80.
[9] Reid G. Smith,et al. The Contract Net: A Formalism for the Control of Distributed Problem Solving , 1977, IJCAI.
[10] John ffitch,et al. Symbolic computing with and without LISP , 1980, LISP Conference.
[11] Leonard Uhr. Parallel-serial production systems , 1979, IJCAI 1979.
[12] Jack B. Dennis,et al. Data Flow Supercomputers , 1980, Computer.
[13] Leon E. Winslow,et al. The Analysis and Design of Some New Sorting Machines , 1983, IEEE Transactions on Computers.
[14] David H. D. Warren,et al. Prolog - the language and its implementation compared with Lisp , 1977, Artificial Intelligence and Programming Languages.
[15] Lynn Conway,et al. Introduction to VLSI systems , 1978 .
[16] Norton Greenfeld. Jericho: A professional's personal computer system , 1981, ISCA '81.
[17] Arvind,et al. A critique of multiprocessing von Neumann style , 1983, ISCA '83.
[18] Ryuzo Hasegawa,et al. Parallel Execution of Logic Programs based on Dataflow Concept , 1984, Fifth Generation Computer Systems.
[19] Philip S. Abrams,et al. An APL machine , 1970 .
[20] Bruce G. Buchanan,et al. Meta-Level Knowledge: Overview and Applications , 1977, IJCAI.
[21] Richard P. Hopkins,et al. A recursive computer architecture for VLSI , 1982, ISCA 1982.
[22] David Spector. Minimal overhead garbage collection of complex list structure , 1982, SIGP.
[23] Richard Fikes,et al. QLISP: a language for the interactive development of complex systems , 1976, AFIPS '76.
[24] Michael J. Carey,et al. An Efficient Implementation of Search Trees on [lg N + 1] Processors , 1984, IEEE Transactions on Computers.
[25] Ellis Horowitz,et al. Divide-and-Conquer for Parallel Processing , 1983, IEEE Transactions on Computers.
[26] Walter Fritz. The inteligent system , 1984, SGAR.
[27] Koichi Furukawa,et al. Basic Software System , 1984, FGCS.
[28] Hans Diel. Concurrent Data Access Architecture , 1984, FGCS.
[29] Daniel G. Bobrow,et al. An efficient, incremental, automatic garbage collector , 1976, CACM.
[30] Daniel Tabak,et al. A Tree Structured Architecture for semantic gap reduction , 1983, CARN.
[31] Alain Colmerauer. Prolog in 10 figures , 1985, CACM.
[32] Won Kim,et al. A parallel pipelined relational query processor: An architectural overview , 1989, ISCA '84.
[33] Linda Pagli,et al. External Sorting in VLSI , 1984, IEEE Transactions on Computers.
[34] J. Strother Moore. The INTERLISP Virtual Machine Specification , 1976 .
[35] Doug DeGroot,et al. AND-Parallelism of Logic Programs Based on a Static Data Dependency Analysis , 1985, COMPCON.
[36] Hiroshi G. Okuno,et al. TAO: a harmonic mean of Lisp, Prolog and Smalltalk , 1983, SIGP.
[37] David K. Hsiao. Data Base Machines are Coming, Data Base Machines are Coming! , 1979, Computer.
[38] Yuzuru Tanaka. MPDC: Massive Parallel Architecture for Very Large databases , 1984, FGCS.
[39] Lubomir F. Bic. A Data-Driven Model for Parallel Interpretation of Logic Programs , 1984, FGCS.
[40] Miller. Guest Editor's Introduction The Future of Mass Storage Systems , 1985 .
[41] Jacques Cohen,et al. Non-Deterministic Algorithms , 1979, CSUR.
[42] Daniel G. Bobrow,et al. Compact Encodings of List Structure , 1979, TOPL.
[43] Frederick Hayes-Roth,et al. Programming in ROSIE: An Introduction by Means of Examples , 1982 .
[44] John Gaschnig,et al. MODEL DESIGN IN THE PROSPECTOR CONSULTANT SYSTEM FOR MINERAL EXPLORATION , 1981 .
[45] G. Jason. An Idea Whose Time Has Passed. , 1984 .
[46] Jasmina Pavlin,et al. Predicting the Performance of Distributed Knowledge-Based Systems: A Modeling Approach , 1983, AAAI.
[47] Michael D. Rychener. Control requirements for the design of production system architectures , 1977 .
[48] Ehud Shapiro,et al. A subset of Concurrent Prolog and its interpreter , 1988 .
[49] H. T. Kung,et al. A tree machine for searching problems , 1979 .
[50] Geoffrey E. Hinton,et al. A Learning Algorithm for Boltzmann Machines , 1985, Cogn. Sci..
[51] Tetsuo Ida,et al. Functional Programming with Streams , 1983, IFIP Congress.
[52] J. P. Sansonnet,et al. Function distribution in a list-directed architecture , 1982 .
[53] Dimitri Bertsekas,et al. Distributed dynamic programming , 1981, 1981 20th IEEE Conference on Decision and Control including the Symposium on Adaptive Processes.
[54] Gio Wiederhold,et al. Knowledge and Database Management , 1984, IEEE Software.
[55] Seif Haridi,et al. Execution of Bagof on the Or-Parallel Token Machine , 1984, FGCS.
[56] Jun'ichi Tsujii,et al. LISP Machine NK3 and Measurement of Its Performance , 1979, IJCAI.
[57] Nelleke Aiello,et al. AGE (Attempt to Generalize): A Knowledge-Based Program for Building Knowledge-Based Programs , 1979, IJCAI.
[58] David J. DeWitt,et al. Database Machines: An Idea Whose Time Passed? A Critique of the Future of Database Machines , 1989, IWDM.
[59] Amar Mukhopadhyay. Hardware algorithms for nonnumeric computation , 1978, ISCA '78.
[60] William James Van Melle,et al. A domain-independent system that aids in constructing knowledge-based consultation programs , 1980 .
[61] H. T. Kung,et al. The Design of Special-Purpose VLSI Chips , 1980, Computer.
[62] Jack Minker,et al. Pi-Representation: A Clause Representation for Parallel Search , 1975, Artif. Intell..
[63] Andrew Chi-Chih Yao. Bounds on Selection Networks , 1974, SWAT.
[64] Yasushi Hibino. A practical parallel garbage collection algorithm and its implementation , 1980, ISCA '80.
[65] Scott E. Fahlman,et al. NETL: A System for Representing and Using Real-World Knowledge , 1979, CL.
[66] Wil Plouffe,et al. An asynchronous programming language and computing machine , 1978 .
[67] W. D. Strecker. Clustering VAX superminicomputers into large multiprocessor systems , 1983 .
[68] Bruce G. Buchanan,et al. Dendral and Meta-Dendral: Their Applications Dimension , 1978, Artif. Intell..
[69] Peter Borgwardt. Parallel Prolog Using Stack Segements on Shared-Memory Multiprocessors , 1984, SLP.
[70] Toshio Yokoi,et al. Sequential Inference Machine: SIM its Programming and Operating System , 1984, FGCS.
[71] Virginia P. Kobler. Overview of tools for knowledge base construction , 1984, 1984 IEEE First International Conference on Data Engineering.
[72] H. T. Kung. Let's Design Algorithms for VLSI Systems , 1979 .
[73] Akira Yamamoto,et al. A Microprogrammed Interpreter for the Personal Sequential Inference Machine , 1984, FGCS.
[74] J. C. Shaw,et al. Programming the logic theory machine , 1899, IRE-AIEE-ACM '57 (Western).
[75] Jacques Cohen,et al. Garbage Collection of Linked Data Structures , 1981, CSUR.
[76] Arnold L. Rosenberg,et al. A Dictionary Machine (for VLSI) , 1982, IEEE Transactions on Computers.
[77] Péter Szeredi,et al. Prolog in Practice , 1983, IFIP Congress.
[78] Haruo Yokota,et al. A relational data base machine: First step to knowledge base machine , 1983, ISCA '83.
[79] Yale N. Patt,et al. Aquarius - A High Performance Computing System for Symbolic/Numeric Applications , 1985, COMPCON.
[80] Stephen W. Miller. Mass Storage Systems and Evolution of Data Center Architectures: Guest Editor's Introduction , 1982, Computer.
[81] Charles L. Seitz,et al. Concurrent VLSI Architectures , 1984, IEEE Transactions on Computers.
[82] Alain Colmerauer,et al. Last Steps Towards an Ultimate PROLOG , 1981, IJCAI.
[83] James R. McGraw. Data Flow Computing - Software Development , 1980, IEEE Trans. Computers.
[84] D. Barstow. An Experiment in Knowledge-Based Automatic Programming , 1986, Artif. Intell..
[85] L. Peter Deutsch,et al. Experience with a microprogrammed Interlisp system , 1978, MICRO 11.
[86] William A. Kornfeld. The Use of Parallelism to Implement a Heuristic Search , 1981, IJCAI.
[87] Elliott I. Organick,et al. µ3L: An HLL-RISC processor for parallel execution of FP-language programs , 1982, ISCA.
[88] Benjamin W. Wah,et al. A Partitioning Approach to the Design of Selection Networks , 1984, IEEE Trans. Computers.
[89] Robert A. Kowalski,et al. Logic for problem solving , 1982, The computer science library : Artificial intelligence series.
[90] Clyde P. Kruskal,et al. Searching, Merging, and Sorting in Parallel Computation , 1983, IEEE Transactions on Computers.
[91] Douglas R. Smith. A Design for an Automatic Programming System , 1981, IJCAI.
[92] Judea Pearl,et al. Heuristics : intelligent search strategies for computer problem solving , 1984 .
[93] David Robson,et al. Smalltalk-80: The Language and Its Implementation , 1983 .
[94] Carl McCrosky,et al. Nial: A candidate language for fifth generation computer systems , 1984, ACM '84.
[95] Victor R. Lesser,et al. The Use of Meta-Level Control for Coordination in a Distributed Problem Solving Network , 1983, IJCAI.
[96] Brian V. Funt,et al. WHISPER: A Problem-Solving System Utilizing Diagrams and a Parallel Processing Retina , 1977, IJCAI.
[97] Thompson. The VLSI Complexity of Sorting , 1983, IEEE Transactions on Computers.
[98] Geoffrey E. Hinton,et al. Massively Parallel Architectures for AI: NETL, Thistle, and Boltzmann Machines , 1983, AAAI.
[99] William F. Clocksin,et al. Programming in Prolog , 1981, Springer Berlin Heidelberg.
[100] Reid G. Smith,et al. A Framework for Distributed Problem Solving , 1979, IJCAI.
[101] Harold Boley,et al. AI Languages and AI Machines: An Overview , 1981, GWAI.
[102] D. H. Schaefer,et al. Beyond the supercomputer , 1982 .
[103] Allen Newell,et al. Initial Assessment of Architectures for Production Systems , 1984, AAAI.
[104] David J. DeWitt,et al. Performance Analysis of Alternative Database Machine Architectures , 1982, IEEE Transactions on Software Engineering.
[105] Rikio Onai,et al. Architectures and Hardware Systems: Parallel Inference Machine and Knowledge Base Machine , 1984, FGCS.
[106] Allan L. Fisher. Dictionary machines with a small number of processors , 1984, ISCA '84.
[107] Selim G. Akl,et al. Design, Analysis, and Implementation of a Parallel Tree Search Algorithm , 1982, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[108] Mark A. Franklin,et al. One-dimensional optimization on multiprocessor systems , 1981, IEEE Transactions on Computers.
[109] Sartaj Sahni,et al. Binary Trees and Parallel Scheduling Algorithms , 1983, IEEE Trans. Computers.
[110] Johannes J. Martin,et al. An efficient garbage compaction algorithm , 1982, CACM.
[111] Jeffrey Scott Vitter,et al. New Classes for Parallel Complexity: A Study of Unification and Other Complete Problems for P , 1986, IEEE Transactions on Computers.
[112] Douglas B. Lenat. Computer Software for Intelligent Systems. , 1984 .
[113] Scott E. Fahlman. Design Sketch for a Million-Element NETL Machine , 1980, AAAI.
[114] Frederick Hayes-Roth,et al. Building expert systems , 1983, Advanced book program.
[115] Salvatore J. Stolfo,et al. DADO: A Parallel Processor for Expert Systems , 1984 .
[116] Zohar Manna,et al. A Deductive Approach to Program Synthesis , 1979, TOPL.
[117] Jeffrey M. Barth. Shifting garbage collection overhead to compile time , 1977, CACM.
[118] Carl Hewitt,et al. The Apiary network architecture for knowledgeable systems , 1980, LISP Conference.
[119] M. Creeger. LISP machines come out of the lab (minicomputers) , 1983 .
[120] David A. Patterson,et al. Architecture of SOAR: Smalltalk on a RISC , 1984, ISCA 1984.
[121] E. A. Feigenbaum,et al. The building blocks: Artificial intelligence, software engineering, computer architecture, and very large-scale integration will play major roles: Artificial intelligence , 1983, IEEE Spectrum.
[122] Robert A. Kowalski,et al. Predicate Logic as Programming Language , 1974, IFIP Congress.
[123] Gerald J. Sussman,et al. Design of a LISP-based microprocessor , 1980, CACM.
[124] Sudhir Ahuja,et al. An associative/parallel processor for partial match retrieval using superimposed codes , 1980, ISCA '80.
[125] Lubomir F. Bic. Execution of logic programs on a dataflow architecture , 1984, ISCA '84.
[126] Mark Scott Johnson. Some requirements for architectural support of software debugging , 1982, ASPLOS I.
[127] David R. Smith,et al. Simulation experiments of a tree organized multicomputer , 1979, ISCA '79.
[128] Christoph M. Hoffmann,et al. Pattern Matching in Trees , 1982, JACM.
[129] M. H. van Emden,et al. Towards a western Fifth-Generation Computer System project , 1984, ACM '84.
[130] Donald A. Waterman,et al. Pattern-Directed Inference Systems , 1981, IEEE Transactions on Pattern Analysis and Machine Intelligence.
[131] Ehud Shapiro. Systolic Programming: A Paradigm of Parallel Processing , 1984, FGCS.
[132] Frederick Hayes-Roth. The Knowledge-Based Expert System: A Tutorial , 1984, Computer.
[133] Benjamin W. Wah,et al. Systematic approaches to the design of algorithmically specified systolic arrays , 1985, ICASSP '85. IEEE International Conference on Acoustics, Speech, and Signal Processing.
[134] John P. McDermott,et al. OPS, A Domain-Independent Production System Language , 1977, IJCAI.
[135] Guy L. Steele,et al. Multiprocessing compactifying garbage collection , 1975, CACM.
[136] Tim King. Expert systems with 68000 and lips , 1984, Microprocess. Microsystems.
[137] William A. Kornfeld. Combinatorially implosive algorithms , 1982, CACM.
[138] Terry Winograd,et al. Beyond programming languages , 1979, CACM.
[139] Martin L. Griss,et al. Current status of a portable LISP compiler , 1982, SIGPLAN '82.
[140] David A. Moon,et al. Architecture of the Symbolics 3600 , 1985, ISCA '85.
[141] Kazunori Ueda,et al. Efficient Stream/Array Processing in Logic Programming Languages , 1984, FGCS.
[142] Mikhail J. Atallah,et al. A Generalized Dictionary Machine for VLSI , 1985, IEEE Transactions on Computers.
[143] Martin Bärtschi. An Overview of Information Retrieval Subjects , 1985, Computer.
[144] Sartaj Sahni,et al. Anomalies in Parallel Branch-and-Bound Algorithms , 1984 .
[145] Robert M. Keller,et al. Rediflow Multiprocessing , 1984, COMPCON.
[146] R. W. Doran. Architecture of Stack Machines , 1975 .
[147] Frederick Hayes-Roth,et al. Knowledge-Based Expert Systems , 1984, Computer.
[148] Brent D. Kornman. Pattern matching and pattern-directed invocation in systems programming languages , 1983, J. Syst. Softw..
[149] Hung-Chang Du. Concurrent disk accessing for partial match retrieval , 1982, ICPP.
[150] Jeffrey D. Ullman,et al. Some Thoughts About Supercomputer Organization , 1984, IEEE Computer Society International Conference.
[151] Stephen A. Cook,et al. An overview of computational complexity , 1983, CACM.
[152] Masahiro Yamamoto,et al. A Survey of High-Level Language Machines in Japan , 1981, Computer.
[153] Guo-Jie Li,et al. The status of manip - a multicomputer architecture for solving, combinatorial extremum-search problems , 1984, ISCA 1984.
[154] Michael J. Wise. EPILOG = PROLOG + Data Flow: arguments for combining PROLOG with a data driven mechanism , 1982, SIGP.
[155] Robert M. Keller,et al. Simulated Performance of a Reduction-Based Multiprocessor , 1984, Computer.
[156] Prakash Panangaden,et al. Stream-Based Execution of Logic Programming , 1984, SLP.
[157] Frans J. Peters,et al. Tree machines and divide-and-conquer algorithms , 1981, CONPAR.
[158] Dennis F. Kibler,et al. Parallel interpretation of logic programs , 1981, FPCA '81.
[159] Shinichi Shimizu,et al. Evaluation of the Dedicated Hardware in FACOM Alpha , 1985, COMPCON.
[160] Harold S. Stone. Introduction to Computer Architecture , 1980 .
[161] Robert J. Douglass,et al. Special Feature A Qualitative Assessment of Parallelism in Expert Systems , 1985, IEEE Software.
[162] Luís Moniz Pereira,et al. Delta-Prolog: A Distributed Logic Programming Language , 1984, FGCS.
[163] Dana S. Nau,et al. Expert computer systems , 1983, Computer.
[164] Philip C. Treleaven,et al. Future Computers: Logic, Data Flow, ..., Control Flow? , 1984, Computer.
[165] Carl H. Smith,et al. The power of parallelism for automatic program synthesis , 1981, 22nd Annual Symposium on Foundations of Computer Science (sfcs 1981).
[166] Gevarter,et al. Overview of Expert Systems , 1982 .
[167] Jean-Loup Baer,et al. Binary Search in a Multiprocessing Environment , 1983, IEEE Transactions on Computers.
[168] Harold Boley,et al. A preliminary survey of artificial intelligence machines , 1980, SGAR.
[169] H. T. Kung,et al. Sorting on a mesh-connected parallel computer , 1977, CACM.
[170] John McCarthy,et al. History of LISP , 1978, SIGP.
[171] Makoto Amamiya,et al. A list-processing-oriented data flow machine architecture , 1899 .
[172] Lawrence Snyder,et al. Omni-sort: A Versatile Data Processing Operation for VLSI , 1983, ICPP.
[173] Benjamin W. Wah,et al. Multiprocessing of Combinatorial Search Problems , 1985, Computer.
[174] Scott E. Fahlman. Computing Facilities for AI: A Survey of Present and Near-Future Options , 1980, AI Mag..
[175] Kai Hwang,et al. Computer architecture and parallel processing , 1984, McGraw-Hill Series in computer organization and architecture.
[176] Jun-ichi Aoe,et al. A Method for Improving String Pattern Matching Machines , 1984, IEEE Transactions on Software Engineering.
[177] Robert M. Keller,et al. A loosely-coupled applicative multi-processing system* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).
[178] Rikio Onai,et al. Research on Parallel Machine Architecture for Fifth-Generation Computer Systems , 1985, Computer.
[179] Andrew S. Cromarty. What Are Current Expert System Tools Missing? , 1985, COMPCON.
[180] Udi Manber,et al. DIB—a distributed implementation of backtracking , 1987, TOPL.
[181] John Darlington,et al. The Unification of Functional and Logic Languages , 1986, Logic Programming: Functions, Relations, and Equations.
[182] E. Rich,et al. The Gradual Expansion of Artificial Intelligence , 1984, Computer.
[183] Victor R. Lesser,et al. The Distributed Vehicle Monitoring Testbed: A Tool for Investigating Distributed Problem Solving Networks , 1983, AI Mag..
[184] Tom Khabaza. Negation as Failure and Parallelism , 1984, SLP.
[185] Toshiharu Sugawara,et al. Knowledge Representation and INference Environment: KRINE, - An Approach to Integration of Frame, Prolog, and Graphics , 1984, FGCS.
[186] Graham R. Nudd,et al. A Cellular VLSI Architecture , 1984, Computer.
[187] John P. Fishburn,et al. Parallelism in Alpha-Beta Search , 1982, Artif. Intell..
[188] Alberto Negro,et al. Systolic Algorithms for String Manipulations , 1984, IEEE Transactions on Computers.
[189] George G. Coghill,et al. Pleiades: a multimicroprocessor interactive knowledge base , 1979, Microprocess. Microsystems.
[190] M. Model,et al. Multiprocessing via intercommunicating LISP systems , 1980, LISP Conference.
[191] Christian Percebois,et al. Direct execution of lisp on a list_directed architecture , 1982, ASPLOS I.
[192] Michael J. Flynn,et al. Directions and Issues in Architecture and Language , 1980, Computer.
[193] Tsutomu Maruyama,et al. The Architecture of a Parallel Inference Engine - PIE , 1984, Fifth Generation Computer Systems.
[194] Franco P. Preparata,et al. New Parallel-Sorting Schemes , 1978, IEEE Transactions on Computers.
[195] Philip M. Neches,et al. The Genesis of a Database Computer , 1984, Computer.
[196] Shigeo Sugimoto,et al. Concurrent LISP and Its Interpreter , 1982 .
[197] Randall Steeb,et al. Strategies of Cooperation in Distributed Problem Solving , 1983, IJCAI.
[198] Steven R. Vegdahl,et al. A Survey of Proposed Architectures for the Execution of Functional Languages , 1984, IEEE Transactions on Computers.
[199] S. L. Graham,et al. List Processing in Real Time on a Serial Computer , 1978 .
[200] Salvatore J. Stolfo. Five Parallel Algorithms for Production System Execution on the DADO Machine , 1984, AAAI.
[201] Charles E. Leiserson. Systolic Priority Queues , 1979 .
[202] Daniel G. Bobrow,et al. New Programming Languages for Artificial Intelligence Research , 1974, CSUR.
[203] Michael F. Deering. Architectures for AI: hardware and software for efficient processing , 1985 .
[204] Toshiaki Kurokawa. LISP Activities in Japan , 1979, IJCAI.
[205] David J. DeWitt,et al. A taxonomy of parallel sorting , 1984, CSUR.
[206] Yaohan Chu. Direct-execution computer architecture , 1976, SIGM.
[207] Karl Goser,et al. Intelligent memories in VLSI , 1984, Inf. Sci..
[208] Gerald Jay Sussman,et al. Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode , 1979 .
[209] Hanan Samet,et al. Code Optimization Considerations in List Processing Systems , 1982, IEEE Transactions on Software Engineering.
[210] 유관종,et al. Supercomputing , 2018, Communications in Computer and Information Science.
[211] Drew McDermott,et al. From PLANNER to CONNIVER: a genetic approach , 1972, AFIPS '72 (Fall, part II).
[212] Daniel G. Bobrow,et al. On Overview of KRL, a Knowledge Representation Language , 1976, Cogn. Sci..
[213] A. Davis. A data flow evaluation system based on the concept of recursive locality* , 1979, 1979 International Workshop on Managing Requirements Knowledge (MARK).
[214] Keith L. Clark,et al. Notes on System Programming in Parlog , 1984, FGCS.
[215] Erik Sandewall,et al. Programming in an Interactive Environment: the ``Lisp'' Experience , 1978, CSUR.
[216] William A. Kornfeld. ETHER - A Parallel Problem Solving System , 1979, IJCAI.
[217] Wing H. Huen,et al. Distributed Enumeration on Between Computers , 1980, IEEE Transactions on Computers.
[218] Toshitsugu Yuba,et al. EM-3: A Lisp-Based Data-Driven Machine , 1984, FGCS.
[219] Ian A. Newman,et al. Alternative approaches to multiprocessor garbage collection , 1982, ICPP.
[220] Klaus J. Berkling. Reduction languages for reduction machines , 1974, ISCA '75.
[221] Randall Davis,et al. Expert Systems: Where Are We? And Where Do We Go from Here? , 1982, AI Mag..
[222] Philip C. Treleaven,et al. A multi-processor reduction machine for user-defined reduction languages. , 1980, ISCA '80.
[223] Toshio Yokoi,et al. Sequential Inference Machine: SIM Progress Report , 1984, FGCS.
[224] E. J. Lerner. Software II: Automating programming: Researchers are beginning to shift the growing burden of programming to the computer itself , 1982, IEEE Spectrum.
[225] Chuck Rieger,et al. ZMOB: a new computing engine for AI , 1981, IJCAI 1981.
[226] J. Backus. Software I: Function-level computing: A new programming method, linked to radically different architectures, may greatly simplify software development , 1982, IEEE Spectrum.
[227] Edward Babb. Functional requirements for very large knowledge bases , 1984, ACM '84.
[228] Henry G. Baker,et al. Shallow binding in Lisp 1.5 , 1978, CACM.
[229] David A. Patterson,et al. Architecture of SOAR: Smalltalk on a RISC , 1984, ISCA '84.
[230] L. Peter Deutsch,et al. ByteLisp and its Alto implementation , 1980, LISP Conference.
[231] Alexis Koster. Compiling prolog programs for parallel execution on a cellular machine , 1984, ACM '84.
[232] Vinod K. Agarwal,et al. An efficient VLSI dictionary machine , 1984, ISCA '84.
[233] Koichi Kubota,et al. Sword32: A Bytecode Emulating Micorprocessor for Object-Oriented Languages , 1984, FGCS.
[234] Alan P. Sprague,et al. Performance of parallel branch-and-bound algorithms , 1985, IEEE Transactions on Computers.
[235] King-Sun Fu,et al. Knowledge representation and inference control of SPERIL-II , 1984, ACM '84.
[236] Hartmut Schmeck,et al. Dictionary Machines for Different Models of VLSI , 1985, IEEE Transactions on Computers.
[237] Tohru Moto-Oka,et al. Overview to the Fifth Generation Computer System project , 1983, ISCA '83.
[238] Toshitsugu Yuba,et al. A performance evaluation of a Lisp-based data-driven machine (EM-3) , 1983, ISCA '83.
[239] Dan I. Moldovan. An associative array architecture intended for semantic network processing , 1984, ACM '84.
[240] David R. Barstow,et al. A Perspective on Automatic Programming , 1984, AI Mag..
[241] Akira Hattori,et al. ALPHA-a high-performance LISP machine equipped with a new stack structure and garbage collection system , 1983, ISCA '83.
[242] Carl Hewitt,et al. The incremental garbage collection of processes , 1977, Artificial Intelligence and Programming Languages.
[243] Patrick A. V. Hall,et al. Approximate String Matching , 1994, Encyclopedia of Algorithms.
[244] K.G. Wilson,et al. Science, industry, and the new Japanese challenge , 1984, Proceedings of the IEEE.
[245] Benjamin W. Wah,et al. The status of manip - a multicomputer architecture for solving, combinatorial extremum-search problems , 1984, ISCA '84.
[246] David Elliot Shaw. Knowledge-based retrieval on a relational database machine , 1980 .
[247] Randall Davis. Report on the Second Workshop on Distributed AI , 1982 .
[248] Koichiro Tamura,et al. A parallel execution model of logic programs , 1983, ISCA '83.
[249] Leslie Lamport,et al. On-the-fly garbage collection: an exercise in cooperation , 1975, Language Hierarchies and Interfaces.
[250] Jean-Loup Baer,et al. Computer systems architecture , 1980 .
[251] David A. Moon,et al. Flavors: Message Passing in the Lisp Machine. , 1980 .
[252] Kei Hiraki,et al. FLATS, a machine for numerical, symbolic and associative computing , 1979, ISCA '79.
[253] Rhon Williams. A multiprocessing system for the direct execution of LISP , 1978, CARN.
[254] Russell Greiner,et al. A Representation Language Language , 1980, AAAI.
[255] Robert Wilensky,et al. PEARL - A Package for Efficient Access to Representations in LISP , 1981, IJCAI.
[256] Stephen Fickas,et al. The Design and an Example Use of Hearsay-III , 1981, IJCAI.
[257] David A. Carlson. Parallel Processing of Tree-like Computations , 1984, ICDCS.
[258] W. Dilger,et al. An Associative Processor for Theorem Proving , 1983 .
[259] Hiroshi Nakashima,et al. Hardware Design and Implementation of the Personal Sequential Inference Machine (PSI) , 1984, Fifth Generation Computer Systems.
[260] S. L. Tanimoto. BOOLEAN MATCHING OPERATOR FOR HIERARCHICAL CELLULAR LOGIC. , 1983 .
[261] Larry Masinter,et al. The Interlisp Programming Environment , 1981, Computer.
[262] Benjamin W. Wah,et al. A Partitioning Approach to the Design of Selection Networks , 1984, IEEE Transactions on Computers.
[263] T. Moto-oka,et al. CHALLENGE FOR KNOWLEDGE INFORMATION PROCESSING SYSTEMS (Preliminary Report on Fifth Generation Computer Systems) , 1982 .
[264] Hitoshi Ogawa,et al. The Theorem Prover Using a Parallel Processing System , 1979, IJCAI.
[265] Guy L. Steele,et al. An overview of COMMON LISP , 1982, LFP '82.
[266] Anoop Gupta. Implementing OPS5 production systems on DADO , 1984 .
[267] Douglas B. Lenat,et al. Less Than General Production System Architectures , 1977, IJCAI.
[268] Kazukiyo Kawanobe. Current Status and Future Plans of the Fifth Generation Computer Systems Project , 1984, FGCS.
[269] Charles Kellogg. Intelligent Assistants for Knowledge and Information Resources Management , 1983, IJCAI.
[270] Randall Davis,et al. Report on the Workshop on Distributed AI , 1980 .
[271] Randall Davis,et al. Frameworks for Cooperation in Distributed Problem Solving , 1988, IEEE Transactions on Systems, Man, and Cybernetics.
[272] Norihisa Suzuki. Concurrent Prolog as an Efficient VLSI Design Language , 1985, Computer.
[273] Werner E. Kluge. Cooperating Reduction Machines , 1983, IEEE Transactions on Computers.
[274] Gerald Jay Sussman,et al. Scheme-79 - Lisp on a Chip , 1981, Computer.
[275] Shigeo Sugimoto,et al. Concurrent LISP on a Multi-Micro-Processor System , 1981, IJCAI.
[276] H. T. Kung,et al. An efficient parallel garbage collection system and ITS correctness proof , 1977, 18th Annual Symposium on Foundations of Computer Science (sfcs 1977).
[277] Martin L. Griss,et al. MBALM/1700: A microprogrammed LISP machine for the Burroughs B1726 , 1977, MICRO 10.
[278] John Darlington,et al. ALICE a multi-processor reduction machine for the parallel evaluation CF applicative languages , 1981, FPCA '81.
[279] Robert Fenichel,et al. A LISP garbage-collector for virtual-memory computer systems , 1969, CACM.
[280] Benjamin W. Wah,et al. MANIP—A Multicomputer Architecture for Solving Combinatonal Extremum-Search Problems , 1984, IEEE Transactions on Computers.
[281] Al Davis,et al. The FAIM-1 Symbolic Multiprocessing System , 1985, COMPCON.
[282] R. Larson,et al. Dynamic programming and parallel computers , 1973 .
[283] Casimir A. Kulikowski,et al. EXPERT: A System for Developing Consultation Models , 1979, IJCAI.
[284] T. Manuel. LISP and PROLOG machines are proliferating , 1983 .
[285] Simon Kasif,et al. Logic Programming on ZMOB: A Highly Parallel Machine , 1982, International Conference on Parallel Processing.
[286] Stuart C. Shapiro,et al. MULTI - a LISP based multiprocessing system , 1980, LISP Conference.
[287] Robert M. Keller,et al. Data Flow Program Graphs , 1982, Computer.
[288] Benjamin W. Wah,et al. MANIP-2 : A Multicomputer Architecture for Evaluating Logic Programs , 1985, ICPP.
[289] Philip C. Treleaven,et al. The new generation of computer architecture , 1983, ISCA '83.
[290] Mark Weiser,et al. Status and Performance of the Zmob Parallel Processing System , 1985, COMPCON.
[291] Pc Treleaven,et al. 5TH GENERATION COMPUTERS , 1982 .
[292] Benjamin W. Wah,et al. Coping with Anomalies in Parallel Branch-and-Bound Algorithms , 1986, IEEE Transactions on Computers.
[293] Quentin F. Stout. Sorting, Merging, Selecting, and Filtering on Tree and Pyramid Machines , 1983, ICPP.
[294] BRUCE W. WEIDE,et al. Modeling Unusual Behavior of Parallel Algorithms , 1982, IEEE Transactions on Computers.
[295] E. I. Organick,et al. µ3L: An HLL-RISC processor for parallel execution of FP-language programs , 1982, ISCA 1982.
[296] Harvey A. Freeman. Back-End Storage Networks , 1980, Computer.
[297] Glenford J. Myers. Advances in computer architecture , 1978 .
[298] Masahiko Sato,et al. Qute: A Prolog/Lisp Type Language for Logic Programming , 1983, IJCAI.
[299] Mario Tokoro,et al. The design of an object oriented architecture , 1984, ISCA '84.
[300] Salvatore J. Stolfo,et al. DADO: A Tree-Structured Machine Architecture for Production Systems , 1982, AAAI.
[301] John T. O'Donnell. A systolic associative lisp computer architecture with incremental parallel storage management , 1981 .
[302] Doug DeGroot,et al. Restricted AND-Parallelism , 1984, FGCS.
[303] Daniel P. Friedman,et al. Aspects of Applicative Programming for Parallel Processing , 1978, IEEE Transactions on Computers.
[304] Henry Lieberman,et al. A real-time garbage collector based on the lifetimes of objects , 1983, CACM.
[305] Daniel P. Siewiorek,et al. A survey of highly parallel computing , 1982, Computer.
[306] Neil R. Lincoln. Technology and Design Tradeoffs in the Creation of a Modern Supercomputer , 1982, IEEE Transactions on Computers.
[307] Philip C. Treleaven,et al. VLSI Processor Architectures , 1982, Computer.
[308] J. W. Backus,et al. Can programming be liberated from the von Neumann style , 1977 .
[309] Simon Kasif,et al. PRISM - A Parallel Inference System for Problem Solving , 1983, Logic Programming Workshop.
[310] Ware Myers. Lisp Machines Displayed at AI Conference , 1982, Computer.
[311] Fumio Mizoguchi,et al. LOOKS: Knowledge Representation System for Designing Expert Systems in a Logic Programming Framework , 1984, FGCS.
[312] D. H. Schaefer,et al. Computers: Beyond the supercomputer: NASA is developing ultrafast machines to process satellite data that would choke a mere supercomputer , 1982, IEEE Spectrum.
[313] Daniel G. Bobrow,et al. Knowledge Programming in Loops: Report on an Experimental Course , 1983, AI Mag..
[314] Keith L. Clark,et al. PARLOG: parallel programming in logic , 1986, ACM Trans. Program. Lang. Syst..
[315] Harold S. Stone,et al. Fifth-Generation Computer Systems: A Japanese Project , 1984, Computer.
[316] Edward Babb,et al. Joined normal form: a storage encoding for relational databasess , 1982, TODS.
[317] Hiroshi Sakai,et al. Design and Implementation of the Relational Datbase Engine , 1984, FGCS.
[318] Carl Hewitt,et al. Description and Theoretical Analysis (Using Schemata) of Planner: A Language for Proving Theorems and Manipulating Models in a Robot , 1972 .
[319] D. A. Turner,et al. A new implementation technique for applicative languages , 1979, Softw. Pract. Exp..
[320] Rod M. Burstall,et al. Programming with Modules as Typed Functional Programming , 1984, FGCS.
[321] Richard D. Greenblatt,et al. A LISP machine , 1974, CAW '80.
[322] C Wolf,et al. Power tools for programmers: 12 editors for the IBM PC , 1986 .
[323] Mario Tokoro,et al. An Object-Oriented Approach to Knowledge Systems , 1984, FGCS.
[324] Rod M. Burstall,et al. HOPE: An experimental applicative language , 1980, LISP Conference.
[325] I. N. Parker. VLSI architecture , 1986 .
[326] Shigeo Sugimoto,et al. A Multi-Microprocessor System for Concurrent LISP , 1983, ICPP.
[327] Jesfis Peral,et al. Heuristics -- intelligent search strategies for computer problem solving , 1984 .
[328] Daniel G. Bobrow,et al. If Prolog is the Answer, What is the Question? or What it Takes to Support AI Programming Paradigms , 1985, IEEE Transactions on Software Engineering.
[329] A. C. Norman,et al. SKIM - The S, K, I reduction machine , 1980, LISP Conference.
[330] Shunichi Uchida,et al. Inference machine: From sequential to parallel , 1983, ISCA '83.
[331] Richard J. Fateman. Is a LISP machine different from a fortran machine? , 1978, SIGS.
[332] Glen G. Langdon. Database Machines: An Introduction , 1979, IEEE Trans. Computers.
[333] Jeffrey Scott Vitter,et al. Parallel algorithms for unification and other complete problems in p , 1984, ACM '84.
[334] Kemal Oflazer,et al. Partitioning in parallel processing of production systems , 1987 .
[335] Charles Kellogg,et al. Knowledge Management: A Practical Amalgam of Knowledge and Data Base Technology , 1982, AAAI.
[336] E. von Puttkamer. A microprogrammed Lisp machine , 1983 .
[337] Seiichi Nakagawa,et al. A Parallel Tree Search Method , 1979, IJCAI.
[338] Gyula A. Magó. A network of microprocessors to execute reduction languages, part II , 1979, International Journal of Computer & Information Sciences.
[339] D. J Collington. Functional programming: Application and implementation: Peter Henderson Prentice-Hall International, 1980, £13.95 , 1981 .
[340] Yukio Kaneda,et al. The Experimental LISP Machine , 1979, IJCAI.
[341] F. Warren Burton,et al. Towards a Zero Assignment Parallel Processor , 1981, ICDCS.
[342] Douglas B. Lenat,et al. Why AM and EURISKO Appear to Work , 1984, Artif. Intell..
[343] Alain Colmerauer,et al. Prolog en 10 figures , 1983, SPLT.
[344] T. Anthony Marsland,et al. Parallel Search of Strongly Ordered Game Trees , 1982, CSUR.
[345] Edward A. Feustel,et al. On The Advantages of Tagged Architecture , 1973, IEEE Transactions on Computers.
[346] Michael F. Doming. Hardware and Software Architectures for Efficient AI , 1984 .
[347] Philip M. Neches,et al. Hardware Support for Advanced Data Management Systems , 1984, Computer.
[348] Ferdinand Hommes,et al. The heap/substitution concept - an implementation of functional operations on data structures for a reduction machine , 1982, ISCA '82.
[349] Carl Hewitt,et al. Viewing Control Structures as Patterns of Passing Messages , 1977, Artif. Intell..