IBM Journal of Research and Development, Volume 30, 1986

Volume 30, Number 1, January 1986

• Adrian Walker: Knowledge Systems: Principles and Practice. 2-13 BibTeX
• Robert L. Ennis, James H. Griesmer, Se June Hong, Maurice Karnaugh, John K. Kastner, David A. Klein, Keith R. Milliken, Marshall I. Schor, Hugo M. Van Woerkom: A Continuous Real-Time Expert System for Computer Operations. 14-28 BibTeX
• Peter Hirsch, William Katke, Michael Meier, Steven Snyder, Richard Stillman: Interfaces for Knowledge-Base Builders' Control Knowledge and Application-Specific Procedures. 29-38 BibTeX
• Franz Guenthner, Hubert Lehmann, Wolfgang Schönfeld: A Theory for the Representation of Knowledge. 39-56 BibTeX
• John F. Sowa, Eileen C. Way: Implementing a Semantic Interpreter Using Conceptual Graphs. 57-69 BibTeX
• Jean Fargues, Marie-Claude Landau, Anne Dugourd, Laurent Catach: Conceptual Graphs for Semantics and Knowledge Processing. 70-79 BibTeX
• Ghica van Emde Boas, Peter van Emde Boas: Storing and Evaluating Horn-Clause Rules in a Relational Database. 80-92 BibTeX
• William F. Eddy, Gabriel P. Pei: Structures of Rule-Based Belief Functions. 93-101 BibTeX
• Hans Diel, Norbert G. Lenz, H. Martin Welsch: An Experimental Computer Architecture Supporting Expert Systems and Logic Programming. 102-111 BibTeX

Volume 30, Number 2, March 1986

• Ramesh C. Agarwal, James W. Cooley, Fred G. Gustavson, James B. Shearer, Gordon Slishman, Bryant Tuckerman: New Scalar and Vector Elementary Functions for the IBM System/370. 126-144 BibTeX
• Ramesh C. Agarwal, James W. Cooley: Fourier Transform and Convolution Subroutines for the IBM 3090 Vector Facility. 145-162 BibTeX
• Randolph G. Scarborough, Harwood G. Kolsky: A Vectorizing Fortran Compiler. 163-171 BibTeX
• Jenö Gazdag, Giuseppe Radicati di Brozolo, Piero Sguazzero, Hsuan-Heng Wang: Seismic Migration on the IBM 3090 Vector Facility. 172-183 BibTeX
• Ilan Efrat, Miron Tismentetsky: Parallel Iterative Linear solvers for Oil Reservoir Models. 184-192 BibTeX
• William R. Martin, Paul F. Nowak, James A. Rathkopf: Monte Carlo Photon Transport on a Vector Supercomputer. 193-202 BibTeX

Volume 30, Number 3, May 1986

• Malcolm C. Easton: Key-Sequence Data Sets on Inedible Storage. 230-241 BibTeX
• Harold S. Stone, Paolo Sipala: The Average Complexity of Depth-First Search with Backtracking and Cutoff. 242-258 BibTeX
• Arvind M. Patel: On-the-Fly Decoder for Multiple Byte Errors. 259-269 BibTeX
• David M. Cannon, W. R. Dempwolf, Joseph M. Schmalhorst, Frank B. Shelledy, Ralph D. Silkensen: Design and Performance of a Magnetic Head for a High-Density Tape Drive. 270-277 BibTeX
• Lindsay A. Prisgrove, Gerald S. Shedler: Symmetric Stochastic Petri Nets. 278-293 BibTeX
• Bijan Arbab: Compiling Circular Attribute Grammars Into Prolog. 294-309 BibTeX
• John M. Cioffi: Least-Squares Storage-Channel Identification. 310-320 BibTeX

Volume 30, Number 6, November 1986

• Paolo Carnevali, Piero Sguazzero, Vittorio Zecca: Microtasking on IBM Multiprocessors. 574-582 BibTeX
• Graham C. Driscoll Jr., Donald L. Orth: Compiling APL: The Yorktown APL Translator. 583-593 BibTeX
• Wai-Mee Ching: Program Analysis and Code Generation in an APL/370 Compiler. 594-602 BibTeX
• Ron Cytron, Paul G. Loewner: An Automatic Overlay Generator. 603-608 BibTeX
• Tien Huynh, Brent Hailpern, Lee W. Hoevel: An Execution Architecture for FP. 609-617 BibTeX
• Arnaldo V. Moura: Early Error Detection in Syntax-Driven Parsers. 617-626 BibTeX