Compact Encodings of List Structure
ACM Transactions on Programming Languages and Systems (TOPLAS)
Communications of the ACM
A model and stack implementation of multiple environments
Communications of the ACM
An ALGOL-based associative language
Communications of the ACM
Advances in Computer Architecture
Advances in Computer Architecture
The New UCI LISP Manual
High-Level Language Computer Architecture
High-Level Language Computer Architecture
Macroprocessors and Techniques for Portable Software
Macroprocessors and Techniques for Portable Software
Anatomy of LISP
Computer Architecture
A preliminary architecture for a basic data-flow processor
ISCA '75 Proceedings of the 2nd annual symposium on Computer architecture
Turing Machines with Associative Memory Access
Proceedings of the 2nd Colloquium on Automata, Languages and Programming
Zur Übersetzbarkeit von Programmiersprachen
3. Fachtagung über Programmiersprachen, Gesellschaft für Informatik
Retrospective on high-level language computer architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
M3L: A list-directed architecture
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
A multi-processor reduction machine for user-defined reduction languages.
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
An associative/parallel processor for partial match retrieval using superimposed codes
ISCA '80 Proceedings of the 7th annual symposium on Computer Architecture
Hardware algorithms for nonnumeric computation
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
Rotating memory processors for the matching of complex textual patterns
ISCA '78 Proceedings of the 5th annual symposium on Computer architecture
MBALM/1700: A microprogrammed LISP machine for the Burroughs B1726
MICRO 10 Proceedings of the 10th annual workshop on Microprogramming
Experience with a microprogrammed Interlisp system
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Definitional interpreters for higher-order programming languages
ACM '72 Proceedings of the ACM annual conference - Volume 2
CSSA: Language concepts and programming methodology
Proceedings of the 1977 symposium on Artificial intelligence and programming languages
Tramp: An interpretive associative processor with deductive capabilities
ACM '68 Proceedings of the 1968 23rd ACM national conference
A large scale, homogeneous, fully distributed parallel machine, I
ISCA '77 Proceedings of the 4th annual symposium on Computer architecture
Design of LISP-based Processors, or SCHEME: A Dielectric LISP, or Finite Memories Considered Harmful, or LAMBDA: The Ultimate Opcode
Lambda: The Ultimate Imperative
Lambda: The Ultimate Imperative
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
The Art of the Interpreter or, The Modularity Complex (Parts Zero, One, and Two)
A MACHINE ARCHITECTURE TO SUPPORT AN OBJECT-ORIENTED LANGUAGE
A MACHINE ARCHITECTURE TO SUPPORT AN OBJECT-ORIENTED LANGUAGE
A snobol machine: functional architectural concepts of a string processor
A snobol machine: functional architectural concepts of a string processor
A study of language directed computer design
A study of language directed computer design
The architecture of a grammar-programmable high-level language machine.
The architecture of a grammar-programmable high-level language machine.
Design of high level language oriented processors
ACM SIGPLAN Notices
A multiprocessing system for the direct execution of LISP
ACM SIGARCH Computer Architecture News
Computation: finite and infinite machines
Computation: finite and infinite machines
Computer system organization: The B5700/B6700 series (ACM monograph series)
Computer system organization: The B5700/B6700 series (ACM monograph series)
LISP 1.5 Programmer's Manual
Programming Languages, Information Structures, and Machine Organization.
Programming Languages, Information Structures, and Machine Organization.
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
The Calculi of Lambda Conversion. (AM-6) (Annals of Mathematics Studies)
Lisp machine manual
Computer structures: Readings and examples (McGraw-Hill computer science series)
Computer structures: Readings and examples (McGraw-Hill computer science series)
Survey on special purpose computer architectures for AI
ACM SIGART Bulletin
| Hi-index | 0.00 |
This paper is first attempt at a survey of concrete and abstract machines relevant to AI research, inspired by some recent developments in personal computers. In particular, we consider machines supporting higher-level programming languages used in AI, mainly LISP. The emphasis will be on gaining a global perspective on the emerging field of AI machines rather than on a detailed treatment of specific issues. Thus, readers who are specialists in one of the fields touched (e.g., in parallel and associative machines) will not learn anything new about their particular field (on the contrary, they may contribute additional AI-relevant material to later versions of the survey). However, particularly for AI researchers worrying about the efficiency of their systems, this survey may provide a quick access to this important new research areas. For more specific questions the references in the extensive topic-indexed bibliography should be consulted.