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
Session 2 - Computers in Education
Software Systems Arena
TRACK SS-1:
Software Engineering
Session 1 - Object-Oriented Software
TRACK SS-4:
Programming Languages,
Compilers and Environments
Session 5 - Programming Languages
Artificial Intelligence Arena
TRACK AI-2:
Computer Vision
Session 2 - Model-Based High-Level Vision
TRACK AI-3:
Robotics
Session 1 - Robot Perception
Session 2 - Task-Level Robot Programming
Session 3 - Real-Time Robot Programming
TRACK AI-4:
Rule-Based Systems
Session 1 - Software Engineering Methods for Rule-Based Systems
Session 3 - Rule-Based Models and Applications
Session 4 - Prolog and Frame-Based Methods
TRACK AI-5:
Natural Language Processing
Session 1 - User Interfaces
Supercomputer Arena
TRACK SC-1:
Parallel Computation
Session 1- Parallel Processing for AI
Session 2 - Parallel Algorithms for Supercomputing
TRACK SC-3:
Multiprocessors
Session 1 - Multiprocessors I
Session 2 - Multiprocessors 2
Session 3 - High-Speed Techniques
TRACK SC-4:
Optical Computing
Session 1 - Optical Computers
Session 2 - New Directions in Optical Computing
Session 3 - Optical Interconnections for Computing
- Lynn D. Hutcheson:
Optical Interconnect Technology Developments.
448-456
- Alexander A. Sawchuk:
Optical Interconnection Systems for Digital Parallel Processors.
457-463
- D. H. Hartman:
Optical Interconnection Technology in the Telecommunications Network.
464-477
TRACK SC-5:
Networks
Session 1 - Implementing a Token-Ring Local Area Networks
Algorithms Arena
TRACK AL-1:
Artificial Intelligence Algorithms
Session 1 - Computer Chess Techniques
TRACK AL-2:
Numerical Methods
Session 1 - Vector and Parallel Algorithms
Session 2 - Finite Differences,
Finite Elements,
and Grid Generation - A Tutorial
TRACK AL-3:
General Algorithms
Session 1 - Searching
Session 2 - Data Structures
Session 3- Optimization
Modeling and Measurement Arena
TRACK MM-1:
Performance Modeling and Measurement
Session 1 - Performance Modeling and Measurement
Session 2 - Performance Modeling Methods
Session 3 - Performance Modeling Workstations
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.
741-750
- Jeffrey P. Buzen:
An Overview of Performance and Predictions for MVS Systems and SNA Networks.
751-759
- B. J. Smith:
A Survey of the State of Art and Practice in I/0 Subsystem Modeling and Analysis.
760-762
Session 2- Capacity Management 2
- Phillip C. Howard:
The Evolving Role of Software Products in Capacity Management: A Survey.
764-767
- Tachen Leo Lo:
The Evolution of Workload Management in the Data Processing Industry: A Survey.
768-777
- Connie U. Smith:
The Evolution of Software Performance Engineering: A Survey.
778-783
Computer Design Area
TRACK CD-1:
Fault-Tolerant Computing
Session 2 - Evaluation
Session 3 - Testing
TRACK CD-2:
VLSI Design and Test:
Theory and Practice
Session 1 - VLSI Techniques of Design Automation
Session 2 - VLSI Research in Universities
Session 4 - Expert Systems for Design and Test
TRACK CD-3:
Computer Graphics
Session 1 - Computer Geometry
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.
948-954
- Hideo Masuzawa, Kouichi Kumon, Akihiro Itashiki, Ken Satoh, Yukio Sohma:
"Kabu-Wake" Parallel Inference Mechanism and It's Evaluation.
955-962
- Toshiaki Kurokawa, Naoyuki Tamura, Yasuo Asakawa, Hideaki Komatsu:
A Very Fast Prolog Complier on Multiple Architectures.
963-968
- Yasushi Kiyoki, Kazuhiko Kato, Takashi Masuda:
A Relational-Database Machine Based on Functional Programming Concepts.
969-977
Session 2 - Fifth Generation Computers II:
Applications
- Tamio Mano, Fumihiro Maruyama, Kazushi Hayashi, Taeko Kakuda, Nobuaki Kawato, Takeo Uehara:
Knowledge-Based Expert System for Hardware Logic Design.
979-986
- Toshio Yokoi, Hideo Miyoshi, Kuniaki Mukai, Yuichi Tanaka:
Research Activities on Natural Language Processing of the FGCS Project.
987-993
- Tadashi Kanamori, Hiroshi Fujita, Hirohisa Seki, Kenji Horiuchi, Machi Maeji:
ARGOS/V: A System for Verification of Prolog Programs.
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.
1000-1007
- Tomotaka Saito, Tetsuya Yamamoto, Tomohisa Shigematsu, Ken-ichi Nagao, Sumio Takeda, Yasoji Suzuki:
Advanced Super Integration.
1008-1013
- Hideo Maejima, Hiroyuki Kida, Tan Watanabe, Shiro Baba, Keiichi Kurakazu:
A 16-Bit Microprocessor with Multi-Register Bank Architecture.
1014-1018
Session 4 - Supercomputing Systems
- Ken'ichi Miura, Yoshiyuki Tanakura, Sachio Kamiya:
Software-Oriented Approach for Supercomputer Design.
1020-1025
- Chisato Konno, Miyuki Saji, Nobutoshi Sagawa, Yukio Umetani:
Advanced Implicit-Solution Function of DEQSOL and It's Evaluation.
1026-1033
- Hiroshi Katayama, Makoto Tsukagoshi:
Fortran and Tuning Utilities Aiming at Ease of Use of a Supercomputer.
1034-1040
- Tetsuya Higuchi, Tatsumi Furuya, Hiroyuki Kusumoto, Ken'ichi Handa, Akio Kokubu:
The IX Supercomputer for Knowledge-Based Systems.
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.
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.
1056-1063
- Makoto Yoshida, Makoto Kotera, Kyoko Yokoyama, Sadayuki Hikita:
Approaches to an Integrated Office Environment.
1064-1070
Operating Systems and Data Bases Arena
TRACK OSDB-1:
Operating Systems
Session 1 - Applications of Petri-Nets
Session 2 - Security and Protection in Computer Systems
- Rein Turn:
Security and Privacy Requirements in Computing.
1106-1114
- Matt Bishop:
Analyzing the Security of an Existing Computer System.
1115-1119
- J. Driscoll, H. Srinidhi, T. S. Chesser:
A Network Technique to Achieve Program and Data Security with Nominal Communications Overhead.
1120-1126
TRACK OSDB-2:
Distributed Operating-Systems
Session 1 - Distributed-Operating Systems
Session 2 - Distributed Databases
TRACK OSDB-3:
Data Bases
Session 1 - Data Bases
Copyright © Fri Mar 12 17:11:19 2010
by Michael Ley (ley@uni-trier.de)
