ACM Conference on Computer Science 1990: Washington, DC, USA

• Andrew Sears, Yoram Kochavy, Ben Shneiderman:
  Touchscreen Field Specification for Public Access Database Queries: Let Your Fingers do the Qalking. 1-7
  
• D. G. Shin:
  Semantics Modeling Issues for Processing Natural Language Database Queries. 8-14
  
• John Sieg Jr.:
  A Tool Supporting Query Optimization and Program Transformation Techniques. 15-21
  
• Keqin Li, Kam-Hoi Cheng:
  A Two Dimensional Buddy System for Dynamic Resource Allocation in a Partitionable Mesh Connected System. 22-27
  
• Tai-Kuo Woo, Stanley Y. W. Su, Richard E. Newman-Wolfe:
  Enhancing the Performance of a Dynamically Partitionable Bus Network Using a Graph Coloring Algorithm. 29-36
  
• Anna Hac:
  Distributed Multicasting Algorithm in a Wide Area Network. 37-42
  
• Ewa Kubicka, Grzegorz Kubicki, Ignatios Vakalis:
  Using Graph Distance in Object Recognition. 43-48
  
• Young C. Wee, Seth Chaiken, Dan E. Willard:
  Computing Geographic Nearest Neighbors Using Monotone Matrix Searching (Preliminary Version). 49-55
  
• Joseph F. Pekny, Donald L. Miller:
  A Parallel Branch and Bound Algorithm for Solving Large Asymmetric Traveling Salesman Problems. 56-62
  
• Jin Wang, Verlynda Dobbs, Henry W. Davis:
  Using Focusing Search Algorithms and a Strong Heuristic to Solve the Findpath Problem in Robotics. 63-69
  
• Appie van de Liefvoort:
  An Iterative Solution to the Four-Peg Tower of Hanoi Problem. 70-75
  
• Martin J. Shepperd, Darrel C. Ince:
  Multi-Dimensional Modelling and Measurement of Software Designs. 76-81
  
• Robert G. Reynolds, Jonathan I. Maletic:
  An Introduction to Refinement Metrics: Assessing a Programming Language's Support of the Stepwise Refinement Process. 82-88
  
• James M. Butler, A. Yavuz Oruç:
  PSB Graphs for Simulating Cooperative and Distributed Program Behavior. 89-95
  
• Jai Eun Jang:
  An Optimal Fault-Tolerant Broadcasting Algorithm for a Hypercube Multiprocessor. 96-102
  
• Amal Chakraborty, Donald C. S. Allison, Calvin J. Ribbens, Layne T. Watson:
  Parallel Unit Tangent Vector Computation for Homotopy Curve Tracking on a Hypercube. 103-108
  
• Barry G. Douglass, A. Yavuz Oruç:
  Efficient Routing Techniques for Cooperating Processors in Dataflow Computers. 109-113
  
• Chaman L. Sabharwal, Thomas G. Melson, Martin D. Fraser:
  Computational Intelligence in CAD/CAM Applications. 114-120
  
• John Van Tassel, David Hemmendinger:
  Specifying and Automatically Generating Ada Tasks in Prolog. 121-127
  
• Mamdouh H. Ibrahim, Fred A. Cummins:
  Objects with Logic. 128-133
  
• Ralph W. Wilkerson, Blayne E. Mayfield:
  The Role of Term Symmetry in E-Completion Procedures. 134-139
  
• Harold W. Martin:
  Transformations Between Tree Permutations and Inversion Tables. 140-146
  
• Ryszard Janicki, Tomasz Müldner:
  A Simple Realization of a Parallel Device Recognizing Regular Trace Languages. 147-153
  
• Takao Tenma, Y. Sato, Y. Morimoto, Minoru Tanaka, Tadao Ichikawa:
  A Modification Support System - Automatic Correction of Side-Effects Caused by Type Modifications. 154-160
  
• Thomas J. Cheatham, Lee Mellinger:
  Testing Object-Oriented Software Systems. 161-165
  
• M. Kazerooni-Zand, Mansur H. Samadzadeh, K. M. George:
  Minimizing Ripple Recompilation in a Persistent Software Environment. 166-172
  
• Ahmed Louri:
  A Symbolic Substitution Based Parallel Architecture and Algorithms for High-speed Parallel Processing. 173-179
  
• George S. Davidson:
  TWIST-TOP: Transputers with I-Stores Test Out Processor. 180-193
  
• Isaac D. Scherson:
  Definition and Analysis of a Class of Spanning Bus Orthogonal Multiprocessing Systems. 194-200
  
• Hyugoo Han, Kai-Hsiung Chang:
  A Practical Approach to Error Recovery for Multiagent Planning Systems. 201-207
  
• Joseph F. Pekny, Donald L. Miller:
  An Exact Parallel Algorithm for the Resource Constrained Traveling Salesman Problem with Application to Scheduling with an Aggregate Deadline. 208-214
  
• Jan Kazimierczak:
  An Approach to Natural Language Processing in the Rule-based Expert System. 215-222
  
• Taizo Kojima, Kaoru Tsuru, Akira Sugimoto:
  ALHARD: An Application-Oriented Language for Hardware Simulation. 223-229
  
• Ravinder Krishnaswamy, Ghasem S. Alijani, Shyh-Chang Su:
  On Constructing Binary Space Partitioning Trees. 230-235
  
• Ping-Kang Hsiung, Robert H. Thibadeau:
  Spacetime Visualization of Relativistic Effects. 236-243
  
• Paul W. Oman, Curtis R. Cook:
  A Taxonomy for Programming Style. 244-250
  
• R. Ghosh-Roy:
  An Extended Type Generalization of Standard ML Polymorphism (Abstract). 251
  
• Hossein Saiedian, Elizabeth A. Unger:
  ABSL: An Actor-Based Specification Language for Office Automation. 252-258
  
• Lawrence C. N. Tseung, Keh-Chiang Yu:
  The Implementation of Guaranteed, Reliable, Secure Broadcast Networks. 259-265
  
• Charles M. Shub:
  Native Code Process-Originated Migration in a Heterogeneous Environment. 266-270
  
• Bruce W. Arden, Kit-Ming W. Tang:
  Routing for Generalized Chordal Rings. 271-275
  
• Prabir Bhattacharya, Kai Qian:
  Software Development: Image Processing by Template Polynomials. 281-287
  
• Wah-Bih Liaw, Frank M. Brown, Seung S. Park:
  Towards Common Sense Planning. 281-287
  
• Cathy H. Wu, George M. Whitson:
  Artificial Neural System for Gene Classification Using a Domain Database. 288-292
  
• Seth Bergmann:
  Measuring Data Locality in Internal Sorting Algorithms. 293-297
  
• Y. H. Choi, T. Jung:
  Probabilistic Diagnosis for Sparsely Interconnected Systems. 298-304
  
• Khaled M. Elleithy, Magdy A. Bayoumi:
  A Framework for High Level Synthesis of Digital Architectures from U-Recursive Algorithms. 305-311
  
• Ray Ford:
  A Generic Ambedded Real-Time Monitor Aubsystem. 312-318
  
• Heidi J. C. Ellis, Steven A. Demurjian, Fred J. Maryanski, George McA. Beshers, Joan Peckham:
  Extending the Behavioral Capabilities of the Object-Oriented Paradigm with an Active Model of Propagation. 319-325
  
• V. Venugopal, Soumitra Sarkar:
  Cotools: A Tool Composition Mechanism for Object-Based Environments. 326-342
  
• Christopher J. Merz, W. E. Bond, Daniel C. St. Clair:
  Matching Interval-Valued-Argument Propositions in Rule-Based Systems. 343-350
  
• Keung-Chi Ng, Bruce Abramson:
  Consensus in a Multi-Expert System. 351-357
  
• Brandon L. Buteau:
  A Generic Framework for Distributed, Cooperating Blackboard Systems. 358-365
  
• Stuart Harvey Rubin:
  GMM-PAM: A Genetic Multilevel Multicategory Perceptron Associative Memory. 366-372
  
• A. D. Kulkarni:
  Neural Nets for Image Restoration. 373-378
  
• June Power:
  Distributed Systems and Self-Organization. 379-384
  
• Sanjay Khanna, Arif Ghafoor, Amrit L. Goel:
  A Parallel Compilation Technique Based on Grammar Partitioning. 385-391
  
• Albert Burger, Vijay Kumar:
  `PRABHA' - A Distributed Concurrency Control Algorithm. 392-397
  
• Wei Chen:
  A Formal Approach to Program Inversion. 398-403
  
• John A. Lewis:
  An Experiment to Determine Software Reusability Factors (Abstract). 405
  
• Lynne Marie Davis:
  Usability Tests Refine Requirements (Abstract). 406
  
• John W. Olson, Herbert E. Longenecker Jr.:
  The Establishment and Application of a Metric for Graphical Design Language (Abstract). 407
  
• Scott Moore, Ronald Curtis:
  A Study of the Prather Software Metric (Abstract). 408
  
• Donald Gotterbarn, Timothy D. Hammer:
  Distributed Compilation Metrics (Abstract). 409
  
• Herbert E. Longenecker Jr., S. Tariq Ali, Michael V. Doran:
  Increased Productivity Using a Preprocessor for Dataflex Fourth Generation Database Language (Abstract). 410
  
• Linda M. Null, Johnny S. Wong:
  Data Security for Object-Oriented Programming Systems Based on Inference Engines (Abstract). 411
  
• Robert A. Campbell, Suzanne Jones, Rachelle Cottle:
  A Comparison of Object Oriented Simulation Languages (Abstract). 412
  
• Marguerite Summers, John D. McGregor:
  Object-Oriented Database for Intelligent Engineering Applications (Abstract). 413
  
• Stevan Mrdalj, Asad Khailany:
  Semantics in Object-Oriented Data Models (Abstract). 414
  
• Clint Foulk:
  Structured Programming in Macintosh Assembly Language (Abstract). 414
  
• Ivan B. Liss, Thomas C. McMillan:
  Program Structure and Clarity (Abstract). 415
  
• Ashvin Radiya:
  A Logical Approach to Designing Procedural Programming Languages (Abstract). 415
  
• Trong Wu:
  Simulation of an Automatic Banking System with the Ada Programming Language (Abstract). 416
  
• Mark Temte:
  A Framework for Accessing Data in Models with Many Discrete States (Abstract). 416
  
• James F. Peters, Sheela Ramanna, E. A. Unger:
  Logic of Knowledge and Belief in the Design of an Integrity Kernel for an Office Information System (Abstract). 417
  
• Lee Ohringer:
  An Assumption About Computer Security (it ain't necessarily so - Abstract). 417
  
• G. Arthur Mihram, Danielle Mihram:
  Every Computer Programme is Actually a Simulation Model (Abstract). 418
  
• Rita M. D'Arcangelis, Lynn L. Peterson:
  A Cooperative Software Development Paradigm for Content Analysis-Based Psychology Research Procedures (Abstract). 419
  
• Esen A. Ozkarahan, Cem H. Bozsahin:
  Query Processing and File Management Issues in Partitioned Databases (Abstract). 420
  
• Opher Etzion:
  PARDES - An Enhanced Active Database System (Abstract). 421
  
• Asad Khailany, Wafa Khorshid:
  Extended Object Oriented Model to Design Relational Databases (Abstract). 422
  
• Kemal Koymen:
  A Datalog Interface for SQL (Abstract). 422
  
• Wafa Khorshid, Asad Khailany:
  A Data Model for Software Representation (Abstract). 423
  
• Tsau Young Lin:
  Relational Data Models and Category Theory (Abstract). 424
  
• Valerie A. Miller, G. Scott Owen:
  The Use of Fractals in Visualizing Iterative Techniques from Numerical Analysis (Abstract). 425
  
• Shuhua Shen, Georges G. Grinstein, Stuart Smith:
  Exvis: The Exploratory Visualization Tool (Abstract). 426
  
• Hari B. Bidasaria:
  Ray Tracing Surfaces of Revolution Using a Simplified Strip Tree Method (Abstract). 427
  
• Larry Basenspiler, Thomas F. Hain, Ben King:
  On the Vectorization of Graph Algorithms (Abstract). 427
  
• James H. Cross II:
  Graphically-Oriented Reverse Engineering Tools for Ada Software (Abstract). 428
  
• Charles Garner, Michael V. Doran, Herbert E. Longenecker Jr.:
  An Investigation into the Application of a Graphical, Rule-Based System Utilizing Reversible Data Structures as a Possible Model for Human Pedigree Systems (Abstract). 429
  
• Kunwarjit S. Bagga, Frank W. Owens:
  On Some Classes of Petri Nets (Abstract). 430
  
• James Canning, P. Muthuvelraj, John Sieg:
  An Adaptive Concurrency Control Algorithm (Abstract). 431
  
• Ljudmil Manasiev:
  A Service for Remote Computations in a Distributed System (Abstract). 432
  
• M. Bozyigit, M. Melhi:
  Dynamic Load Balancing in Distributed Real-Time Systems (Abstract). 433
  
• V. Prasad Krothapalli, P. Sadayappan:
  Exploiting Parallelism Through Run-Time Analysis on a Vector Processor (Abstract). 434
  
• Dietrich Fischer:
  Paradoxes in Parallel Processing (Abstract). 434
  
• Chong Jye Rhee, Sudarshan K. Dhall, S. Lakshmivarahan:
  An Optimal Parallel Algorithm for the Maximal Element Problem (Abstract). 435
  
• Narayan C. Debnath:
  A Study of Control Flow and Data Dependency Interface (Abstract). 435
  
• Eugene Pinsky:
  Applying Statistical Physics to Performance Analysis of Large-Scale Computing Systems (Abstract). 436
  
• Kevin C. Schott:
  A Dual-Algorithm Performance Monitoring System (Abstract). 436
  
• Meyer Katzper:
  Joint Use of Simulation and Nonlinear Curve Fitting in Compartmental Models (Abstract). 437
  
• Susan N. Twohig, Samuel O. Aletan:
  The Traveling-Salesman Problem (Abstract). 437
  
• Andrew T. Cable, Domenick J. Pinto:
  Dynamically Balancing a Binary Tree (Abstract). 438
  
• Joseph S. Szakas, Christian Trefftz:
  Cooperation of the Pattern Recognition Techniques of Dirichlet Tessellations with Political Science to Produce Ward Partitioning of Cities Without Bias (Abstract). 439
  
• Shiperu Shimoda, Masaki Hayashi, Yasuaki Kanatsugu:
  Electronic Studio Sets Controlled by a Computer (Abstract). 439
  
• Riva Wenig Bickel, María M. Larrondo-Petrie:
  Relating Psychology's Moral Development Levels to the Ethical Use of Computers (Abstract). 440
  
• Clifford A. Shaffer, Gregory M. Herb:
  A Real-Time Robot Collision Avoidance System (Abstract). 441
  
• Carl Steidley:
  ROBOTICS: A Hands-On Introduction to Hardware (Abstract). 441
  
• Yiming Ye, Zhao-Xiong Chen, Zhang Xiong, Gao Qinshi:
  IMT-RB/ED: A System Based on Multi-Reorganization (Abstract). 442
  
• Chung Chen-Hwa, Christos Nikolopoulos:
  On Expert Database Systems (Abstract). 442
  
• Christopher J. Gardiner, William W. McMillan:
  Requirements for Machine Learning in Expert Systems (Abstract). 443
  
• W. E. Mattis:
  A Hybrid Architecture for Neurocomputing (Abstract). 443
  
• Thomas M. English, Lois C. Boggess:
  Compact Input Coding for Speech Recognition by Neural Net (Abstract). 444
  
• Tao Li, L. Fang:
  Competition and Cooperation in Analog Neural Networks for Combinatorial Optimization (Abstract). 444
  
• David W. Valentine:
  The Cross-Cultural Effectiveness of CAI: Some Cognitive and Affective Factors (Abstract). 445
  
• Thomas L. Hausmann, William Campbell:
  An Integrated Authoring System for Diagnostic Testing (Abstract). 445
  
• Nageswara S. V. Rao, Jih-sen Lin:
  On Algorithms for Operative Diagnosis of Systems (Abstract). 446
  
• Juan Carlos Esteva, Asad Khailany:
  Database Reasoning: Extracting Knowledge from Databases (Abstract). 446
  
• Hou-Mei Chang:
  Heuristic Exhaustive Search in Automatic Knowledge Acquisition (Abstract). 447
  
• Sami Khuri, My Hoang:
  Genetic Heuristics in Optimization Problems (Abstract). 447
  
• Amos O. Olagunju:
  Nonparametric Methods for Automatic Classification of Documents and Transactions (Abstract). 448
  
• Donna M. Mooney, John R. Talburt:
  Homograph Discrimination for Intelligent Interfaces via Thesaural Lexicons (Abstract). 449
  
• Tai-Sheng Zhang, William W. McMillan:
  An Implementation of ID3 That Creates Executable Rules (Abstract). 450
  
• William W. McMillan, Christopher J. Gardiner:
  A Prolog System for Case-Based Classification (Abstract). 450
  
• Richard O'Lander:
  Use of Intelligent Computer Aided Instruction in the Classroom (Abstract). 451
  
• Stewart A. Denenberg:
  A Course for the Nonmajor: Teaching Collaborative Problem Solving via the Classical Computer Science Space-Time Tradeoff. 451
  
• Robert Leeper:
  A Study of the Personality Types of Successful Computer Science Majors (Abstract). 452
  
• Alireza Salehnia:
  Perceptions of Missouri Secondary and Area Vocational School Computer Teachers Toward Trends of Computer Hardware and Software Technologies by Year 1995 (Abstract). 453
  
• Curt M. White:
  A Chart Representation for Delineating Computer Disciplines (Abstract). 453
  
• Ann E. Fleury:
  Parameter Passing: A Window into Students' Views of Programming (Abstract). 454
  
• Gary Marc Levin:
  ISETL: A Language for Teaching Discrete Mathematics (Abstract). 455
  
• Peter Bock:
  A Parallel Implementation of Collective Learning Systems Theory: Adaptive Learning Image Analysis System (ALIAS). 457-469