IEEE Computer, Volume 20, 1987

Volume 20, Number 1, January 1987

New AI Systems

Benjamin W. Wah: New Computers for Artificial Intelligence Processing - Guest Editor's Introduction. 10-15
Kai Hwang, Joydeep Ghosh, Raymond Chowkwanyun: Computer Architectures for Artificial Intelligence Processing. 19-27
C. V. Ramamoorthy, Shashi Shekhar, Vijay K. Garg: Software Development Support for AI Programs. 30-40
David A. Moon: Symbolics Architecture. 43-52
Judy M. Anderson, William S. Coates, Alan L. Davis, Robert W. Hon, Ian N. Robinson, Shane V. Robison, Kenneth S. Stevens: The Architecture of FAIM-1. 55-65
David Ungar, David A. Patterson: What Price Smalltalk? 67-74
Salvatore J. Stolfo: Initial Performance of the DADO2 Prototype. 75-83
David L. Waltz: Applications of the Connection Machine. 85-97
Scott E. Fahlman, Geoffrey E. Hinton: Connectionist Architectures for Artificial Intelligence. 100-109

Kirk E. Jordan: Performance Comparison of Large-Scale Scientific Computers: Scalar Mainframes, Mainframes with Integrated Vector Facilities, and Supercomputers. 10-23
P. Bruce Berra, Soon Myoung Chung, Nabil I. Hachem: Computer Architecture for a Surrogate File to a Very Large Data/Knowledge Base. 25-32
Andrew R. Pleszkun, Matthew Thazhuthaveetil: The Architecture of Lisp Machines. 35-44
Borko Furht, Veljko M. Milutinovic: A Survey of Microprocessor Architectures for Memory Management. 48-67
Ware Myers: Ada: First Users - Pleased; Prospective Users - Still Hesitant. 68-73

Frederick P. Brooks Jr.: No Silver Bullet - Essence and Accidents of Software Engineering. 10-19
Jack F. McDonald, Hans J. Greub, Randy H. Steinvorth, Brian J. Donlan, Albert S. Bergendahl: Wafer Scale Interconnections for GaAs Packing - Applications to RISC Architecture. 21-35
Theodore F. Lehr, Robert G. Wedig: Toward a GaAs Realization of a Production-System Machine. 36-48
Shahid H. Bokhari: Multiprocessing the Sieve of Eratosthenes. 50-58
Mary Jane Irwin, Robert Michael Owens: Digit-Pipelined Arithmetic as Illustrated By the Paste-Up System: A Tutorial. 61-73

Surveys & Tutorials

Jeff Conklin: Hypertext: An Introduction and Survey. 17-41
Barry W. Boehm: Improving Software Productivity. 43-57
Charles E. Gimarc, Veljko M. Milutinovic: A Survey of RISC Processors and Computers of the Mid-1980s. 59-69
C. A. R. Hoare: An Overview of Some Formal Methods for Program Design. 85-91

Special Feature

Michael J. Flynn, Chad L. Mitchell, Johannes M. Mulder: And Now a Case for More Complex Instruction Sets. 71-83

P. Bruce Berra, N. B. Troullinos: Optical Techniques and Data/Knowledge Base Machines. 59-70