Conferences in DBLP
J. T. Fitch AMCEE Programming for Computer Professionals. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1-4 [Conf ] Frederic J. Mowle , David G. Meyer , Philip H. Swain NTU Computer Engineering Program. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:5-10 [Conf ] Sartaj Sahni NTU Computer Science Program. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:11-13 [Conf ] Bruce Arne Sherwood Workstations at Carnegie Mellon. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:15-17 [Conf ] Alan M. Lesgold Intelligent Tutoring Systems for Professionals. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:18-23 [Conf ] Gael A. Curry An Approach to Type Safety in a Traits System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:25-30 [Conf ] Larry Rosenstein , Ken Doyle , Scott Wallace Object-Oriented Programming for Macintosh Applications. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:31-35 [Conf ] Alan Borning Classes versus Prototypes in Object-Oriented Languages. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:36-40 [Conf ] Stanley B. Zdonik Why Properties are Objects or Refinements of "is-a". [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:41-46 [Conf ] Adam W. Bojanczyk , Takayuki Dan Kimura A Systolic Parsing Algorithm for a Visual Programming Language. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:48-55 [Conf ] Robert P. Taylor , Nancy Cunniff , Minh Uchiyama Learning Research and the Graphical Representation of Programming. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:56-63 [Conf ] Christine C. Genet Command Language Support for Application Programs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:64-69 [Conf ] Ikram E. Abdou , Nicolas J. Dusaussoy Survey of Image Quality Measurements. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:71-78 [Conf ] Shi-Kuo Chang , Erland Jungert A Spatial Knowledge Structure for Image Information Systems Using Symbolic Projections. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:79-86 [Conf ] Sargur N. Srihari Document Image Understanding. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:87-95 [Conf ] R. L. Andersson Living in a Dynamic World. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:97-104 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:105-113 [Conf ] Larry Matthies , Steven A. Shafer Error Modelling in Stereo Navigation. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:114-122 [Conf ] Matthew T. Mason , Randy C. Brost Automatic Grasp Planning: An Operation Space Approach. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:124-128 [Conf ] Van-Duc Nguyen Planning Stable Force-Closure Grasps. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:129-137 [Conf ] Tomás Lozano-Pérez , W. Eric L. Grimson Off-Line Planning for On-Line Object Localization. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:138-143 [Conf ] Lee R. Nackman , Mark A. Lavin , Russel H. Taylor , Walter C. Dietrich Jr. , David D. Grossman AML/X: A Programming Language for Design and Manufacturing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:145-159 [Conf ] J. Bradley Chen , Brian S. R. Armstrong , Ronald S. Fearing , Joel W. Burdick Satyr and the Nymph: Software Archetype for Real-Time Robotics. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:160-168 [Conf ] Robert D. Gaglianello , Howard P. Katseff The Meglos User Interface. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:169-177 [Conf ] Hong Zhang , Richard P. Paul A Robot Force and Motion Server. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:178-182 [Conf ] Robert J. K. Jacob , Judith N. Froscher Software Engineering for Rule-Based Software Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:185-188 [Conf ] Teresa A. Blaxton , Brian C. Kushner An Organizational Framework for Comparing Adaptive Artificial Intelligence Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:190-199 [Conf ] Qiming Chen An Object/Task Modeling Approach Based on Domain Knowledge and Control Knowledge Representation. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:200-206 [Conf ] Moonis Ali , Eddie S. Washington A Plant Intelligent Supervisory Control Expert System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:207-215 [Conf ] Kenichi Yoshida , Yasuhiro Kobayashi , Yoshikatsu Ueda , Hideo Tanaka , Shouichi Muto , Junichi Yoshizawa A Knowledge-Based Layout Design System for Industrial Plants. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:216-221 [Conf ] Hsin-Hsi Chen , I-Peng Lin , Chien-Ping Wu A Logic Programming Approach to Frame-Based Language Design. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:223-228 [Conf ] Kenneth I. Magel Interfacing Prolog to Pascal. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:229-236 [Conf ] Naoyuki Tamura Knowledge-Based Optimization in Prolog Compiler. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:237-240 [Conf ] Kathleen McKeown Communication with Expert Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:241-246 [Conf ] Paul S. Jacobs Language Analysis in Not-So-Limited Domains. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:247-252 [Conf ] Philip J. Hayes Providing Expert Systems with Integrated Natural Language and Graphical Interfaces. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:253-259 [Conf ] Paul A. Martin , Douglas E. Appelt , Barbara J. Grosz , Fernando C. N. Pereira TEAM: An Experimental Transportable Natural-Language Interface. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:260-267 [Conf ] Dan I. Moldovan , Chung-I Wu Parallel Processing of a Knowledge-Based Vision System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:269-276 [Conf ] Steven G. Morton A Fault Tolerant, Bit-Parallel, Cellular Array Processor. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:277-286 [Conf ] Hajime Miura , Masaharu Imai , Masafumi Yamashita , Toshihide Ibaraki Implementation of Parallel Prolog on Tree Machines. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:287-296 [Conf ] Guo-Jie Li , Benjamin W. Wah Optimal Granularity of Parallel Evaluation of AND Trees. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:297-305 [Conf ] Ping-Sheng Tseng , Kai Hwang Parallel Preprocessing and Postprocessing in Finite-Element Analysis on a Multiprocessor Computer. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:307-314 [Conf ] S. Lakshmivarahan , Sudarshan K. Dhall A New Class of Parallel Algorithms for Solving Linear Tridiagonal Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:315-324 [Conf ] Moon-Jung Chung , Edward J. Toy , Aarti Gupta A Parallel Computer Based on Cube-Connected Cycles for Wafer-Scale. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:325-334 [Conf ] Heinz Mühlenbein , F. Limburger , S. Streitz , S. Warhaut MUPPET - A Programming Environment of Message-Based Multiprocessors. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:336-343 [Conf ] Salim Hariri , Cauligi S. Raghavendra Distributed Functions Allocation for Reliability and Delay Optimization. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:344-352 [Conf ] Jayantha A. Herath , Nobuo Saito , Kenji Toda , Yoshinori Yamaguchi , Toshitsugu Yuba DBCL: Data-Flow Computing Base Language with n-Value Logic. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:353-361 [Conf ] Wai-Mee Ching Evon: An Extended von Neumann Model for Parallel Processing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:363-371 [Conf ] Pradip Bose Optimal Code Generation for Expressions on Super Scalar Machines. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:372-379 [Conf ] Vladimir Lanin , Dennis Shasha A Symmetric Concurrent B-Tree Algorithm. [Citation Graph (10, 0)][DBLP ] FJCC, 1986, pp:380-389 [Conf ] Paul C. Barr , Suban G. Krishnamoorthy Architecture of a Fiber Optics Based Distributed Information Network FORTIS: Local Area Network. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:390-399 [Conf ] Chien-Yi Chen , Jacob A. Abraham On the Design of Fault-Tolerant Systolic Arrays with Linear Cells. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:400-409 [Conf ] David J. Schanin The Design and Development of a Very High Speed System Bus - The Encore Multimax Nanobus. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:410-417 [Conf ] Fred J. Leonberger Optoelectronic Devices for Computing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:419-421 [Conf ] Ravindra A. Athale Architectures for Optical Matrix Multipliers. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:422-426 [Conf ] Demetri Psaltis Optical Realization of Neural Network Models. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:428-433 [Conf ] Brian G. Kushner , John A. Neff Optical Symbolic Computing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:434-440 [Conf ] Alastair D. McAulay An Extendible Optically Interconnected Parallel Computer. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:441-446 [Conf ] Lynn D. Hutcheson Optical Interconnect Technology Developments. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:448-456 [Conf ] Alexander A. Sawchuk Optical Interconnection Systems for Digital Parallel Processors. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:457-463 [Conf ] D. H. Hartman Optical Interconnection Technology in the Telecommunications Network. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:464-477 [Conf ] Jacalyn Winkler , Jane E. Munn Standards and Architecture for Token-Ring Local Area Networks. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:479-488 [Conf ] Michael Willett The IBM Token-Ring Network: A Functional Perspective. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:489-497 [Conf ] M. C. Hamner , James J. Carlo Implementing the IEEE 802.5 Token-Ring Standard. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:498-503 [Conf ] Sunil P. Joshi The Fiber Distributed Data Interface: A Bright Future Ahead. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:504-512 [Conf ] T. Anthony Marsland , N. Srimani Phased State Search. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:514-518 [Conf ] Jonathan Schaeffer Improved Parallel Alpha-Beta Search. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:519-526 [Conf ] Nancy S. Ellner , Eugene L. Wachspress New ADI Model Problem Applications. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:528-534 [Conf ] Graham F. Carey , Edward J. Barragy Finite Element Analysis Using Advanced Processors. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:535-539 [Conf ] John R. Rice Parallelism in Solving PDEs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:540-546 [Conf ] Olin G. Johnson , Oliver Lheman Geophysical Modeling - Migration Viewed as a Spectrum of Supercomputer Applications. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:547-554 [Conf ] David M. Young , David R. Kincaid A Tutorial on Finite-Difference Methods and Ordering of Mesh Points. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:556-559 [Conf ] J. Tinsley Oden Finite Element Methods. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:560-562 [Conf ] S. R. Kennon Boundary Element Methods. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:563-567 [Conf ] Stephen R. Kennon , George S. Dulikravich A Comparison of Grid Generation Techniques. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:568-574 [Conf ] Cynthia A. Brown , Larry Finkelstein , Paul Walton Purdom Jr. Intelligent Backtracking Using Symmetry. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:576-584 [Conf ] David A. Carlson Time-Space Tradeoffs for Tree Search and Traversal. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:585-594 [Conf ] Raymond A. Archuleta , Henry D. Shapiro A Fast Probabilistic Algorithm for Four-Coloring Large Planar Graphs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:595-599 [Conf ] J. Ian Munro , Pedro Celis Techniques for Collision Resolution in Hash Tables with Open Addressing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:601-610 [Conf ] Farokh B. Bastani , Wael Hilal Bahaa-El-Din , Ing-Ray Chen Performance Analysis of Concurrent Maintenance Policies for Servers in a Distributed Environment. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:611-619 [Conf ] Bruce Abramson , Moti Yung Construction Through Decomposition: A Divide-and-Conquer Algoithm for the N-Queens Problem. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:620-628 [Conf ] Jit Biswas , David W. Matula Two Flow Routing Algorithms for the Maximum Concurrent-Flow Problem. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:629-636 [Conf ] Thomas J. Marlowe A Least-Cost Partition Algorithm. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:637-647 [Conf ] Dieter Armbruster A Polynomial Determination of the Most Recent Property in Pascal-Like Programs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:648-653 [Conf ] Seetha Lakshmi , Seraphin B. Calo , Piyush Gupta Frame Caching in Menu-Driven Videotex Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:655-664 [Conf ] O. Richard LaMaire , William W. White The Contribution to Performance of Instruction-Set Usage in System/370. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:665-674 [Conf ] Philip S. Yu , Simonetta Balsamo , Yann-Hang Lee Dynamic Load Sharing in Distributed Database Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:675-683 [Conf ] Domenico Ferrari , Songnian Zhou A Load Index for Dynamic Load Balancing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:684-689 [Conf ] Erol Gelenbe , Randolph D. Nelson , Thomas K. Philips , Asser N. Tantawi An Approximation of the Processing Time for Random Graph Model of Parallel Computation. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:691-697 [Conf ] In Kyung Ryu , Alexander Thomasian Performance Analysis of Dynamic Locking. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:698-707 [Conf ] James B. Sinclair , Sridhar Madala A Graphical Interface for Specification of Extended Queueing Network Models. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:709-718 [Conf ] 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). [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:719-728 [Conf ] B. Melamed The Performance Analysis Workstation: An Interactive Animated Simulation Package for Queuing Networks. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:729-739 [Conf ] Ken W. Kolence An Overview of the Capacity-Management Process. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:741-750 [Conf ] Jeffrey P. Buzen An Overview of Performance and Predictions for MVS Systems and SNA Networks. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:751-759 [Conf ] B. J. Smith A Survey of the State of Art and Practice in I/0 Subsystem Modeling and Analysis. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:760-762 [Conf ] Phillip C. Howard The Evolving Role of Software Products in Capacity Management: A Survey. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:764-767 [Conf ] Tachen Leo Lo The Evolution of Workload Management in the Data Processing Industry: A Survey. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:768-777 [Conf ] Connie U. Smith The Evolution of Software Performance Engineering: A Survey. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:778-783 [Conf ] Balakrishna R. Iyer , Daniel M. Dias , Philip S. Yu Performability Analysis of Operation Modes of Configurable Duplex Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:785-796 [Conf ] Ravishankar K. Iyer , Luke T. Young , V. Sridhar Recognition of Error Symptoms in Large Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:797-806 [Conf ] William H. Sanders , John F. Meyer METASAN: A Performability Evaluation Tool Based on Stochastic Acitivity Networks. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:807-816 [Conf ] Robin A. Sahner , Kishor S. Trivedi A Hierarchical, Combinatorial-Markov Method of Solving Complex Reliability Models. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:817-825 [Conf ] Kien A. Hua , Jacob A. Abraham Design of Systems with Concurrent Error Detection Using Software Redundancy. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:826-835 [Conf ] Samiha Mourad , Joseph L. A. Hughes , Edward J. McCluskey Stuck-At Fault Detection in Parity Trees. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:836-840 [Conf ] Tom E. Kirkland , M. Ray Mercer A Two-Level Guidance Heuristic for ATPG. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:841-846 [Conf ] H. Alan Hershey , Tunde A. Onitiri Automatic Intra-Device Pin and Element Reassignment (AIDper) Algorithm. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:848-853 [Conf ] Xi-an Zhu , Melvin A. Breuer A Knowledge-Based TDM Selection System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:854-863 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:864-869 [Conf ] 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. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:871-877 [Conf ] John Paul Shen Highlights of CMU Research on CAD, CAM, CAT of VLSI Circuits. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:878-889 [Conf ] Jacob A. Abraham Research in Reliable VLSI Architectures at the University of Illinois. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:890-893 [Conf ] Carlo H. Séquin , A. Richard Newton , Alberto L. Sangiovanni-Vincentelli Highlights of VLSI Research at Berkeley. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:894-897 [Conf ] José A. B. Fortes , M. Arif Samad DEFT: A Design for Testability Expert System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:899-908 [Conf ] Gianpiero Cabodi , Paolo Camurati , Paolo Prinetto Experiences in Prolog-Based DFT Rule Checking. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:909-914 [Conf ] E. Dupont , Jeanne Idt , Gabriele Saucier A Rule-Based System for the Optimal State Assignment of Controllers. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:915-923 [Conf ] Laurence L. Leff , David Y. Y. Yun Constructive Solid Geometry: A Symbolic Computation Approach. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:925-930 [Conf ] David E. Breen Creation and Smooth-Shading of Steiner Patch Tessellations. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:931-940 [Conf ] Phillip H. Getto Algorithms for Normal-Vector Interpolation on Polygonal Surfaces. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:941-946 [Conf ] Jiro Tanaka , Kazunori Ueda , Tashihiko Miyazaki , Akikazu Takeuchi , Yuji Matsumoto , Koichi Furukawa Guarded Horn Clauses and Experience with Parallel Logic Programming. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:948-954 [Conf ] Hideo Masuzawa , Kouichi Kumon , Akihiro Itashiki , Ken Satoh , Yukio Sohma "Kabu-Wake" Parallel Inference Mechanism and It's Evaluation. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:955-962 [Conf ] Toshiaki Kurokawa , Naoyuki Tamura , Yasuo Asakawa , Hideaki Komatsu A Very Fast Prolog Complier on Multiple Architectures. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:963-968 [Conf ] Yasushi Kiyoki , Kazuhiko Kato , Takashi Masuda A Relational-Database Machine Based on Functional Programming Concepts. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:969-977 [Conf ] Tamio Mano , Fumihiro Maruyama , Kazushi Hayashi , Taeko Kakuda , Nobuaki Kawato , Takeo Uehara Knowledge-Based Expert System for Hardware Logic Design. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:979-986 [Conf ] Toshio Yokoi , Hideo Miyoshi , Kuniaki Mukai , Yuichi Tanaka Research Activities on Natural Language Processing of the FGCS Project. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:987-993 [Conf ] Tadashi Kanamori , Hiroshi Fujita , Hirohisa Seki , Kenji Horiuchi , Machi Maeji ARGOS/V: A System for Verification of Prolog Programs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:994-998 [Conf ] Y. Miki , S. Nohara , K. Koya , M. Araki A 32-Bit CMOS Microprocessor with Six-Stage Pipeline Structure. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1000-1007 [Conf ] Tomotaka Saito , Tetsuya Yamamoto , Tomohisa Shigematsu , Ken-ichi Nagao , Sumio Takeda , Yasoji Suzuki Advanced Super Integration. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1008-1013 [Conf ] Hideo Maejima , Hiroyuki Kida , Tan Watanabe , Shiro Baba , Keiichi Kurakazu A 16-Bit Microprocessor with Multi-Register Bank Architecture. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1014-1018 [Conf ] Ken'ichi Miura , Yoshiyuki Tanakura , Sachio Kamiya Software-Oriented Approach for Supercomputer Design. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1020-1025 [Conf ] Chisato Konno , Miyuki Saji , Nobutoshi Sagawa , Yukio Umetani Advanced Implicit-Solution Function of DEQSOL and It's Evaluation. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1026-1033 [Conf ] Hiroshi Katayama , Makoto Tsukagoshi Fortran and Tuning Utilities Aiming at Ease of Use of a Supercomputer. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1034-1040 [Conf ] Tetsuya Higuchi , Tatsumi Furuya , Hiroyuki Kusumoto , Ken'ichi Handa , Akio Kokubu The IX Supercomputer for Knowledge-Based Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1041-1048 [Conf ] Masahiro Kurata , Seishiro Tsuruho , Takafumi Isogawa , Hisao Nakashima Methods for Achieving Integrated Operation in a High-Performance Optical Loop Intercomputer Communications System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1050-1055 [Conf ] Kinji Mori , Hirokazu Ihara , Yasuo Suzuki , Katsumi Kawano , Minoru Koizumi , Masayuki Orimo , Kozo Nakai , Hiroaki Nakanishi Autonomous Decentralized Software Structure and It's Application. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1056-1063 [Conf ] Makoto Yoshida , Makoto Kotera , Kyoko Yokoyama , Sadayuki Hikita Approaches to an Integrated Office Environment. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1064-1070 [Conf ] Boris Shenker , Tadao Murata , Sol M. Shatz Use of Petri-Net Invariants to Detect Static Deadlocks in Ada Programs. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1072-1081 [Conf ] Michael K. Molloy A CAD Tool for Stochastic Petri-Nets. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1082-1091 [Conf ] Ira R. Forman Petri - A UNIX Tool for the Analysis of Petri-Nets. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1092-1098 [Conf ] Mark A. Holliday , Mary K. Vernon The GTPN Analyzer: Numerical Methods and User Interface. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1099-1104 [Conf ] Rein Turn Security and Privacy Requirements in Computing. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1106-1114 [Conf ] Matt Bishop Analyzing the Security of an Existing Computer System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1115-1119 [Conf ] J. Driscoll , H. Srinidhi , T. S. Chesser A Network Technique to Achieve Program and Data Security with Nominal Communications Overhead. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1120-1126 [Conf ] Richard F. Rashid From RIG to Accent to Mach: An Evolution of a Network Operating System. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1128-1137 [Conf ] Ahmed K. Ezzat Load Balancing in NEST: A Network of Workstations. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1138-1149 [Conf ] Richard Koo , Sam Toueg Checkpointing and Rollback-Recovery for Distributed Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1150-1158 [Conf ] Panos K. Chrysanthis , Krithi Ramamritham , David W. Stemple , Stephen Vinter The Gutenberg Operating System Kernel. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1159-1167 [Conf ] Walter H. Kohler , Bao-Chyuan Jenq CARAT: A Testbed for the Performance Evaluation of Distributed Database Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1169-1178 [Conf ] Marek Rusinkiewicz , Dimitrios Georgakopoulos Request II - A Distributed Database System for Local Area Networks. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1179-1188 [Conf ] Jung K. Kim , Geneva G. Belford A Protocol for Failure and Recovery Detection to Support Partitioned Operation in Distributed Database Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1189-1196 [Conf ] Jerre D. Noe , Andrew B. Proudfoot , Calton Pu Replication in Distributed Systems: The Eden Experience. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1197-1209 [Conf ] Les L. Miller , Ali R. Hurson MAYBE Algebra Operators in Database Machine Architecture. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1210-1218 [Conf ] Gerhard Weikum Pros and Cons of Operating System Transactions for Database Systems. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1219-1225 [Conf ] Margaret H. Eich Main Memory Database Recovery. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1226-1232 [Conf ] Masahito Hirakawa , Kazuyuki Tsuda , Minoru Tanaka , Tadao Ichikawa A Relational-Database Machine Organization for Parallel Pipelined Query Execution. [Citation Graph (0, 0)][DBLP ] FJCC, 1986, pp:1233-1244 [Conf ]