Last update:
Sat Jun 8 14:55:17 MDT 2024
M. J. Foster and
H. T. Kung The Design of Special-Purpose VLSI Chips 26--40
Jerome T. Coonen An Implementation Guide to a Proposed
Standard for Floating-Point Arithmetic 68--79
J. E. Thornton Back-End Network Approaches . . . . . . 10--17
I. Chlamatac and
W. R. Franta and
P. C. Patton and
B. and
Wells Performance Issues in Back-End Storage
Networks . . . . . . . . . . . . . . . . 18--31
J. Butland and
S. D. Butland An easy-to-use graph drawing package . . 69--80
J. P. Hayes and
E. J. McCluskey Testability Considerations in
Microprocessor-Based Design . . . . . . 17--26
D. K. Pradhan and
J. J. Stiffler Error-Correcting Codes and Self-Checking
Circuits . . . . . . . . . . . . . . . . 27--37
K. Peacock and
E. Manning and
J. Wong Synchronization of Distributed
Simulation Using Broadcast Algorithms 3--10
Jeffrey P. Buzen and
Peter J. Denning Measuring and calculating queue length
distributions . . . . . . . . . . . . . 33--44
Steven C. Johnson Language development tools on the Unix
system . . . . . . . . . . . . . . . . . 16--24
Bruce W. Leverett and
R. G. G. Cattell and
S. O. Hobbs and
J. M. Newcomer and
A. H. Reiner and
B. R. Schatz and
W. A. Wulf An Overview of the Production Quality
Compiler-Compiler Project . . . . . . . 38--49
M. V. Wilkes The impact of wide-band local area
communication systems on distributed
computing . . . . . . . . . . . . . . . 22--25
S. S. Isloor and
T. A. Marsland The Deadlock Problem: An Overview . . . 58--78
M. Flynn Directions and Issues in Architecture
and Language . . . . . . . . . . . . . . 5--22
G. Rodrigue and
E. D. Giroux and
M. Pratt Perspectives on Large-Scale Scientific
Computation . . . . . . . . . . . . . . 65--80
R. W. Boberg and
others Proposed Microcomputer System 796 Bus
Standard . . . . . . . . . . . . . . . . 89--105
C. R. Vick and
S. P. Kartashev and
S. I. Kartashev Adaptable Architectures for Super
Systems . . . . . . . . . . . . . . . . 17--35
Jack B. Dennis Data Flow Supercomputers . . . . . . . . 48--56
W. W. Chu and
L. J. Holloway and
M. Lan and
K. Efe Task Allocation in Distributed Data
Processing . . . . . . . . . . . . . . . 57--69
E. W. Kozdrowicki and
Douglas J. Theis Second Generation of Vector
Supercomputers . . . . . . . . . . . . . 71--83
A. J. S. Ball and
G. V. Bochmann and
J. Gecsei Videotex networks . . . . . . . . . . . 8--14
W. Myers Computer Graphics: Reaching the User . . 7--10, 14, 17
David Stevenson A Proposed Standard for Binary
Floating-Point Arithmetic . . . . . . . 51--62
Jerome T. Coonen Errata: An Implementation Guide to a
Proposed Standard for Floating Point
Arithmetic . . . . . . . . . . . . . . . 62--62
William J. Cody, Jr. Analysis of Proposals for the
Floating-Point Standard . . . . . . . . 63--68
David Hough Applications of the Proposed IEEE-754
Standard for Floating Point Arithmetic 70--74
Jerome T. Coonen Underflow and the Denormalized Numbers 75--87
B. W. Kernighan and
J. R. Mashey The Unix Programming Environment . . . . 12--24
Warren Teitelman and
Larry Masinter The Interlisp Programming Environment 25--33
M. M. Zloof QBE/OBE: A Language for Office and
Business Automation . . . . . . . . . . 13--22
V. Stenning and
R. Froggatt and
R. Gilbert and
E. Thomas The Ada Environment: A Perspective . . . 26--36
Gerald Jay Sussman and
Jack Holloway and
Guy Lewis Steele, Jr. and
Alan Bell Scheme-79 --- Lisp on a Chip . . . . . . 10--21
Jon A. Webb and
J. K. Aggarwal Visually Interpreting the Motion of
Objects in Space . . . . . . . . . . . . 40--46
E. U. Cohler and
J. E. Storer Functionally Parallel Architecture for
Array Processors . . . . . . . . . . . . 28--36
N. Maron and
T. A. Brengle Integrating an Array Processor into a
Scientific Computing System . . . . . . 41--44
B. Brode Precompilation of Fortran Programs to
Facilitate Array Processing . . . . . . 46--51
Danny Cohen On Holy Wars and a plea for peace . . . 48--54
A. V. Pohm and
T. A. Smay Computer Memory Systems . . . . . . . . 93--110
S. K. Chang and
T. L. Kunii Pictorial data base systems . . . . . . 13--21
N. S. Chang and
K. S. Fu Picture query languages for pictorial
data-base systems . . . . . . . . . . . 23--33
A. L. Zobrist and
G. Nagy Pictorial information processing of
LANDSAT data for geographic analysis . . 34--41
Margaret Chock and
Alfonso F. Cardenas and
Allen Klinger Manipulating Data Structures in
Pictorial Information Systems . . . . . 43--50
D. M. Dias and
J. R. Jump Packet Switching Interconnection
Networks for Modular Systems . . . . . . 43--53
P.-Y. Chen and
D. H. Lawrie and
P.-C. Yew and
D. A. Padua Interconnection Networks Using Shuffles 55--63
M. Satyanarayanan and
D. P. Bhandarkar Design Trade-Offs in VAX-11 Translation
Buffer Organization . . . . . . . . . . 103--111
B. Plattner and
J. Nievergelt Monitoring Program Execution: A Survey 76--93
K. A. Lantz and
K. D. Gradischnig and
J. A. Feldman and
R. F. and
Rashid Rochester's Intelligent Gateway . . . . 54--68
L. S. Haynes and
R. L. Lau and
D. P. Siewiorek and
D. W. Mizel A Survey of Highly Parallel Computing 9--24
Allan Gottlieb and
J. T. Schwartz Networks and Algorithms for
Very-Large-Scale Parallel Computation 27--36
H. T. Kung Why Systolic Architectures? . . . . . . 37--46
H. M. Ahmed and
J. M. Delosme and
M. Morf Highly Concurrent Computing Structures
for Matrix Arithmetic and Signal
Processing . . . . . . . . . . . . . . . 65--82
T. Agerwala and
Arvind DataFlow Systems . . . . . . . . . . . . 10--30
W. B. Ackerman Data Flow Languages . . . . . . . . . . 15--25
Alan L. Davis and
Robert M. Keller Data flow program graphs . . . . . . . . 26--41
I. Watson and
J. Gurd A Practical Data Flow Computer . . . . . 51--57
D. D. Gajski and
D. A. Padua and
D. J. Kuck and
R. H. Kuhn A Second Opinion on Data Flow Machines
and Languages . . . . . . . . . . . . . 58--69
H. M. Levy and
P. H. Lipman Virtual Memory Management in the VAX/VMS
Operating System . . . . . . . . . . . . 35--41
K. Hwang and
W. J. Croft and
G. H. Goble and
B. W. Wah and
F. A. Briggs and
W. R. Simmons and
C. L. Coates A Unix-Based Local Computer Network with
Load Balancing . . . . . . . . . . . . . 55--66
Richard F. Kenville Optical Disk Data Storage . . . . . . . 21--25
George Copeland What If Mass Storage Were Free? . . . . 27--35
B. T. O'Lear and
J. H. Choy Software Considerations in Mass Storage
Systems . . . . . . . . . . . . . . . . 36--44
D. H. Lawrie and
J. M. Randal and
R. R. Barton Experiments with Automatic File
Migration . . . . . . . . . . . . . . . 45--55
John F. Shoch and
Y. K. Dalal and
David D. Redell and
Ronald C. Crane Evolution of the Ethernet Local Computer
Network . . . . . . . . . . . . . . . . 10--27
H. Boral and
D. J. DeWitt Applying Data Flow Techniques to Data
Base Machines . . . . . . . . . . . . . 57--63
D. A. Patterson and
C. H. Sequin A VLSI RISC . . . . . . . . . . . . . . 8--21
K. Brayer and
V. Lafleur A Testbed Approach to the Design of a
Computer Communication Network . . . . . 14--23
W. C. McDonald and
R. W. Smith A Flexible Distributed Testbed for
Real-Time Applications . . . . . . . . . 25--39
E. F. Gehringer and
A. K. Jones and
Z. Z. Segall The Cm* Testbed . . . . . . . . . . . . 40--49
Ernest L. Hall and
James K. B. Tio and
Charles A. McPherson and
Firooz A. Sadjadi Measuring Curved Surfaces for Robot
Vision . . . . . . . . . . . . . . . . . 42--54
Arvind and
Kim P. Gostelow The U-Interpreter . . . . . . . . . . . 42--49
K. Hwang and
K. Fu Integrated Computer Architectures for
Image Processing and Database Management 51--60
M. P. Atkinson and
P. J. Bailey and
K. J. Chisholm and
P. W. Cockshott and
R. Morrison An Approach to Persistent Programming 360--365
Eric Benhamou and
Judy Estrin Multilevel internetworking gateways:
Architecture and applications . . . . . 27--34
R. Hinden and
J. Haverty and
A. Sheltzer The DARPA Internet: Interconnecting
Heterogeneous Computer Networks with
Gateways . . . . . . . . . . . . . . . . 38--48
James E. Thornton and
Gary S. Christensen Hyperchannel network links . . . . . . . 50--54
David D. Redell and
James E. White Interconnecting electronic mail systems 55--63
Ronald J. Brachman What IS-A Is and Isn't: An Analysis of
Taxonomic Links in Semantic Networks . . 30--36
Lenhart K. Schubert and
Mary Angela Papalaskaris and
Jay Taugher Determining Type, Part, Color, and Time
Relationships . . . . . . . . . . . . . 53--60
Ronald J. Brachman and
Richard E. Fikes and
Hector J. Levesque KRYPTON: A Functional Approach to
Knowledge Representation . . . . . . . . 67--73
Randall Davis and
Howard Shrobe Representing Structure and Behavior of
Digital Hardware . . . . . . . . . . . . 75--81
John Mylopoulos and
Tetsutaro Shibahara and
John K. Tsotsos Building Knowledge-Based Systems: The
PSN Experience . . . . . . . . . . . . . 83--89
W. Havens and
A. Mackworth Representing knowledge of the visual
world . . . . . . . . . . . . . . . . . 90--96
Robert Balzer and
Thomas E. Cheatham, Jr. and
Cordell Green Software Technology in the 1990s: Using
a New Paradigm . . . . . . . . . . . . . 39--45
D. Gajski and
R. Kuhn Guest Editors' Introduction: New VLSI
Tools . . . . . . . . . . . . . . . . . 11--14
J. K. F. Lee and
A. J. Smith Branch prediction strategies and branch
target buffer design . . . . . . . . . . 6--22
V. D. Gligor and
G. L. Luckenbaugh Interconnecting Heterogeneous Database
Management Systems . . . . . . . . . . . 33--43
Maurelio Boari and
Stefano Crespi-Reghizzi and
Alberto Dapra and
Francesco Maderna and
Antonio Natali Multiple-Microprocessor Programming
Techniques: MML, a New Set of Tools . . 47--59
J. Grinberg and
G. R. Nudd and
R. D. Etchells A Cellular VLSI Architecture . . . . . . 69--81
B. W. Weide and
M. E. Brown and
J. Ramanathan and
K. Schwan Process Control: Integration and Design
Methodology Support . . . . . . . . . . 27--32
N. Roussopoulos and
R. T. Yeh An Adaptable Methodology for Database
Design . . . . . . . . . . . . . . . . . 64--80
Terry A. Welch A Technique for High-Performance Data
Compression . . . . . . . . . . . . . . 8--19
W. N. Hsieh and
I. Gitman Routing Strategies in Computer Networks 46--56
Myron MacDougall Instruction-Level Program and Processor
Modeling . . . . . . . . . . . . . . . . 14--24
L. Snyder Parallel Programming and the Poker
Programming Environment . . . . . . . . 27--36
R. M. Keller and
F. C. H. Lin Simulated Performance of a
Reduction-Based Multiprocessor . . . . . 70--82
D. B. Sarrazin and
M. Malek Fault-Tolerant Semiconductor Memories 49--56
S. Mittal and
B. Chandrasekaran and
J. Sticklen Patrec: A Knowledge-Directed Database
for a Diagnostic Expert System . . . . . 51--58
C. MacHover and
W. Myers Interactive Computer Graphics . . . . . 145--161
R. L. Brown and
P. J. Denning Advanced Operating Systems . . . . . . . 173--190
K. S. Fu and
A. Rosenfeld Pattern Recognition and Computer Vision 274--282
E. P. Glinert and
S. L. Tanimoto PICT: An Interactive Graphical
Programming Environment . . . . . . . . 7--25
J. Shemer and
P. M. Neches The Genesis of a Database Computer . . . 42
D. Laurent and
S. Motet GEOMATIC: A $3$-D Graphic Relief
Simulation System . . . . . . . . . . . 25--30
H. Yoshiura and
K. Fujimura and
T. L. Kunii Top-Down Construction of 3-D Mechanical
Object Shapes From Engineering Drawings 32--40
T. C. Woo Interfacing Solid Modeling to CAD and
CAM: Data Structures and Algorithms for
Decomposing a Solid . . . . . . . . . . 44--49
Y. Chu Chinese/Kanji Text and Data Processing 10--66
F. Maruyama and
M. Fujita Hardware Verification . . . . . . . . . 22--32
N. Suzuki Concurrent PROLOG as an Efficient VLSI
Design Language . . . . . . . . . . . . 33--40
K. J. Lieberherr and
S. M. German Zeus: A Language for Expressing
Algorithms in Hardware . . . . . . . . . 55--65
R. Piloty and
D. Borrione The CONLAN project: concepts,
implementations and applications . . . . 81--92
M. Shahdad and
R. Lipsett and
F. E. Marschner and
K. Sheehan and
H. Cohen and
R. Waxman and
D. Ackley VHSIC Hardware Description Language . . 94--103
S. Berman and
P. Parikh and
C. S. G. Lee Computer Recognition of Two Overlapping
Parts Using a Single Camera . . . . . . 70--80
Anonymous New Configuration Added, Price Cut, For
Processor . . . . . . . . . . . . . . . 122
Daniel D. Gajski and
Jih-Kwon Peir Essential Issues in Multiprocessor
Systems . . . . . . . . . . . . . . . . 9--27
P. B. Schneck and
D. Austin and
S. L. Squires and
J. Lehmann and
D. Mizell and
K. Wallgren Parallel Processor Programs in the
Federal Government . . . . . . . . . . . 43--56
K. Murakami and
T. Kakuta and
R. Onai and
N. Ito Research on Parallel Machine
Architecture for Fifth-Generation
Computer Systems . . . . . . . . . . . . 76--92
Benjamin W. Wah and
G. J. Li and
C. F. Yu Multiprocessing of Combinatorial Search
Problems . . . . . . . . . . . . . . . . 93--108
S. W. Miller and
M. W. Collins Toward a Reference Model of Mass Storage
Systems . . . . . . . . . . . . . . . . 9--22
G. Ammon and
J. Calabria and
D. Thomas A High-Speed, Large-Capacity, Jukebox
Optical Disk System . . . . . . . . . . 36--46
G. Raeder A Survey of Current Graphical
Programming Techniques . . . . . . . . . 11--25
G. P. Brown and
R. T. Carling and
C. F. Herot and
D. A. Kramlich and
P. Souza Program Visualization: Graphical Support
for Software Development . . . . . . . . 27--35
R. L. London and
R. A. Duisberg Animating Programs using Smalltalk . . . 61--71
B. Melamed and
R. J. T. Morris Visual Simulation: The Performance
Analysis Workstation . . . . . . . . . . 87--94
Robert P. Colwell and
Charles Y. Hitchcock, III and
E. Douglas Jensen and
H. M. Brinkley Sprunt and
Charles P. Kollar Instruction Sets and Beyond: Computers,
Complexity, and Controversy . . . . . . 8--19
Joëlle Coutaz Abstractions for user interface design 21--34
D. J. Hartzband and
F. J. Maryanski Enhancing Knowledge Representation in
Engineering Databases . . . . . . . . . 39
Nicole Yankelovich and
Norman Meyrowitz and
Andries van Dam Reading and Writing the Electronic Book 15--30
S. Sarin and
I. Greif Computer-Based Real-Time Conferencing
Systems . . . . . . . . . . . . . . . . 33--45
Wolfgang Horak Office Document Architecture and Office
Document Interchange Formats: Current
Status of International Standardization 50--60
Peter R. Bono A Survey of Graphics Standards and Their
Role in Information Interchange . . . . 63--75
J. K. Reynolds and
J. B. Postel and
A. R. Katz and
G. G. Finn and
A. L. DeSchon The DARPA Experimental Multimedia Mail
System . . . . . . . . . . . . . . . . . 82--91
S. Sakata and
T. Ueda A Distributed Interoffice Mail System 106--116
W. W. Carlson and
K. Hwang Algorithmic Performance of Dataflow
Multiprocessors . . . . . . . . . . . . 30--40
S. Yalamanchili and
J. K. Aggarwal Reconfiguration Strategies for Parallel
Architectures . . . . . . . . . . . . . 44--61
A. L. Fisher and
H. T. Kung Synchronizing Large VLSI Processor
Arrays . . . . . . . . . . . . . . . . . 734--740
S. Navathe and
R. Elmasri and
J. Larson Integrating User Views in Database
Design . . . . . . . . . . . . . . . . . 50--62
Joseph Goguen Reusing and Interconnecting Software
Components . . . . . . . . . . . . . . . 16--28
D. P. Agrawal and
V. K. Janakiram and
G. C. Pathak Evaluating the Performance of
Multicomputer Configurations . . . . . . 23--37
D. A. Fisher and
R. M. Weatherly Issues in the Design of a Distributed
Operating System for Ada . . . . . . . . 38--47
James A. Larson A Visual Approach to Browsing in a
Database Environment . . . . . . . . . . 62--71
G. Bruno and
A. Elia and
P. Laface A Rule-Based System to Schedule
Production . . . . . . . . . . . . . . . 32
G. J. Stroebel and
R. D. Baxter and
M. J. Denney A Capacity Planning Expert System for
IBM System/38 . . . . . . . . . . . . . 42
S. N. Talukdar and
E. Cardozo and
L. V. Leao Toast: The Power System Operator's
Assistant . . . . . . . . . . . . . . . 53
David C. Brown and
B. Chandrasekaran Knowledge and Control for a Mechanical
Design Expert System . . . . . . . . . . 92--100
S. Mittal and
C. L. Dym and
M. Morjaria Pride: An Expert System for the Design
of Paper Handling Systems . . . . . . . 102
Y.-T. Chien and
J. Liebowitz Expert Systems in the SDI Environment 115
D. A. Mundie and
D. A. Fisher Parallel Processing in Ada . . . . . . . 20--25
Sudhir Ahuja and
Nicholas Carriero and
David Gelernter Domesticating Parallelism: Linda and
Friends . . . . . . . . . . . . . . . . 26--34
R. H. Halstead Parallel Symbolic Computing . . . . . . 35--43
P. R. Hudak Para-Functional Programming . . . . . . 60--70
R. T. Snodgrass and
I. Ahn Temporal Databases . . . . . . . . . . . 35--42
B. A. Myers A Complete and Efficient Implementation
of Covered Windows . . . . . . . . . . . 57--67
N. Roussopoulos and
H. Kang Principles and Techniques in the Design
of ADMS . . . . . . . . . . . . . . . . 19--25
L. Mark and
N. Roussopoulos Metadata Management . . . . . . . . . . 26--36
G. Wiederhold Views, Objects, and Databases . . . . . 37--44
S. Christodoulakis and
C. Faloutsos Design and Performance Considerations
for an Optical Disk-Based, Multimedia
Object Server . . . . . . . . . . . . . 45--56
D. I. Moldovan and
J. A. B. Fortes Partitioning and Mapping Algorithms Into
Fixed-Size Systolic Arrays . . . . . . . 1--12
K. Hwang and
J. Ghosh and
R. Chowkwanyun Computer Architectures for Artificial
Intelligence Processing . . . . . . . . 19--27
D. Ungar and
D. Patterson What Price Smalltalk? . . . . . . . . . 67--74
S. E. Fahlman and
Geoffrey E. Hinton Connectionist architectures for
artificial intelligence . . . . . . . . 100--109
M. A. Ketabchi and
V. Berzins Modeling and Managing CAD Databases . . 93--102
P. B. Berra and
Soon M. Chung and
Nabil I. Hachem Computer Architecture for a Surrogate
File to a Very Large Data/Knowledge Base 25--32
A. R. Pleszkun and
M. J. Thazhuthaveetil The Architecture of LISP Machines . . . 35--44
J. Dongarra How do the `Mini-Supers' Stack Up? . . . 93, 100
Frederick P. Brooks, Jr. No silver bullet: essence and accidents
of software engineering . . . . . . . . 10--19
W. B. Gevarter The Nature and Evaluation of Commercial
Expert System Building Tools . . . . . . 24--41
Alan H. Karp Programming for Parallelism . . . . . . 43--57
V. Milutinovic and
D. Fura and
W. Helbig and
J. Linn Architecture/Compiler Synergism in GaAs
Computer Systems . . . . . . . . . . . . 72--93
L. N. Bhuyan Guest Editor's Introduction:
Interconnection Networks for Parallel
and Distributed Processing . . . . . . . 9--13
Vijay P. Kumar and
Sudhakar M. Reddy Augmented Shuffle-Exchange Multistage
Interconnection Networks . . . . . . . . 30--40
A. Varma and
A. A. Sawchuk and
C. S. Raghavendra and
B. K. Jenkins Optical Crossbar Networks . . . . . . . 50--60
J. A. B. Fortes and
B. W. Wah Systolic Arrays --- From Concept to
Implementation . . . . . . . . . . . . . 12--17
S. Y. Kung and
S. N. Lo and
J. N. Hwang Wavefront Array Processors --- Concept
to Implementation . . . . . . . . . . . 18--34
D. E. Foulser and
R. Schreiber The Saxpy Matrix-1: A General-Purpose
Systolic Computer . . . . . . . . . . . 35--44
B. L. Drake and
F. T. Luk and
J. M. Speiser and
J. J. Symanski SLAPP: A Systolic Linear Algebra
Parallel Processor . . . . . . . . . . . 45--50
J. V. McCanny and
J. G. McWhirter Some Systolic Array Developments in the
United Kingdom . . . . . . . . . . . . . 51--64
J. A. Abraham and
P. Banerjee and
C. Chen and
W. K. Fuchs and
S. Y. Kuo and
A. L. N. Reddy Fault Tolerance Techniques for Systolic
Arrays . . . . . . . . . . . . . . . . . 65--76
J. J. Navarro and
J. M. Llaberia and
M. Valero Partitioning: An Essential Step in
Mapping Algorithms Into Systolic Array
Processors . . . . . . . . . . . . . . . 77--90
C. E. Hein and
R. M. Zieger and
J. A. Urbano The Design of a GaAs Systolic Array for
an Adaptive Null Steering Beamforming
Controller . . . . . . . . . . . . . . . 92--93
J. G. Nash and
K. W. Przytula and
S. Hansen The Systolic/Cellular System for Signal
Processing . . . . . . . . . . . . . . . 96--97
W. T. Lin and
C. Y. Chin and
C. Y. Ho Integrating Systolic Arrays Into a
Supersystem . . . . . . . . . . . . . . 100--101
Israel Koren The Concept and Implementation of
Data-Driven Processor Arrays . . . . . . 102--103
Bir Bhanu and
Chih-Cheng Ho CAD-based 3D object representation for
robot vision . . . . . . . . . . . . . . 19--35
John W. Roach and
Praveen K. Paripati and
Jeffrey S. Wright A CAD System based on Spherical Dual
Representations . . . . . . . . . . . . 37--44
Michael O. Shneier and
Ronald Lumia and
Martin Herman Prediction-Based Vision for Robot
Control . . . . . . . . . . . . . . . . 46--55
Radu Horaud and
Thomas Skordas Model-based Strategy Planning for
Recognizing Partially Occluded Parts . . 58--65
Kristjan T. Gunnarsson and
Friedrich B. Prinz CAD Model-Based Localization of Parts in
Manufacturing . . . . . . . . . . . . . 66--74
Charles N. Stevenson Model-Based Programming and Control of
Robot Manipulators . . . . . . . . . . . 76--84
Anonymous [Front cover] . . . . . . . . . . . . . c1--c2
Anonymous Table of contents . . . . . . . . . . . 2--3
R. Russo and
M. Smith Computer Society President's Message . . 6--7
B. D. Shriver Editor-in-Chief's Message . . . . . . . 10--10
Anonymous The 1987 Fall Joint Computer Conference
Infomart --- Dallas, Texas, October
25--29, 1987 . . . . . . . . . . . . . . 12--15
Jeff Conklin Hypertext: An Introduction and Survey 17--41
Boehm Improving Software Productivity . . . . 43--57
C. E. Gimarc and
V. M. Milutinovic A Survey of RISC Processors and
Computers of the Mid-1980s . . . . . . . 59--69
M. J. Flynn and
C. L. Mitchell and
J. M. Mulder And Now a Case for More Complex
Instruction Sets . . . . . . . . . . . . 71--83
C. A. R. Hoare An Overview of Some Formal Methods for
Program Design . . . . . . . . . . . . . 85--91
Anonymous Standards . . . . . . . . . . . . . . . 94--97
Anonymous Update . . . . . . . . . . . . . . . . . 98--99
Anonymous Computer Society News . . . . . . . . . 99--102
Anonymous New Product Reviews . . . . . . . . . . 103--106
Anonymous New products . . . . . . . . . . . . . . 107--113
Anonymous IC Announcements . . . . . . . . . . . . 114--114
Anonymous Microsystem Announcements . . . . . . . 115--115
Anonymous IEEE International Conference on
Computer-Aided Design . . . . . . . . . 116--117
Anonymous Conferences . . . . . . . . . . . . . . 118--119
Anonymous Calendar . . . . . . . . . . . . . . . . 119--120
Anonymous Call for Papers . . . . . . . . . . . . 121--122
Anonymous Career opportunities . . . . . . . . . . 122--123
Anonymous Book reviews . . . . . . . . . . . . . . 124--126
Anonymous New Literature . . . . . . . . . . . . . 127--127
Anonymous The Computer Society: a Member Society
of the Institute of Electrical and
Electronics Engineers, Inc. . . . . . . 129--129
Harold S. Stone Parallel Querying of Large Databases: A
Case Study . . . . . . . . . . . . . . . 11--21
P. B. Berra and
N. B. Troullinos Optical Techniques and Data/Knowledge
Base Machines . . . . . . . . . . . . . 59--70
P. B. Henderson and
D. Notkin Integrated Design and Programming
Environments . . . . . . . . . . . . . . 12--16
S. A. Dart and
R. J. Ellison and
P. H. Feiler and
N. A. Habermann Software Development Environments . . . 18--28
T. Reps and
T. Teitelbaum Language Processing in Program Editors 29--40
Joseph Goguen and
Mark Moriconi Formalization in Programming
Environments . . . . . . . . . . . . . . 55--64
Alan Carle and
Keith D. Cooper and
Robert T. Hood and
Ken Kennedy and
Linda Torczon and
Scott K. Warren A Practical Environment for Scientific
Programming . . . . . . . . . . . . . . 75--89
P. J. Denning and
D. E. Comer and
D. Gries and
M. C. Mulder and
A. Tucker and
A. J. Turner and
P. R. Young Computing as a Discipline: Preliminary
report of the ACM Task Force on the Core
of Computer Science . . . . . . . . . . 41--41
P. Chen and
M. A. Harrison Multiple Representation Document
Development . . . . . . . . . . . . . . 15--31
J. Johnson and
R. J. Beach Styles in Document Editing Systems . . . 32--47
J. H. Schlichter and
L. J. Miller FolioPub: A Publication Management
System . . . . . . . . . . . . . . . . . 61--69
G. Marchionini and
B. Shneiderman Finding Facts vs. Browsing Knowledge in
Hypertext Systems . . . . . . . . . . . 70--80
Nicole Yankelovich and
Bernard Hann and
Norman Meyrowitz and
S. M. Drucker Intermedia: The Concept and the
Construction of a Seamless Information
Environment . . . . . . . . . . . . . . 81--97
Michel Dubois and
Christoph Scheurich and
Fayé A. Briggs Synchronization, Coherence, and Event
Ordering in Multiprocessors . . . . . . 9--21
John K. Ousterhout and
A. R. Cherenson and
Fred Douglis and
Michael N. Nelson and
Brent B. Welch The Sprite Network Operating System . . 23--36
P. A. Bernstein Sequoia: A Fault-Tolerant Tightly
Coupled Multiprocessor for Transaction
Processing . . . . . . . . . . . . . . . 37--45
Gordon R. Lang and
Moez Dharssi and
Fred M. Longstaff and
Philip S. Longstaff and
Peter A. S. Metford and
Malcolm T. Rimmer An Optimum Parallel Architecture for
High-Speed Real-Time Digital Signal
Processing . . . . . . . . . . . . . . . 47--57
Jonathan D. Moffett and
Morris S. Sloman The Source of Authority for Commercial
Access Control . . . . . . . . . . . . . 59--69
B. Widrow and
R. Winter Neural Nets for Adaptive Filtering and
Adaptive Pattern Recognition . . . . . . 25--39
Hans P. Graf and
Lawrence D. Jackel and
Wayne E. Hubbard VLSI Implementation of a Neural Network
Model . . . . . . . . . . . . . . . . . 41--49
James Hutchinson and
Christof Koch and
Jin Luo and
Carver Mead Computing Motion Using Analog and Binary
Resistive Networks . . . . . . . . . . . 52--63
Kunihiko Fukushima Neural Network for Visual Pattern
Recognition . . . . . . . . . . . . . . 65--75
Gail A. Carpenter and
Stephen Grossberg The ART of Adaptive Pattern Recognition
by a Self-Organizing Neural Network . . 77--88
Jerome A. Feldmann and
Mark A. Fanty and
Nigel H. Goddard Computing with Structured Neural
Networks . . . . . . . . . . . . . . . . 91--103
J. T. Butler Multiple-Valued Logic: Guest Editor's
Introduction and Bibliography . . . . . 13
K. C. Smith Multiple-Valued Logic: A Tutorial and
Appreciation . . . . . . . . . . . . . . 17--27
D. Etiemble and
M. Israel Comparison of Binary and Multivalued ICs
According to VLSI Criteria . . . . . . . 28--42
M. Kameyama and
S. Kawahito and
T. Higuchi A Multiplier Chip with Multiple-Valued
Bidirectional Current-Mode Logic
Circuits . . . . . . . . . . . . . . . . 43--57
J. T. Butler and
H. G. Kerkhoff Multiple-Valued CCD Circuits . . . . . . 58--70
T. Sasao Multiple-Valued Logic and Optimization
of Programmable Logic Arrays . . . . . . 71--82
Kathleen M. Nichols and
John T. Edmark Modeling Multicomputer Systems with
PARET . . . . . . . . . . . . . . . . . 39--48
Brian N. Bershad and
Henry M. Levy A Remote Computation Facility for a
Heterogeneous Environment . . . . . . . 50--60
Barry W. Boehm A Spiral Model of Software Development
and Enhancement . . . . . . . . . . . . 61--72
Jason Gait The Optical File Cabinet: A
Random-Access File System for Write-Once
Optical Disks . . . . . . . . . . . . . 11--22
H. D. Mills Stepwise Refinement and Verification in
Box-Structured Systems . . . . . . . . . 23--37
J. T. Rayfield and
H. F. Silverman System and Application Software for the
Armstrong Multiprocessor . . . . . . . . 38--52
Walter D. Potter and
Robert P. Trueblood Traditional, Semantic, and
Hyper-Semantic Approaches to Data
Modeling . . . . . . . . . . . . . . . . 53--63
Bowen Liu and
Nelson Strother Programming in VS Fortran on the IBM
3090 for Maximum Vector Performance . . 65--77
P. Camurati and
P. Prinetto Formal Verification of Hardware
Correctness: Introduction and Survey of
Current Research . . . . . . . . . . . . 8--20
A. R. Hooton and
U. Agueero and
S. Dasgupta An Exercise in Plausibility-Driven
Design . . . . . . . . . . . . . . . . . 21--33
P. Steenkiste and
J. Hennessy Lisp on a Reduced-Introduction-Set
Processor: Characterization and
Optimization . . . . . . . . . . . . . . 34--46
William C. Athas and
Charles L. Seitz Multicomputers: Message-Passing
Concurrent Computers . . . . . . . . . . 9--24
Lewis W. Tucker and
George G. Robertson Architecture and Applications of the
Connection Machine . . . . . . . . . . . 26--38
Charles Rich and
Richard C. Waters Automatic Programming: Myths and
Prospects . . . . . . . . . . . . . . . 40--51
David Gries and
Dorothy Marsh The 1986--1987 Taulbee Survey . . . . . 53--63
Tom Diede and
Carl F. Hagenmaier and
Glen S. Miranker and
Jonathan J. Rubinstein and
William S. Worley, Jr. The Titan Graphics Supercomputer
Architecture . . . . . . . . . . . . . . 13--28, 30
Peter Wolcott and
Seymour E. Goodman High-Speed Computers of the Soviet Union 32--41
K. S. Leung and
W. Lam Fuzzy Concepts in Expert Systems . . . . 43--56
W. Myers and
M. Potes National Conference on Strategic
Management of R&D . . . . . . . . . . . . 58--67
J. A. Stankovic Misconceptions About Real-Time Computing
--- A Serious Problem for
Next-Generation Systems . . . . . . . . 10--19
R. W. Doran Amdahl multiple-domain architecture . . 20--28
Israel Koren and
Bilha Mendelson and
Irit Peled and
Gabriel M. Silberman A Data-Driven VLSI Array for Arbitrary
Algorithms . . . . . . . . . . . . . . . 30--43
Ted G. Lewis and
Curtis R. Cook Hashing for Dynamic and Static Internal
Tables . . . . . . . . . . . . . . . . . 45--56
Y.-C. D. Lie Appendum to `Multiple-valued logic: a
tutorial and appreciation' (April
17--27, 1988) . . . . . . . . . . . . . 9
C. Rich and
R. C. Waters The Programmer's Apprentice: a research
overview . . . . . . . . . . . . . . . . 10--25
P. Stenström Reducing Contention in Shared-Memory
Multiprocessors . . . . . . . . . . . . 26--37
R. N. Britcher Using inspections to investigate program
correctness . . . . . . . . . . . . . . 38--44
David B. Skillicorn A Taxonomy for Computer Architectures 46--57
D. E. Webster Mapping the design information
representation terrain . . . . . . . . . 8--23
M. D. Hill A case for direct-mapped caches . . . . 25--40
Stuart C. Schaffner and
Martha Borkan Segue: Support for Distributed Graphical
Interfaces . . . . . . . . . . . . . . . 42--55
David L. Detlefs and
Maurice P. Herlihy and
Jeannette M. Wing Inheritance of Synchronization and
Recovery Properties in Avalon/C++ . . . 57--69
Anonymous Software for supercomputers . . . . . . 70--74
B. Ramakrishna Rau and
D. W. L. Yen and
Wei Yen and
R. A. Towle The Cydra 5 departmental supercomputer:
design philosophies, decisions, and
trade-offs . . . . . . . . . . . . . . . 12--35
T. Jones Engineering design of the Convex C2 . . 36--44
M. C. August and
G. M. Brost and
C. C. Hsiung and
A. J. Schiffleger Cray X-MP: The Birth of a Supercomputer 45--52
H. G. Cragon and
W. J. Watson The TI Advanced Scientific Computer . . 55--64
B. Maytal and
S. Iacobovici and
D. B. Alpert and
D. Biran and
J. Levy and
S. Y. Tov Design considerations for a
general-purpose microprocessor . . . . . 66--76
R. B. Lee Precision architecture . . . . . . . . . 78--91
W. Myers Software pivotal to strategic defense 92--97
Mark A. Linton and
John M. Vissides and
Paul R. Calder Composing user interfaces with
InterViews . . . . . . . . . . . . . . . 8--22
L. N. Bhuyan and
Qing Yang and
D. P. Agrawal Performance of Multiprocessor
Interconnection Networks . . . . . . . . 25--37
Stephen Richardson and
Mahadevan Ganapathi Code optimization across procedures . . 42--50
M. Ganapathi and
G. O. Mendal Issues in Ada Compiler Technology . . . 52--60
P. J. Denning and
D. E. Comer and
D. Gries and
M. C. Mulder and
A. Tucker and
A. J. Turner and
P. R. Young Computing as a Discipline . . . . . . . 63--70
D. Gries and
T. Walker and
P. R. Young 1988 Snowbird report: a discipline
matures (computer science education) . . 72--75
G. T. Wilfong Robotics and Automation . . . . . . . . 6--8
M. Sharir Algorithmic motion planning in robotics 9--19
T. Lozano-Perez and
J. L. Jones and
E. Mazer and
P. A. O'Donnell Task-Level Planning of Pick-and-Place
Robot Motions . . . . . . . . . . . . . 21--29
C. M. Hoffmann The Problems of Accuracy and Robustness
in Geometric Computation . . . . . . . . 31--39, 41
I. J. Cox and
N. H. Gehani Exception Handling in Robotics . . . . . 43--49
P. Allen and
P. Michelman and
K. Roberts Current Research in Robotics and
Automation --- An Intelligent Grasping
System . . . . . . . . . . . . . . . . . 50--52
P. J. Eicker and
D. R. Strip Current research in robotics and
automation --- automated planning and
programming for robotic batch mechanical
assembly . . . . . . . . . . . . . . . . 53--54
J. E. Hopcroft Current research in robotics and
automation --- electronic prototyping 55--57
G. A. Bekey Current research in robotics and
automation-robotics research at USC . . 58--60
T. F. Keefe and
M. B. Thuraisingham and
W. T. Tsai Secure Query-Processing Strategies . . . 63--70
Debashis Bhattacharya and
Brian T. Murray and
John P. Hayes High-Level Test Generation for VLSI . . 16--24
R. Renous and
G. M. Silberman and
I. Spillinger Whistle: A Workbench for Test
Development of Library-Based Designs . . 27--41
W.-T. Cheng and
T. J. Chakraborty Gentest: An Automatic Test-Generation
System for Sequential Circuits . . . . . 43--49
M. A. Heap and
W. A. Rogers Generating Single-Stuck-Fault Coverage
from a Collapsed-Fault Set . . . . . . . 51--57
J. J. Hallenbeck and
J. R. Cybrynski and
N. Kanopoulos and
T. Markas and
N. Vasanthavada The Test Engineer's Assistant: A Support
Environment for Hardware Design for
Testability . . . . . . . . . . . . . . 59--68
M. M. Tanik and
R. T. Yeh Rapid Prototyping in Software
Development . . . . . . . . . . . . . . 9--12
Luqi Software evolution through rapid
prototyping . . . . . . . . . . . . . . 13--25
R. Gupta and
W. H. Cheng and
R. Gupta and
I. Hardonag and
M. A. Breuer An Object-Oriented VLSI CAD Framework 28--37
P. W. Jordan and
K. S. Keller and
R. W. Tucker and
D. Vogel Software Storming: Combining Rapid
Prototyping and Knowledge Engineering 39--48
T. G. Lewis and
F. Handloser, III and
S. Bose and
S. Yang Prototypes from Standard User Interface
Management Systems . . . . . . . . . . . 51--60
E. L. Duke and
R. W. Brumbaugh and
J. D. Disbrow A Rapid Prototyping Facility for Flight
Research in Advanced Systems Concepts 61--66
R. Cieslak and
A. Fawaz and
S. Sachs and
P. Varaiya and
J. Walrand and
A. Li The Programmable Network Prototyping
System . . . . . . . . . . . . . . . . . 67--76
W. M. McKeeman Graduation talk at Wang Institute . . . 78--80
S. S. Iyengar and
R. L. Kashyap Autonomous Intelligent Machines . . . . 14--17
John Bares and
Martial Hebert and
Takeo Kanade and
Eric Krotkov and
Tom Mitchell and
Reid Simmons and
William Whittaker Ambler --- an Autonomous Rover for
Planetary Exploration . . . . . . . . . 18--26
C. R. Weisbin and
G. de Saussure and
J. R. Einstein and
F. G. Pin and
E. Heer Autonomous Mobile Robot Navigation and
Learning . . . . . . . . . . . . . . . . 29--35
N. S. V. Rao Algorithmic framework for learned robot
navigation in unknown terrains . . . . . 37--43
A. Elfes Using Occupancy Grids for Mobile Robot
Perception and Navigation . . . . . . . 46--57
T. E. Bihari and
T. M. Walliser and
M. R. Patterson Controlling the Adaptive Suspension
Vehicle . . . . . . . . . . . . . . . . 59--65
Jacob Barhen and
Sandeep Gulati and
Michail Zak Neural Learning of Constrained Nonlinear
Transformations . . . . . . . . . . . . 67--76
I. Lee and
R. B. King and
R. P. Paul A Predictable Real-Time Kernel for
Distributed Multisensor Systems . . . . 78--83
Y. Roth-Tabak and
R. Jain Building an Environment Model Using
Depth Information . . . . . . . . . . . 85--90
M. M. Trivedi and
C. X. Chen and
S. B. Marapane A Vision System for Robotic Inspection
and Manipulation . . . . . . . . . . . . 91--97
K. Preston, Jr. The Abingdon Cross benchmark survey . . 9--18
J. E. Smith Dynamic Instruction Scheduling and the
Astronautics ZS-1 . . . . . . . . . . . 21--35
T. J. Biggerstaff Design Recovery for Maintenance and
Reuse . . . . . . . . . . . . . . . . . 36--49
L. Chisvin and
R. J. Duckworth Content-Addressable and Associative
Memory: Alternatives to the Ubiquitous
RAM . . . . . . . . . . . . . . . . . . 51--64
A. Dinning A survey of synchronization methods for
parallel computers . . . . . . . . . . . 66--77
T. A. DeFanti and
M. D. Brown and
B. H. McCormick Visualization: Expanding Scientific and
Engineering Research Opportunities . . . 12--16, 22--25
J. Helman and
L. Hesselink Representation and Display of Vector
Field Topology in Fluid Flow Data Sets 27--36
M. B. Long and
K. Lyons and
J. K. Lam Acquisition and Representation of 2D and
3D Data from Turbulent Flows and Flames 39--45
Henry Fuchs and
Marc Levoy and
Stephen M. Pizer Interactive Visualization of 3-D Medical
Data . . . . . . . . . . . . . . . . . . 46--51
W. Hibbard and
D. Santek Visualizing Large Data Sets in the Earth
Sciences . . . . . . . . . . . . . . . . 53--59
N. C. Kluksdahl and
A. M. Kriman and
D. K. Ferry The Role of Visualization in the
Simulation of Quantum Electronic
Transport in Semiconductors . . . . . . 60--66
R. L. Phillips Distributed visualization at Los Alamos
National Laboratory . . . . . . . . . . 70--77
B. Cabral and
C. L. Hunter Visualization tools at Lawrence
Livermore National Laboratory . . . . . 77--84
R. B. Haber Scientific visualization and the Rivers
Project at the National Center for
Supercomputing Applications . . . . . . 84--89
G. V. Bancroft and
T. Plessel and
F. Merritt and
P. P. Walataka and
V. Watson Scientific visualization in
computational aerodynamics at NASA Ames
Research Center . . . . . . . . . . . . 89--95
L. J. Rosenblum Visualization of experimental data at
the Naval Research Laboratory . . . . . 95--101
T. L. Pappas \TeXnology on the IBM PC . . . . . . . . 111--120
J. Johnson and
T. L. Roberts and
W. Verplank and
D. C. Smith and
C. H. Irby and
M. Beard and
K. Mackey The Xerox Star: a retrospective . . . . 11--26, 28--29
H. Cheng Vector Pipelining, Chaining, and Speed
on the IBM 3090 and Cray X-MP . . . . . 31--42, 44, 46
Karl J. Lieberherr and
Ian M. Holland Assuring Good Style for Object-Oriented
Programs . . . . . . . . . . . . . . . . 38--44
Yeshayahu Artsy and
Raphael Finkel Designing a Process Migration Facility:
The Charlotte Experience . . . . . . . . 47--56
G. A. Ford and
N. E. Gibbs A Master of Software Engineering
Curriculum: Recommendations from the
Software Engineering Institute . . . . . 59--71
A. L. Ambler and
M. M. Burnett Influence of Visual Technology on the
Evolution of Language Environments . . . 9--22
G.-C. Roman and
K. C. Cox A Declarative Approach to Visualizing
Concurrent Computations . . . . . . . . 25--36
Ted Lehr and
Zary Segall and
Dalibor F. Vrsalovic and
Eddie Caplan and
Alan L. Chung and
Charles E. Fineman Visualizing Performance Debugging . . . 38--51
Jeffrey Kramer and
J. Magee and
K. Ng Graphical Configuration Programming . . 53--58, 62--65
J. Gu and
K. F. Smith A Structured Approach for VLSI Circuit
Design . . . . . . . . . . . . . . . . . 9--22
A. Hac and
H. B. Mutlu Synchronous Optical Network and
Broadband ISDN Protocols . . . . . . . . 26--34
M. Singhal Deadlock detection in distributed
systems . . . . . . . . . . . . . . . . 37--48
D. Gries and
D. Marsh The 1987--88 Taulbee Survey Report . . . 49--56
Anonymous The computer spectrum: a perspective on
the evolution of computing . . . . . . . 57--63
Anonymous Supercomputer hardware: an update of the
1983 report's summary and tables . . . . 63--68
W. I. Grosky and
R. Mehrotra Guest Editors' Introduction: Image
Database Management . . . . . . . . . . 7--8
R. Kasturi and
R. Fernandez and
M. L. Amlani and
W.-C. Feng Map Data Processing in Geographic
Information Systems . . . . . . . . . . 10--21
J. Brolio and
B. A. Draper and
J. R. Beveridge and
A. R. Hanson ISR: A Database for Symbolic Processing
in Computer Vision . . . . . . . . . . . 22--30
H. V. Jagadish and
L. O'Gorman An Object Model for Image Recognition 33--41
Andrew M. Goodman and
Robert M. Haralick and
Linda G. Shapiro Knowledge-Based Computer Vision ---
Integrated Programming Language and Data
Management System Design . . . . . . . . 43--54
A. Pizano and
A. Klinger and
A. Cardenas Specification of Spatial Integrity
Constraints in Pictorial Databases . . . 59--71
Jacob Ziv and
Abraham Lempel A Universal Algorithm for Sequential
Data Compression . . . . . . . . . . . . 337--343
J. Ziv and
A. Lempel Compression of individual sequences via
variable rate coding . . . . . . . . . . 530--536
Lee Daniel Crocker PNG: The Portable Network Graphic Format 36, 38, 40, 42, 44