Reports from 1994
Program Modeling And Control Synthesis For Robotic Manipulators, Ramiz N. Ballou, Arlan R. DeKock, and David D. Ardayfio
Reports from 1993
How to Program in CCSP, Elizabeth Arrowsmith and Bruce M. McMillin
Diagnosis of Malignant Melanoma using a Neural Network, Anurag Chawla and Fikret Erçal
Genetic Algorithm with 3-parent Uniform Crossover, L. Vincent Edmondson and Billy E. Gillett
The Design, Analysis, and Implementation of Parallel Simulated Annealing and Parallel Genetic Algorithms for the Composite Graph Coloring Problem, Brent S. Elmer and Billy E. Gillett
Neural Network Diagnosis of Malignant Melanoma from Color Images, Fikret Erçal, C. Chawla, William V. Stoecker, and Randy Hays Moss
A Syntax-Directed Editor for Borland’s Turbo Pascal, John Gatewood Ham and Thomas J. Sager
Subsumption in Modal Logic, Dirk Heydtmann and Ralph W. Wilkerson
The Interpolating Random Spline Cryptosystem and the Chaotic-Map Public-Key Cryptosystem, Fengi Hwu and Chung You Ho
The Difficulty of Approximating the Chromatic Number for Random Composite Graphs, Jeffrey Wayne Jenness and Billy E. Gillett
Cartographic Pattern Recognition using Template Matching, Angela G. Lammers, Ralph W. Wilkerson, and Fikret Erçal
Process Driven Software Engineering Environments, John Hayes Lampkin, T. Lo, and Daniel C. St. Clair
Formal Model and Specification of Deadlock, Pei-yu Li and Bruce M. McMillin
Fault-Tolerant Ring Embeddings in Hypercubes -- A Reconfigurable Approach, Jun-Lin Liu and Bruce M. McMillin
Asynchronous Parallel Schemes: A Survey, Eric Jui-Lin Lu, Michael Gene Hilgers, and Bruce M. McMillin
Parallel Genetic Algorithm for the DAG Vertex Splitting Problem, Matthias Mayer
Genetic Algorithms for Vertex Splitting in DAGs, Matthias Mayer and Fikret Erçal
Parallel Genetic Algorithms for the DAG Vertex Splitting Problem, Matthias Mayer and Fikret Erçal
Modeling of Supersonic Combustor Flows using Parallel Computing, Bruce M. McMillin, Eric Jui-Lin Lu, and Larry Reeves
The Computation of Supersonic Combustor Flows using Multi-Computers, Bruce M. McMillin, Eric Jui-Lin Lu, and Larry Reeves
Parallel Algorithm Fundamentals and Analysis, Bruce M. McMillin, Hanan Lutfiyya, Grace Tsai, and Jun-Lin Liu
Parallel Algorithm Fundamentals and Analysis, Bruce M. McMillin, Hanan Lutfiyya, Grace Tsai, and Jun-Lin Liu
Visual Inspection Algorithms for Printed Circuit Board Patterns A SURVEY, Madhav Moganti, Fikret Erçal, and Cihan H. Dagli
Intermediate Code Generation for Portable Scalable, Compilers. Architecture Independent Data Parallelism: The Preliminaries, Lenore Mullin, C. Chang, S. Huang, Matthias Mayer, N. Nemer, and C. Ramakrishna
Comparative Study of Louville and Symplectic Integrators, Daniel I. Okunbor
Considerations for Rapidly Converging Genetic Algorithms Designed for Application to Problems with Expensive Evaluation Functions, Richard Patrick Rankin and Ralph W. Wilkerson
Implicit Methods on Parallel Processors, Larry Reeves
An Analysis of Modern Cryptosystems, Thomas Gerald Sauder and Chung You Ho
A General Method for Maximizing the Error-Detecting Ability of Distributd Algorithms, Martina Schollmeyer and Bruce M. McMillin
Using Temporal Subsumption for Developing Efficient Error-Detecting Distributed Algorithms, Martina Schollmeyer and Bruce M. McMillin
X.500 Directory Service Support for Electronic Mail, Mihai G. Sirbu and Fikret Erçal
A Run-Time Decision Procedure for Responsive Computing Systems, Grace Tsai, Matt Insall, and Bruce M. McMillin
Constructing an Interval Temporal Logic for Real-Time Systems, Grace Tsai, Matt Insall, and Bruce M. McMillin
Ensuring the Satisfaction of a Temporal Specification at Run-Time, Grace Tsai, Matt Insall, and Bruce M. McMillin
Operational Evaluation of Responsiveness Properties, Grace Tsai, Matt Insall, and Bruce M. McMillin
A Simulated Annealing/Tabu Search Algorithm for the Vehicle Routing Problem, Jeffrey Dale White and Billy E. Gillett
Reports from 1992
Relaxing Synchronization in Distributed Simulated Annealing, Chul-Eui Hong and Bruce M. McMillin
Formal Generation of Executable Assertions for Application-Oriented Fault Tolerance, Hanan Lutfiyya, Martina Schollmeyer, and Bruce M. McMillin
A Process-Learning PID Controller Algorithm Utilizing an On-Line Iterative Improvement Technique, Ryan Rosandich and Ralph W. Wilkerson
Using Minimal and Maximal Fault Tolerance for the Assessment of Fault-Tolerant Algorithms, Martina Schollmeyer and Bruce M. McMillin
Effect of the X² Test on Construction of ID3 Decision Trees, Mayank Thakore and Daniel C. St. Clair
Reports from 1990
Robot Pedagogics: The Adaptation, Analysis, and Computer Control of a Model Manipulator, Edward T. Hammerand and Chung You Ho
Input Data Pattern Encoding for Neural Net Algorithms, Hyeoncheol Kim and George Winston Zobrist
Computational Complexity of Geometric Symmetry Detection in Graphs, Joseph Manning
A direct access method using a neural network model, John William Meyer and George Winston Zobrist
Algorithms and Probabilistic Bounds for the Chromatic Number of Random Composite Graphs, Jack L. Oakes and Billy E. Gillett
A Fast O(k) Multicast Message Routing Algorithm, Thomas J. Sager and Bruce M. McMillin
Reports from 1989
Development of an Expert System to Convert Knowledge-based Geological Engineering Systems into Fortran, Jill J. Cress and Ralph W. Wilkerson
The Directed Steiner Problem on Graphs: A Simulated Annealing Approach, Lawrence Joseph Osborne and Billy E. Gillett
A Color-Exchange Algorithm for Exact Graph Coloring, Thomas J. Sager and Shi-Jen Lin
An Improved Exact Graph Coloring Algorithm, Thomas J. Sager and Shi-Jen Lin
A Pruning Procedure for Exact Graph Coloring, Thomas J. Sager and Shi-Jen Lin
Automated Translation of Digital Logic Equations into Optimized VHDL code, John Evan Stark and George Winston Zobrist
Reports from 1988
Complete Sets of Reductions Modulo A Class of Equational Theories which Generate Infinite Congruence Classes, Timothy B. Baird and Ralph W. Wilkerson
The IPE-PC Integrated Programming Environment, Nurcan Coskun and Thomas J. Sager
A Parallel Implementation of Stickel's AC Unification Algorithm in a Message-Passing Environment, David John Kleikamp and Ralph W. Wilkerson
The Role of Term Symmetry in E-Unification and E-Completion, Blayne E. Mayfield and Ralph W. Wilkerson
Intensity Blending of Computer Image Generation-Based Displays, Elizabeth Scheppler Reidelberger and Daniel C. St. Clair
Deduction of a Functional Dependency from a Set of Functional Dependencies, James M. Richardson and Daniel C. St. Clair
Computer control of a PBX washout plant, Scott Cameron Sharp and Chung You Ho
A System for the Diagnosis of Faults using a First Principles Approach, Barbara A. Smith and Ralph W. Wilkerson
Symbolic Automation and Numerical Synthesis for Robot Kinematics, Jen Sriwattanathamma and Chung You Ho
Micro Database Management System Language, Karen Yingling Tam and George Winston Zobrist
Composite Graph Coloring Algorithms and Applications, Stephen Hong Seng Yek and Billy E. Gillett
Reports from 1987
Multilist and inverted file system performance measurements, Ashok Chandramouli and George Winston Zobrist
Ethernet Performance: Design and Implementation Study, Michael M. Chaney, Tachen L. Lo, and Daniel C. St. Clair
A Representation for Serial Robotic Tasks, Barry Ross Fox and Arlan R. Dekock
Intensional Reasoning about Knowledge, Oliver B. Popov and Arlan R. Dekock
Heuristic Coloring Algorithm for the Composite Graph Coloring Problem, Johnnie C. Roberts and Billy E. Gillett
A Dynamic Caching Algorithm based on C. C. Chang's Ordered Minimal Perfect Hashing Scheme, Thomas J. Sager
LILY-A Generator for Compiler Frontends, Thomas J. Sager
Performance Parameter Measurements of Generic Files, Sankarraman Subramanian and George Winston Zobrist
Medial Axis Transform using Ridge Following, Richard Mark Volkmann and Daniel C. St. Clair
Reports from 1986
Genesis of an Expert System For UMR Degree Auditing, Ruth Sue Dare and Arlan R. Dekock
A Semantic Basis for Parallel Algorithm Design, Roger E. Eggen and John R. Metzner
Data Structure for the Use of Patterns in the Perceptual Ordering of the Game of Chess, Russ L. Hanna and Arlan R. DeKock
MICA: Prototyping an Expert System Consultant, Joseph Howard Marchal and Arlan R. DeKock
A Computerized Audio-Visual Speech Model, Joaquin Alberto Vila Ruiz and Arlan R. Dekock
Reports from 1985
A Parallel Branch and Bound Algorithm for Integer Linear Programming Models, Rochelle L. Boehning and Billy E. Gillett
An Algorithm for Parallel Subsumption, Ralph M. Butler and Arlan R. Dekock
A Parallel Array Scanning Algorithm, Ralph M. Butler and Ralph W. Wilkerson
Industrial Simulation with Animation, Edward T. Hammerand and Chung You Ho
A Monte Carlo Analysis of the Mincycle Algorithm for Generating Minimal Perfect Hash Functions, Pao-Po Hou and Thomas J. Sager
Reports from 1984
An Experimental Study of the Effects of Modularity on Resource Consumption in Software Development, Alan D. Christiansen, Arlan R. Dekock, and John Bruce Prater
A Simple Method for Organizing Nearly Optimal Binary Search Trees, Joy L. Henderson and John R. Metzner
A Graphical Representation of an Executing Program, Sherry A. Lile, Arlan R. Dekock, John Bruce Prater, and Darrow Finch Dawson
The Optimal Trajectory Modelling of Robot Manipulators, Mary Claire Miller, Chung You Ho, and Arlan R. Dekock
A New Method for Generating Minimal Perfect Hash Functions, Thomas J. Sager
An Improved Algorithm for Generating Minimal Perfect Hash Functions, Thomas J. Sager
Parallelism in the Language, Natural, Thomas J. Sager
The Design and Implementation of the Programming Language Natural, Alan L. Sparks, Thomas J. Sager, and Arlan R. Dekock
CIEGEN: A System for Testing Knowledge Base Compilation Heuristics on a Microcomputer, Jayne D. Ward, Billy E. Gillett, and Arlan R. Dekock
A Focus Of Attention Algorithm For Expert Systems, Kevin W. Whiting, Arlan R. DeKock, and John Bruce Prater
Color Computer Graphics as Applied to Introductory Calculus Instruction, Kathy B. Windhorst and Ralph E. Lee
Survey of Routing Algorithms for Computer Networks, Lu Yu and Thomas J. Sager
Reports from 1982
Stochastic Modeling of Individual Resource Consumption during the Programming Phase of Software Development, Daniel G. McNicholl and Kenneth Magel
