%A John T. Fitch
%T ACMEE programming for computer professionals
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1-4

%A Frederic J. Mowle
%A David G. Meyer
%A Philip H. Swain
%T NTU computer engineering program
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 5-10

%A Sartaj Sahni
%T The NTU computer science program
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 11-14

%A Bruce Arne Sherwood
%T Workstations at Carnegie Mellon
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 15-17

%A Alan M. Lesgold
%T Intelligent tutoring systems for professionals
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 18-23

%A Gael Curry
%T An approach to type safety in a traits system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 24-30

%A Larry Rosenstein
%A Ken Doyle
%A Scott Wallace
%T Object-oriented programming for Macintosh applications
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 31-35

%A A.H. Borning
%T Classe versus prototypes in object-oriented languages
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 36-40

%A Stenly B. Zdonik
%T Why properties are object or some refinements of "is-a"
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 41-47

%A A.W. Bojanczyk
%A T.D. Kimura
%T A systolic parsing algorithm for a visual programming language
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 48-55

%A Robert P. Taylor
%A Nancy Cunniff
%A Minh Uchiyama
%T Learning research, and the graphical representation of programming
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 56-63

%A Christine Genet
%T Command language support for application programs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 64-69

%A Ikram E. Abdon
%A Nicolas J. Dusaussoy
%T Survey of image quality measurements
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 71-78

%A Shi-kuo Chang
%A Erland Jungert
%T A spatial knowledge structure for image information systems
using symbolic projections
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 79-86

%A Sargur N. Srihari
%T Document image understanding
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 87-96

%A R.L. Andersson
%T Living in a dynamic world
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 97-104

%A Y. Goto
%A K. Matsuzaki
%A I. Kweon
%A T. Obatake
%T CMU sidewalk navigation system: a blackboard based outdoor navigation system
using sensor fusion with colored-range images
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 105-113

%A Larry Matthies
%A Steven A. Shafer
%T Error modelling in stereo navigation
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 114-123

%A Matthew T. Mason
%A Randy C. Brost
%T Automatic grasp planning: an operation space approach
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 124-128

%A Van-Duc Nguyen
%T Constructing stable force-closure grasps
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 129-137

%A Tomas Lozano-Perez
%A W. Eric L. Grimson
%T Off-line planning for on-line object localization
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 138-144

%A Lee R. Nackman
%A Mark A. Lavin
%A Russell H. Taylor
%A Walter C., Dietrich,\ Jr.
%A David D. Grossman
%T AML/X: a programming language language for design and manufacturing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 145-159

%A J. Bradley Chen
%A Brian S.R. Armstrong
%A Ronald S. Fearing
%A Joel W. Burdick
%T Satyr and the Nymph: software archetype for real time robotics
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 160-168

%A Robert D. Gaglianello
%A Howard P. Katseff
%T The Meglos user interface
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 169-177

%A Hohn Zhang
%A Richard P. Paul
%T A robot force and motion server
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 178-184

%A Robert J.K. Jacob
%A Judith N. Froscher
%T Software engineering for rule-based systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 185-189

%A Teresa A. Blaxton
%A Brian G. Kushner
%T An organizational framework for comparing
adaptive artificial intelligence systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 190-199

%A Giming Chen
%T An object/task modeling approach
based on domain knowledge and control knowledge representation
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 200-206

%A Moonis Ali
%A Eddie S. Washington
%T A plant intelligent supervisory control expert system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 207-215

%A Kenichi Yoshida
%A Yasuhiro Kobayashi
%A Yoshikatsu Ueda
%A Hideo Tanaka
%A Shouichi Muto
%A Junichi Yoshizawa
%T Knowledge-based layout design system for industrial plants
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 216-222

%A Hsin-Shi Chen
%A I-Peng Lin
%A Chieng-Ping Wu
%T A logic programming approach to frame-based language design
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 223-228

%A Kenneth Magel
%T Interfacing Prolog to Pascal
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 229-236

%A Naoyuki Tamura
%T Knowledge-based optimization in Prolog compiler
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 237-240

%A Kathleen R. McKeown
%T Communication with expert systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 241-246

%A Paul S. Jacobs
%T Language analysis in not-so-limited domains
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 247-252

%A Philip J. Hayes
%T Providing expert systems
with integrated natural language and graphical interfaces
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 253-259

%A Paul Martin
%A Douglas E. Appelt
%A Barbara J. Grosz
%A Fernando Pereira
%T TEAM: an experimental transportable natural-language interface
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 260-267

%A D.I. Moldovan
%A C.I. Wu
%T Parallel processing of a knowledge-based vision system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 269-276

%A Steven G. Morton
%T A fault tolerant, bit parallel, cellular array processor
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 277-286

%A Hajime Miura
%A Masafumi Yamashita
%A Masaharu Imai
%A Toshihide Ibaraki
%T Implementation of parallel Prolog on tree machines
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 287-296

%A Guo-Jie Li
%A Benjamin W. Wah
%T Optimal granularity of parallel evaluation of AND trees
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 297-306

%A P.S. Tseng
%A Kai Hwang
%T Parallel preprocessing and postprocessing in finite-element analysis
on a multiprocessor computer
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 307-314

%A S. Lakshmivarahan
%A Sudarshan K. Dhall
%T A new class of parallel algorithms for solving linear tridiagonal systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 315-324

%A Moon Jung Chung
%A Edward J. Toy
%A Aarti Gupta
%T A parallel computer based on cube connected cycles
for wafer scale integration
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 325-335

%A N. Muehlenbein
%A F. Limburger
%A S. Streitz
%A S. Warhaut
%T MUPPET: a performance environment for message-based multiprocessors
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 336-343

%A S. Hariri
%A C.S. Raghavendra
%T Distributed functions allocation for reliability and delay optimization
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 344-352

%A Jayantha Herath
%A Nobuo Saito
%A Kenji Toda
%A Yoshinori Yamaguchi
%A Toshitsugu Yuba
%T DCBL: dataflow computing base language with n-value logic
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 353-362

%A Wai-Mee Ching
%T Evon: an extended von Neumann model for parallel processing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 363-371

%A Pradip Bose
%T Optimal code generation for expressions on super scalar machines
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 372-379

%A Vladimir Lanin
%A Dennis Shasha
%T A symmetric concurrent B-tree algorithm
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 380-389

%A Paul C. Barr
%A Suban G. Krishnamoorthy
%T Architecture of a fiber optics based distributed information network
FORTIS: local area network
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 390-399

%A Chien-Yi Chen
%A Jacob A. Abraham
%T On the design of fault-tolerant systolic arrays with linear cells
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 400-409

%A David J. Schanin
%T The design and development of a very high speed system bus
- the Encore Multimax Nanobu
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 410-418

%A Fred J. Leonberger
%T Optoelectronic devices for computing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 419-421

%A Ravindra A. Athale
%T Architectures for optical matrix multipliers
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 422-427

%A Demetri Psaltis
%T Optical realizations of neural network models
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 428-433

%A Brian G. Kushner
%A John A. Neff
%T Optical symbolic computing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 434-440

%A Alastair D. McAulay
%T An extendable optically interconnected parallel computer
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 441-447

%A L.D. Hutcheson
%T Optical interconnect technology developments
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 448-456

%A Alexander A. Sawchuk
%T Optical interconnection systems for digital parallel processors
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 457-463

%A David H. Hartman
%T Optical interconnection technology in the telecommunications network
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 464-478

%A Jacalyn Winkler
%A Jane Munn
%T Standards and architecture for token-ring local area networks
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 479-488

%A Michael Willett
%T The IBM token-ring network - a functional perspective
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 489-497

%A M.C. Hamner
%A J.T. Carlo
%T Implementing the IEEE 802.5 token-ring standard
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 498-503

%A Sunil P. Joshi
%T The fiber distributed data interface: a bright future ahead
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 504-512

%A T.A. Marsland
%A N. Srimani
%T Phased state space search
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 513-518

%A Jonathan Schaeffer
%T Improved parallel alpha-beta search
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 519-527

%A Nancy S. Sllner
%A Eugene L. Wachspress
%T New ADI model problem applications
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 528-534

%A Graham F. Carey
%A E. Barragy
%T Finite element analysis using advanced processors
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 535-539

%A John R. Rice
%T Parallelism in solving PDEs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 540-546

%A Olin G. Johnson
%A Oliver Lhemann
%T Geophysical modeling - migration viewed
as a spectrum of supercomputer applications
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 547-555

%A David M. Young
%A David R. Kincaid
%T A tutorial on finite difference methods and ordering of mesh points
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 556-559

%A J. Tinsley Oden
%T Finite element methods
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 560-562

%A S.R. Kennon
%T Boundary element methods
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 563-567

%A S.R. Kennon
%A G.S. Dulikravich
%T A comparison of grid generation techniques
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 568-575

%A Cynthia A. Brown
%A Paul Walton Purdon,\ Jr.
%T Intelligent backtracking using symmetry
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 576-584

%A David A. Carlson
%T Time-space tradeoffs for tree search and traversal
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 585-594

%A Raymond A. Archuleta
%A Henry D. Shapiro
%T A fast probabilistic algorithm for four-coloring large planar graphs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 595-600

%A J. Ian Munro
%A Pedro Celis
%T Techniques for collision resolution in hash tables with open addressing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 601-610

%A Farokh Bastani
%A Wael Hilal
%A Ing-Ray Chen
%T Performance analysis of concurrency maintenance policies
for servers in a distributed environment
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 611-619

%A Bruce Abramson
%A Mordechai M. Young
%T Construction through decomposition:
a divide-and-conquer algorithm for the N-queens problem
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 620-628

%A Jit Biswas
%A David W. Matula
%T Two flow routing algorithms for the minimum concurrent flow problem
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 629-636

%A Thomas J. Markowe,\ Jr.
%T A least cost partitioning algorithm
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 637-647

%A Dieter Armbruster
%T A polynomial approximation of the most recent property
in Pascal-like programs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 648-653

%A Seetha Lakshmi
%A Seraphin Calo
%A Piyush Gupta
%T Frame caching in menu-driven videotex systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 655-664

%A O.R. LaMaire
%A W.W. White
%T The contribution to performance of instruction set usage in system/370
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 665-674

%A Philip S. Yu
%A Simonetta Balsamo
%A Yann-Hang Lee
%T Dynamic load sharing in distributed database systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 675-683

%A Domenico Ferrari
%A Songnian Zhou
%T A load index for dynamic load balancing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 684-690

%A E. Gelenbe
%A R. Nelson
%A T. Philips
%A A. Tantawi
%T An approximation of the processing time
for a random graph model of parallel computation
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 691-697

%A In Kyung Ryu
%A Alexander Thomasian
%T Performance analysis of dynamic locking
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 698-708

%A J.B. Sinclair
%A S. Madala
%T A graphical interface for specification of extended queueing network models
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 709-718

%A James F. Kurose
%A Kurtiss J. Gordon
%A Robert F. Gordon
%A Edward A. MacNair
%A Peter D. Welch
%T A graphics-oriented modeler's workstation environment
for the RESearch Queueing package (RESQ)
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 719-728

%A B. Melamed
%T The performance analysis workstation:
an interactive animated simulation package for queueing networks
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 729-740

%A Kenneth W. Kolence
%T An overview of the capacity management process
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 741-750

%A Jeffrey P. Buzen
%T An overview of performance prediction in MVS systems and SNA networks
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 751-759

%A Brian J. Smith
%T A survey of the state of art and practice
in I/O subsystem modeling and analysis
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 760-763

%A Phillip C. Howard
%T The evolving role of software products in capacity management: a survey
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 764-767

%A T. Leo Lo
%T The evolution of workload management in data processing industry: a survey
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 768-777

%A Connie U. Smith
%T The evolution of software performance engineering: a survey
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 778-783

%A Balarkishnan R. Iyer
%A Daniel M. Dias
%A Philip S. Yu
%T Performability analysis of operation modes of configurable duplex systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 785-796

%A R.K. Iyer
%A I.T. Young
%A V. Sridhar
%T Recognition of error symptoms in large systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 797-806

%A W.H. Sanders
%A J.F. Meyer
%T METASAN: a performability evaluation tool
based on stochastic activity networks
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 807-816

%A Robin A. Sahner
%A Kishor S. Trivedi
%T A hierarchical, combinatorial-Markov method
of solving complex reliability models
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 817-825

%A Xien A. Hua
%A Jacob A. Abraham
%T Design of systems with concurrent error detection using software redundancy
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 826-835

%A Samiha Mourad
%A Joseph L.A. Hughes
%A Edward J. McCluskey
%T Stuck-at fault detection in parity trees
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 836-840

%A Tom Kirkland
%A M. Ray Mercer
%T A two level guidance heuristic for ATPG
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 841-847

%A H. Alan Hershey
%A Tunde A. Onitiri
%T Automatic intra-device pin & element reassignment (AIDPER) algorithm
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 848-853

%A Xi-an Zhu
%A Melvin A. Breuer
%T A knowledge based TDM selection system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 854-863

%A Ganesh C. Gopalakrishnan
%A Nai Chi Lee
%A David R. Smith
%A Mandayam K. Srivas
%T Deriving module interconnectivity from behavioral specifications,
and coupling a VLSI layout editor for error-free routing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 864-870

%A Richard E. Zippel
%A Paul Penfield,\ Jr.
%A Lance A. Glasser
%A Charles E. Leiserson
%A John L. Wyatt,\ Jr.
%A F. Thomson Leighton
%A Jonathan Allen
%T Recent results in VLSI CAD at MIT
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 871-877

%A John Paul Shen
%T Highlights of CMU research on CAD, CAM and CAT of VLSI circuits
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 878-889

%A Jacob A. Abraham
%T Research in reliable VLSI architecture at the University of Illinois
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 890-893

%A Carlo H. Sequin
%A Richard Newton
%A Alberto L. Sangiovanni-Vincentelli
%T Highlights of VLSI research at Berkeley
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 894-898

%A M. Arif Samad
%A J.A.B. Fortes
%T DEFT - a design-for-testability expert system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 899-908

%A Gianpero Cabodi
%A Paolo Camurati
%A Paolo Prinetto
%T Experiences in Prolog-based DFT rule checking
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 909-914

%A E. Dupont
%A J. Idt
%A G. Saucier
%T A rule based system for the optimal state assignment of controllers
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 915-924

%A L. Leff
%A David Y.Y. Yun
%T Constructive solid geometry: a symbolic computation approach
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 925-930

%A David E. Breen
%T Creation and smooth-shading of Steiner path tessalations
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 931-940

%A Phillip H. Getto
%T An algorithm for normal vector interpolation on polygonal surfaces
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 941-946

%A Jiro Tanaka
%A Kazuniro Ueda
%A Toshihiko Miyazaki
%A Akikasu Takeuchi
%A Yuji Matsumoto
%A Koichi Furukawa
%T Guarded Horn clauses and experiences with parallel logic programming
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 948-954

%A Hideo Masuzawa
%A Kouichi Kumon
%A Akihiro Itashiki
%A Ken Satoh
%A Yukio Sohma
%T "Kabe-wake" parallel inference mechanism and its evaluation
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 955-962

%A Toshiaki Kurokawa
%A Naoyuki Tamura
%A Yasuyo Asakawa
%A Hideaki Komatsu
%T A very fast Prolog compiler on multiple architectures
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 963-968

%A Yasushi Kiyoki
%A Kazuhiko Kato
%A Takashi Masuda
%T A relational database machine based on functional programming concepts
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 969-978

%A Tamio Mano
%A Fumihiro Maruyama
%A Kazushi Hayashi
%A Taeko Kakuda
%A Nobuaki Kawato
%A Takao Uehara
%T Knowledge-based expert system for hardware logic design
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 979-986

%A Toshio Yokoi
%A Kuniaki Mukai
%A Hideo Miyoshi
%A Yuichi Tanaka
%T Research activities on natural language processing of the FGCS project
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 987-993

%A Tadashi Kanamori
%A Hiroshi Fujita
%A Hirohisa Seki
%A Kenji Horiuchi
%A Machi Maeji
%T Argus/V: a system for verification of Prolog programs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 994-999

%A H. Kaneko
%A Y. Miki
%A S. Nohara
%A K. Koya
%A M. Araki
%T A 32-bit CMOS microprocessor with six-stage pipeline structure
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1000-1007

%A Tomosaka Saito
%A Tetsuya Yamamoto
%A Tomohisa Shigematsu
%A Ken-ichi Magao
%A Sumio Takeda
%A Yasoji Suzuki
%T Advanced super integration
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1008-1013

%A Hideo Maejima
%A Hiroyuki Kida
%A Tan Watanabe
%A Shiro Baba
%A Keiichi Kurakazu
%T A 16-bit microprocessor with multi-register bank architecture
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1014-1019

%A Kenichi Miura
%A Yoshiyuki Tanakura
%A Sachio Kamiya
%T Software oriented approach for supercomputer design
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1020-1025

%A Chisato Kon'no
%A Miyuki Saji
%A Nobutoshi Sagawa
%A Yukio Umetani
%T Advanced implicit solution function of DEQSOL and its evaluation
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1026-1033

%A Hiroshi Katayama
%A Makoto Tsukagoshi
%T Fortran and tuning utilities aiming at ease of use of a supercomputer
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1034-1040

%A Tetsuya Higuchi
%A Tatsumi Furuya
%A Hiroyuki Kusumoto
%A Ken'ichi Handa
%A Akio Kokubu
%T The IX supercomputer for knowledge based systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1041-1049

%A Masahiro Kurata
%A Seishiro Tsuruho
%A Takafumi Isogawa
%A Hisao Nakashima
%T Methods for achieving integrated operation
in a high performance optical loop inter-computer communications system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1050-1055

%A Kinji Mori
%A Hirokazu Ihara
%A Yasuo Suzuki
%A Katsumi Kawano
%A Minoru Koizumi
%A Masayuki Orimo
%A Kozo Nakai
%A Hiroaki Nakaishi
%T Autonomous decentralized software structure and its application
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1056-1063

%A Makoto Yoshida
%A Makoto Kotera
%A Kyoko Yokoyama
%A Sadayuki Hikita
%T Approaches to an integrated office environment
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1064-1070

%A B. Shenker
%A T. Murata
%A S.M. Shatz
%T Use of Petri net invariants to detect static deadlocks in Ada programs
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1072-1081

%A Michael K. Molloy
%T A CAD tool for stochastic Petri nets
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1082-1091

%A Ira R. Forman
%T petri - a Unix tool for the analysis of Petri nets
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1092-1098

%A Mark A. Holliday
%A Mary K. Vernon
%T The GTPN analyzer: numerical methods and user interface
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1099-1105

%A Rein Turn
%T Security and privacy requirements in computing
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1106-1114

%A Matt Bishop
%T Analyzing the security of an existing computer system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1115-1119

%A J.R. Driscoll
%A H.N. Srinidhi
%A T.S. Chesser
%T A network technique to achieve program and data security
with nominal communications overhead
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1120-1127

%A Richard F. Rashid
%T From RIG to Accent to Mach: the evolution of a network operating system
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1128-1137

%A Ahmed K. Ezzat
%T Load balancing in NEST: a network of workstations
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1138-1149

%A Richard Koo
%A Sam Toueg
%T Checkpointing and rollback-recovery for distributed systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1150-1158

%A Panayiotis Chrysanthis
%A Krithi Ramamritham
%A David Stemple
%A Stephen Vinter
%T The Gutenberg operating system kernel
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1159-1168

%A Walt Kohler
%A Bao-Chuan Jenq
%T CARAT: a testbed for the performance evaluation
of distributed database systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1169-1178

%A Marek Rusinkiewitz
%A Dimitrios Georgakopoulos
%T REQUEST II - a distributed database system for local area networks
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1179-1188

%A Jung K. Kim
%A Geneva G. Belford
%T A protocol for failure and recovery detection
to support partitioned operation in distributed database systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1189-1196

%A Jerre D. Noe
%A Andrew B. Proudfoot
%A Calton Pu
%T Replication in distributed systems: the Eden experience
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1197-1209

%A L.L. Miller
%A A.R. Hurson
%T Maybe algebra operators in database machine architecture
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1210-1218

%A Gerhard Weikum
%T Pros and cons of operating system transaction for data base systems
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1219-1225

%A Margaret H. Eich
%T Main memory database recovery
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1226-1232

%A Masahiro Hirakawa
%A Kazuyuki Tsuda
%A Minoru Tanaka
%A Tadao Ichikawa
%T A relational database machine organization
for parallel pipelined query execution
%J Proceedings of the 1986 Fall Joint Computer Conference
%C Dallas, Texas
%D November 1986
%E Harold S. Stone
%K fjcc fjcc86
%P 1233-1244