default search action
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
- 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
- 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
- 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
- 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
- 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
- Russell L. Andersson:
Living in a Dynamic World. FJCC 1986: 97-104 - Yoshimasa 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
- 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
- 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
- Robert J. K. Jacob, Judith N. Froscher:
Software Engineering for Rule-Based Software Systems. FJCC 1986: 185-188
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Fred J. Leonberger:
Optoelectronic Devices for Computing. FJCC 1986: 419-421 - Ravindra A. Athale:
Architectures for Optical Matrix Multipliers. FJCC 1986: 422-426
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- Hiroaki Kaneko, 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
- 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
- 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
- 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