Fall Joint Computer Conference 1986: Dallas, Texas

• 
  Proceedings of the Fall Joint Computer Conference, November 2-6, 1986, Dallas, Texas, USA. IEEE Computer Society 1986, ISBN 0-8186-0743-2

Education Arena

TRACK ED-1: New Technology in Education. Track Chair: Lionel Baldwin

Session 1 - Education by Satellite

• 
  J. T. Fitch:
  AMCEE Programming for Computer Professionals. FJCC 1986: 1-4
• 
  Frederic J. Mowle, David G. Meyer, Philip H. Swain:
  NTU Computer Engineering Program. FJCC 1986: 5-10
• 
  Sartaj Sahni:
  NTU Computer Science Program. FJCC 1986: 11-13

Session 2 - Computers in Education

• 
  Bruce Arne Sherwood:
  Workstations at Carnegie Mellon. FJCC 1986: 15-17
• 
  Alan M. Lesgold:
  Intelligent Tutoring Systems for Professionals. FJCC 1986: 18-23

Software Systems Arena

TRACK SS-1: Software Engineering

Session 1 - Object-Oriented Software

• 
  Gael A. Curry:
  An Approach to Type Safety in a Traits System. FJCC 1986: 25-30
• 
  Larry Rosenstein, Ken Doyle, Scott Wallace:
  Object-Oriented Programming for Macintosh Applications. FJCC 1986: 31-35
• 
  Alan Borning:
  Classes versus Prototypes in Object-Oriented Languages. FJCC 1986: 36-40
• 
  Stanley B. Zdonik:
  Why Properties are Objects or Refinements of "is-a". FJCC 1986: 41-46

TRACK SS-4: Programming Languages, Compilers and Environments

Session 5 - Programming Languages

• 
  Adam W. Bojanczyk, Takayuki Dan Kimura:
  A Systolic Parsing Algorithm for a Visual Programming Language. FJCC 1986: 48-55
• 
  Robert P. Taylor, Nancy Cunniff, Minh Uchiyama:
  Learning Research and the Graphical Representation of Programming. FJCC 1986: 56-63
• 
  Christine C. Genet:
  Command Language Support for Application Programs. FJCC 1986: 64-69

Artificial Intelligence Arena

TRACK AI-2: Computer Vision

Session 2 - Model-Based High-Level Vision

• 
  Ikram E. Abdou, Nicolas J. Dusaussoy:
  Survey of Image Quality Measurements. FJCC 1986: 71-78
• 
  Shi-Kuo Chang, Erland Jungert:
  A Spatial Knowledge Structure for Image Information Systems Using Symbolic Projections. FJCC 1986: 79-86
• 
  Sargur N. Srihari:
  Document Image Understanding. FJCC 1986: 87-95

TRACK AI-3: Robotics

Session 1 - Robot Perception

• 
  R. L. Andersson:
  Living in a Dynamic World. FJCC 1986: 97-104
• 
  Y. Goto, K. Matsuzaki, I. Kweon, T. Obatake:
  CMU Sidewalk Navigation System: A Blackboard-Based Outdoor Navigation System Using Sensor Fusion with Colored-Range Images. FJCC 1986: 105-113
• 
  Larry H. Matthies, Steven A. Shafer:
  Error Modelling in Stereo Navigation. FJCC 1986: 114-122

Session 2 - Task-Level Robot Programming

• 
  Matthew T. Mason, Randy C. Brost:
  Automatic Grasp Planning: An Operation Space Approach. FJCC 1986: 124-128
• 
  Van-Duc Nguyen:
  Planning Stable Force-Closure Grasps. FJCC 1986: 129-137
• 
  Tomás Lozano-Pérez, W. Eric L. Grimson:
  Off-Line Planning for On-Line Object Localization. FJCC 1986: 138-143

Session 3 - Real-Time Robot Programming

• 
  Lee R. Nackman, Mark A. Lavin, Russell H. Taylor, Walter C. Dietrich Jr., David D. Grossman:
  AML/X: A Programming Language for Design and Manufacturing. FJCC 1986: 145-159
• 
  J. Bradley Chen, Brian S. R. Armstrong, Ronald S. Fearing, Joel W. Burdick:
  Satyr and the Nymph: Software Archetype for Real-Time Robotics. FJCC 1986: 160-168
• 
  Robert D. Gaglianello, Howard P. Katseff:
  The Meglos User Interface. FJCC 1986: 169-177
• 
  Hong Zhang, Richard P. Paul:
  A Robot Force and Motion Server. FJCC 1986: 178-182

TRACK AI-4: Rule-Based Systems

Session 1 - Software Engineering Methods for Rule-Based Systems

• 
  Robert J. K. Jacob, Judith N. Froscher:
  Software Engineering for Rule-Based Software Systems. FJCC 1986: 185-188

Session 3 - Rule-Based Models and Applications

• 
  Teresa A. Blaxton, Brian C. Kushner:
  An Organizational Framework for Comparing Adaptive Artificial Intelligence Systems. FJCC 1986: 190-199
• 
  Qiming Chen:
  An Object/Task Modeling Approach Based on Domain Knowledge and Control Knowledge Representation. FJCC 1986: 200-206
• 
  Moonis Ali, Eddie S. Washington:
  A Plant Intelligent Supervisory Control Expert System. FJCC 1986: 207-215
• 
  Kenichi Yoshida, Yasuhiro Kobayashi, Yoshikatsu Ueda, Hideo Tanaka, Shouichi Muto, Junichi Yoshizawa:
  A Knowledge-Based Layout Design System for Industrial Plants. FJCC 1986: 216-221

Session 4 - Prolog and Frame-Based Methods

• 
  Hsin-Hsi Chen, I-Peng Lin, Chien-Ping Wu:
  A Logic Programming Approach to Frame-Based Language Design. FJCC 1986: 223-228
• 
  Kenneth I. Magel:
  Interfacing Prolog to Pascal. FJCC 1986: 229-236
• 
  Naoyuki Tamura:
  Knowledge-Based Optimization in Prolog Compiler. FJCC 1986: 237-240

TRACK AI-5: Natural Language Processing

Session 1 - User Interfaces

• 
  Kathleen R. McKeown:
  Communication with Expert Systems. FJCC 1986: 241-246
• 
  Paul S. Jacobs:
  Language Analysis in Not-So-Limited Domains. FJCC 1986: 247-252
• 
  Philip J. Hayes:
  Providing Expert Systems with Integrated Natural Language and Graphical Interfaces. FJCC 1986: 253-259
• 
  Paul A. Martin, Douglas E. Appelt, Barbara J. Grosz, Fernando C. N. Pereira:
  TEAM: An Experimental Transportable Natural-Language Interface. FJCC 1986: 260-267

Supercomputer Arena

TRACK SC-1: Parallel Computation

Session 1- Parallel Processing for AI

• 
  Dan I. Moldovan, Chung-I Wu:
  Parallel Processing of a Knowledge-Based Vision System. FJCC 1986: 269-276
• 
  Steven G. Morton:
  A Fault Tolerant, Bit-Parallel, Cellular Array Processor. FJCC 1986: 277-286
• 
  Hajime Miura, Masaharu Imai, Masafumi Yamashita, Toshihide Ibaraki:
  Implementation of Parallel Prolog on Tree Machines. FJCC 1986: 287-296
• 
  Guo-Jie Li, Benjamin W. Wah:
  Optimal Granularity of Parallel Evaluation of AND Trees. FJCC 1986: 297-305

Session 2 - Parallel Algorithms for Supercomputing

• 
  Ping-Sheng Tseng, Kai Hwang:
  Parallel Preprocessing and Postprocessing in Finite-Element Analysis on a Multiprocessor Computer. FJCC 1986: 307-314
• 
  S. Lakshmivarahan, Sudarshan K. Dhall:
  A New Class of Parallel Algorithms for Solving Linear Tridiagonal Systems. FJCC 1986: 315-324
• 
  Moon-Jung Chung, Edward J. Toy, Aarti Gupta:
  A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale. FJCC 1986: 325-334

TRACK SC-3: Multiprocessors

Session 1 - Multiprocessors I

• 
  Heinz Mühlenbein, F. Limburger, Siegfried Streitz, S. Warhaut:
  MUPPET - A Programming Environment of Message-Based Multiprocessors. FJCC 1986: 336-343
• 
  Salim Hariri, Cauligi S. Raghavendra:
  Distributed Functions Allocation for Reliability and Delay Optimization. FJCC 1986: 344-352
• 
  Jayantha A. Herath, Nobuo Saito, Kenji Toda, Yoshinori Yamaguchi, Toshitsugu Yuba:
  DBCL: Data-Flow Computing Base Language with n-Value Logic. FJCC 1986: 353-361

Session 2 - Multiprocessors 2

• 
  Wai-Mee Ching:
  Evon: An Extended von Neumann Model for Parallel Processing. FJCC 1986: 363-371
• 
  Pradip Bose:
  Optimal Code Generation for Expressions on Super Scalar Machines. FJCC 1986: 372-379
• 
  Vladimir Lanin, Dennis E. Shasha:
  A Symmetric Concurrent B-Tree Algorithm. FJCC 1986: 380-389

Session 3 - High-Speed Techniques

• 
  Paul C. Barr, Suban G. Krishnamoorthy:
  Architecture of a Fiber Optics Based Distributed Information Network FORTIS: Local Area Network. FJCC 1986: 390-399
• 
  Chien-Yi Chen, Jacob A. Abraham:
  On the Design of Fault-Tolerant Systolic Arrays with Linear Cells. FJCC 1986: 400-409
• 
  David J. Schanin:
  The Design and Development of a Very High Speed System Bus - The Encore Multimax Nanobus. FJCC 1986: 410-417

TRACK SC-4: Optical Computing

Session 1 - Optical Computers

• 
  Fred J. Leonberger:
  Optoelectronic Devices for Computing. FJCC 1986: 419-421
• 
  Ravindra A. Athale:
  Architectures for Optical Matrix Multipliers. FJCC 1986: 422-426

Session 2 - New Directions in Optical Computing

• 
  Demetri Psaltis:
  Optical Realization of Neural Network Models. FJCC 1986: 428-433
• 
  Brian G. Kushner, John A. Neff:
  Optical Symbolic Computing. FJCC 1986: 434-440
• 
  Alastair D. McAulay:
  An Extendible Optically Interconnected Parallel Computer. FJCC 1986: 441-446

Session 3 - Optical Interconnections for Computing

• 
  Lynn D. Hutcheson:
  Optical Interconnect Technology Developments. FJCC 1986: 448-456
• 
  Alexander A. Sawchuk:
  Optical Interconnection Systems for Digital Parallel Processors. FJCC 1986: 457-463
• 
  D. H. Hartman:
  Optical Interconnection Technology in the Telecommunications Network. FJCC 1986: 464-477

TRACK SC-5: Networks

Session 1 - Implementing a Token-Ring Local Area Networks

• 
  Jacalyn Winkler, Jane E. Munn:
  Standards and Architecture for Token-Ring Local Area Networks. FJCC 1986: 479-488
• 
  Michael Willett:
  The IBM Token-Ring Network: A Functional Perspective. FJCC 1986: 489-497
• 
  M. C. Hamner, James J. Carlo:
  Implementing the IEEE 802.5 Token-Ring Standard. FJCC 1986: 498-503
• 
  Sunil P. Joshi:
  The Fiber Distributed Data Interface: A Bright Future Ahead. FJCC 1986: 504-512

Algorithms Arena

TRACK AL-1: Artificial Intelligence Algorithms

Session 1 - Computer Chess Techniques

• 
  T. Anthony Marsland, N. Srimani:
  Phased State Search. FJCC 1986: 514-518
• 
  Jonathan Schaeffer:
  Improved Parallel Alpha-Beta Search. FJCC 1986: 519-526

TRACK AL-2: Numerical Methods

Session 1 - Vector and Parallel Algorithms

• 
  Nancy S. Ellner, Eugene L. Wachspress:
  New ADI Model Problem Applications. FJCC 1986: 528-534
• 
  Graham F. Carey, Edward J. Barragy:
  Finite Element Analysis Using Advanced Processors. FJCC 1986: 535-539
• 
  John R. Rice:
  Parallelism in Solving PDEs. FJCC 1986: 540-546
• 
  Olin G. Johnson, Oliver Lheman:
  Geophysical Modeling - Migration Viewed as a Spectrum of Supercomputer Applications. FJCC 1986: 547-554

Session 2 - Finite Differences, Finite Elements, and Grid Generation - A Tutorial

• 
  David M. Young, David R. Kincaid:
  A Tutorial on Finite-Difference Methods and Ordering of Mesh Points. FJCC 1986: 556-559
• 
  J. Tinsley Oden:
  Finite Element Methods. FJCC 1986: 560-562
• 
  S. R. Kennon:
  Boundary Element Methods. FJCC 1986: 563-567
• 
  Stephen R. Kennon, George S. Dulikravich:
  A Comparison of Grid Generation Techniques. FJCC 1986: 568-574

TRACK AL-3: General Algorithms

Session 1 - Searching

• 
  Cynthia A. Brown, Larry Finkelstein, Paul Walton Purdom Jr.:
  Intelligent Backtracking Using Symmetry. FJCC 1986: 576-584
• 
  David A. Carlson:
  Time-Space Tradeoffs for Tree Search and Traversal. FJCC 1986: 585-594
• 
  Raymond A. Archuleta, Henry D. Shapiro:
  A Fast Probabilistic Algorithm for Four-Coloring Large Planar Graphs. FJCC 1986: 595-599

Session 2 - Data Structures

• 
  J. Ian Munro, Pedro Celis:
  Techniques for Collision Resolution in Hash Tables with Open Addressing. FJCC 1986: 601-610
• 
  Farokh B. Bastani, Wael Hilal Bahaa-El-Din, Ing-Ray Chen:
  Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. FJCC 1986: 611-619
• 
  Bruce Abramson, Moti Yung:
  Construction Through Decomposition: A Divide-and-Conquer Algoithm for the N-Queens Problem. FJCC 1986: 620-628

Session 3- Optimization

• 
  Jit Biswas, David W. Matula:
  Two Flow Routing Algorithms for the Maximum Concurrent-Flow Problem. FJCC 1986: 629-636
• 
  Thomas J. Marlowe:
  A Least-Cost Partition Algorithm. FJCC 1986: 637-647
• 
  Dieter Armbruster:
  A Polynomial Determination of the Most Recent Property in Pascal-Like Programs. FJCC 1986: 648-653

Modeling and Measurement Arena

TRACK MM-1: Performance Modeling and Measurement

Session 1 - Performance Modeling and Measurement

• 
  Seetha Lakshmi, Seraphin B. Calo, Piyush Gupta:
  Frame Caching in Menu-Driven Videotex Systems. FJCC 1986: 655-664
• 
  O. Richard LaMaire, William W. White:
  The Contribution to Performance of Instruction-Set Usage in System/370. FJCC 1986: 665-674
• 
  Philip S. Yu, Simonetta Balsamo, Yann-Hang Lee:
  Dynamic Load Sharing in Distributed Database Systems. FJCC 1986: 675-683
• 
  Domenico Ferrari, Songnian Zhou:
  A Load Index for Dynamic Load Balancing. FJCC 1986: 684-689

Session 2 - Performance Modeling Methods

• 
  Erol Gelenbe, Randolph D. Nelson, Thomas K. Philips, Asser N. Tantawi:
  An Approximation of the Processing Time for Random Graph Model of Parallel Computation. FJCC 1986: 691-697
• 
  In Kyung Ryu, Alexander Thomasian:
  Performance Analysis of Dynamic Locking. FJCC 1986: 698-707

Session 3 - Performance Modeling Workstations

• 
  James B. Sinclair, Sridhar Madala:
  A Graphical Interface for Specification of Extended Queueing Network Models. FJCC 1986: 709-718
• 
  James F. Kurose, Kurtiss J. Gordon, Robert F. Gordon, Edward A. MacNair, Peter D. Welch:
  A Graphics-Oriented Modeler's Workstations Environment for The Research Queueing Package (RESQ). FJCC 1986: 719-728
• 
  Benjamin Melamed:
  The Performance Analysis Workstation: An Interactive Animated Simulation Package for Queuing Networks. FJCC 1986: 729-739

TRACK MM-2: The State of the Art of Capacity Management in MVS Systems

Session 1 - Capacity Management 1

• 
  Ken W. Kolence:
  An Overview of the Capacity-Management Process. FJCC 1986: 741-750
• 
  Jeffrey P. Buzen:
  An Overview of Performance and Predictions for MVS Systems and SNA Networks. FJCC 1986: 751-759
• 
  B. J. Smith:
  A Survey of the State of Art and Practice in I/0 Subsystem Modeling and Analysis. FJCC 1986: 760-762

Session 2- Capacity Management 2

• 
  Phillip C. Howard:
  The Evolving Role of Software Products in Capacity Management: A Survey. FJCC 1986: 764-767
• 
  Tachen Leo Lo:
  The Evolution of Workload Management in the Data Processing Industry: A Survey. FJCC 1986: 768-777
• 
  Connie U. Smith:
  The Evolution of Software Performance Engineering: A Survey. FJCC 1986: 778-783

Computer Design Area

TRACK CD-1: Fault-Tolerant Computing

Session 2 - Evaluation

• 
  Balakrishna R. Iyer, Daniel M. Dias, Philip S. Yu:
  Performability Analysis of Operation Modes of Configurable Duplex Systems. FJCC 1986: 785-796
• 
  Ravishankar K. Iyer, Luke T. Young, V. Sridhar:
  Recognition of Error Symptoms in Large Systems. FJCC 1986: 797-806
• 
  William H. Sanders, John F. Meyer:
  METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. FJCC 1986: 807-816
• 
  Robin A. Sahner, Kishor S. Trivedi:
  A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. FJCC 1986: 817-825

Session 3 - Testing

• 
  Kien A. Hua, Jacob A. Abraham:
  Design of Systems with Concurrent Error Detection Using Software Redundancy. FJCC 1986: 826-835
• 
  Samiha Mourad, Joseph L. A. Hughes, Edward J. McCluskey:
  Stuck-At Fault Detection in Parity Trees. FJCC 1986: 836-840
• 
  Tom E. Kirkland, M. Ray Mercer:
  A Two-Level Guidance Heuristic for ATPG. FJCC 1986: 841-846

TRACK CD-2: VLSI Design and Test: Theory and Practice

Session 1 - VLSI Techniques of Design Automation

• 
  H. Alan Hershey, Tunde A. Onitiri:
  Automatic Intra-Device Pin and Element Reassignment (AIDper) Algorithm. FJCC 1986: 848-853
• 
  Xi-an Zhu, Melvin A. Breuer:
  A Knowledge-Based TDM Selection System. FJCC 1986: 854-863
• 
  Nai-Chi Lee, David R. Smith, Mandayam K. Srivas:
  Deriving Module Interconnectivity from Behavioral Specifications and Coupling a VLSI Layout Editor for Error-Free Routing. FJCC 1986: 864-869

Session 2 - VLSI Research in Universities

• 
  Richard E. Zippel, Paul Penfield Jr., Lance A. Glasser, Charles E. Leiserson, John L. Wyatt Jr., Jonathan Allen:
  Recent Results in VLSI CAD at MIT. FJCC 1986: 871-877
• 
  John Paul Shen:
  Highlights of CMU Research on CAD, CAM, CAT of VLSI Circuits. FJCC 1986: 878-889
• 
  Jacob A. Abraham:
  Research in Reliable VLSI Architectures at the University of Illinois. FJCC 1986: 890-893
• 
  Carlo H. Séquin, A. Richard Newton, Alberto L. Sangiovanni-Vincentelli:
  Highlights of VLSI Research at Berkeley. FJCC 1986: 894-897

Session 4 - Expert Systems for Design and Test

• 
  José A. B. Fortes, M. Arif Samad:
  DEFT: A Design for Testability Expert System. FJCC 1986: 899-908
• 
  Gianpiero Cabodi, Paolo Camurati, Paolo Prinetto:
  Experiences in Prolog-Based DFT Rule Checking. FJCC 1986: 909-914
• 
  E. Dupont, Jeanne Idt, Gabriele Saucier:
  A Rule-Based System for the Optimal State Assignment of Controllers. FJCC 1986: 915-923

TRACK CD-3: Computer Graphics

Session 1 - Computer Geometry

• 
  Laurence L. Leff, David Y. Y. Yun:
  Constructive Solid Geometry: A Symbolic Computation Approach. FJCC 1986: 925-930
• 
  David E. Breen:
  Creation and Smooth-Shading of Steiner Patch Tessellations. FJCC 1986: 931-940
• 
  Phillip H. Getto:
  Algorithms for Normal-Vector Interpolation on Polygonal Surfaces. FJCC 1986: 941-946

International Development Arena

TRACK ID-1: Computer Developments in Japan

Session 1 - Fifth Generation Computers I: Language Architecture

• 
  Jiro Tanaka, Kazunori Ueda, Tashihiko Miyazaki, Akikazu Takeuchi, Yuji Matsumoto, Koichi Furukawa:
  Guarded Horn Clauses and Experience with Parallel Logic Programming. FJCC 1986: 948-954
• 
  Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma:
  "Kabu-Wake" Parallel Inference Mechanism and It's Evaluation. FJCC 1986: 955-962
• 
  Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu:
  A Very Fast Prolog Complier on Multiple Architectures. FJCC 1986: 963-968
• 
  Yasushi Kiyoki, Kazuhiko Kato, Takashi Masuda:
  A Relational-Database Machine Based on Functional Programming Concepts. FJCC 1986: 969-977

Session 2 - Fifth Generation Computers II: Applications

• 
  Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takao Uehara:
  Knowledge-Based Expert System for Hardware Logic Design. FJCC 1986: 979-986
• 
  Toshio Yokoi, Hideo Miyoshi, Kuniaki Mukai, Yuichi Tanaka:
  Research Activities on Natural Language Processing of the FGCS Project. FJCC 1986: 987-993
• 
  Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji:
  ARGOS/V: A System for Verification of Prolog Programs. FJCC 1986: 994-998

Session 3 - Advanced Microcomputer Developments

• 
  Y. Miki, S. Nohara, K. Koya, M. Araki:
  A 32-Bit CMOS Microprocessor with Six-Stage Pipeline Structure. FJCC 1986: 1000-1007
• 
  Tomotaka Saito, Tetsuya Yamamoto, Tomohisa Shigematsu, Ken-ichi Nagao, Sumio Takeda, Yasoji Suzuki:
  Advanced Super Integration. FJCC 1986: 1008-1013
• 
  Hideo Maejima, Hiroyuki Kida, Tan Watanabe, Shiro Baba, Keiichi Kurakazu:
  A 16-Bit Microprocessor with Multi-Register Bank Architecture. FJCC 1986: 1014-1018

Session 4 - Supercomputing Systems

• 
  Ken'ichi Miura, Yoshiyuki Tanakura, Sachio Kamiya:
  Software-Oriented Approach for Supercomputer Design. FJCC 1986: 1020-1025
• 
  Chisato Konno, Miyuki Saji, Nobutoshi Sagawa, Yukio Umetani:
  Advanced Implicit-Solution Function of DEQSOL and It's Evaluation. FJCC 1986: 1026-1033
• 
  Hiroshi Katayama, Makoto Tsukagoshi:
  Fortran and Tuning Utilities Aiming at Ease of Use of a Supercomputer. FJCC 1986: 1034-1040
• 
  Tetsuya Higuchi, Tatsumi Furuya, Hiroyuki Kusumoto, Ken'ichi Handa, Akio Kokubu:
  The IX Supercomputer for Knowledge-Based Systems. FJCC 1986: 1041-1048

Session 5 - Interworking Systems

• 
  Masahiro Kurata, Seishiro Tsuruho, Takafumi Isogawa, Hisao Nakashima:
  Methods for Achieving Integrated Operation in a High-Performance Optical Loop Intercomputer Communications System. FJCC 1986: 1050-1055
• 
  Kinji Mori, Hirokazu Ihara, Yasuo Suzuki, Katsumi Kawano, Minoru Koizumi, Masayuki Orimo, Kozo Nakai, Hiroaki Nakanishi:
  Autonomous Decentralized Software Structure and It's Application. FJCC 1986: 1056-1063
• 
  Makoto Yoshida, Makoto Kotera, Kyoko Yokoyama, Sadayuki Hikita:
  Approaches to an Integrated Office Environment. FJCC 1986: 1064-1070

Operating Systems and Data Bases Arena

TRACK OSDB-1: Operating Systems

Session 1 - Applications of Petri-Nets

• 
  Boris Shenker, Tadao Murata, Sol M. Shatz:
  Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. FJCC 1986: 1072-1081
• 
  Michael K. Molloy:
  A CAD Tool for Stochastic Petri-Nets. FJCC 1986: 1082-1091
• 
  Ira R. Forman:
  Petri - A UNIX Tool for the Analysis of Petri-Nets. FJCC 1986: 1092-1098
• 
  Mark A. Holliday, Mary K. Vernon:
  The GTPN Analyzer: Numerical Methods and User Interface. FJCC 1986: 1099-1104

Session 2 - Security and Protection in Computer Systems

• 
  Rein Turn:
  Security and Privacy Requirements in Computing. FJCC 1986: 1106-1114
• 
  Matt Bishop:
  Analyzing the Security of an Existing Computer System. FJCC 1986: 1115-1119
• 
  J. Driscoll, H. Srinidhi, T. S. Chesser:
  A Network Technique to Achieve Program and Data Security with Nominal Communications Overhead. FJCC 1986: 1120-1126

TRACK OSDB-2: Distributed Operating-Systems

Session 1 - Distributed-Operating Systems

• 
  Richard F. Rashid:
  From RIG to Accent to Mach: An Evolution of a Network Operating System. FJCC 1986: 1128-1137
• 
  Ahmed K. Ezzat:
  Load Balancing in NEST: A Network of Workstations. FJCC 1986: 1138-1149
• 
  Richard Koo, Sam Toueg:
  Checkpointing and Rollback-Recovery for Distributed Systems. FJCC 1986: 1150-1158
• 
  Panos K. Chrysanthis, Krithi Ramamritham, David W. Stemple, Stephen Vinter:
  The Gutenberg Operating System Kernel. FJCC 1986: 1159-1167

Session 2 - Distributed Databases

• 
  Walter H. Kohler, Bao-Chyuan Jenq:
  CARAT: A Testbed for the Performance Evaluation of Distributed Database Systems. FJCC 1986: 1169-1178
• 
  Marek Rusinkiewicz, Dimitrios Georgakopoulos:
  Request II - A Distributed Database System for Local Area Networks. FJCC 1986: 1179-1188
• 
  Jung K. Kim, Geneva G. Belford:
  A Protocol for Failure and Recovery Detection to Support Partitioned Operation in Distributed Database Systems. FJCC 1986: 1189-1196
• 
  Jerre D. Noe, Andrew Proudfoot, Calton Pu:
  Replication in Distributed Systems: The Eden Experience. FJCC 1986: 1197-1209

TRACK OSDB-3: Data Bases

Session 1 - Data Bases

• 
  Les L. Miller, Ali R. Hurson:
  MAYBE Algebra Operators in Database Machine Architecture. FJCC 1986: 1210-1218
• 
  Gerhard Weikum:
  Pros and Cons of Operating System Transactions for Database Systems. FJCC 1986: 1219-1225
• 
  Margaret H. Eich:
  Main Memory Database Recovery. FJCC 1986: 1226-1232
• 
  Masahito Hirakawa, Kazuyuki Tsuda, Minoru Tanaka, Tadao Ichikawa:
  A Relational-Database Machine Organization for Parallel Pipelined Query Execution. FJCC 1986: 1233-1244