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
An Object-Oriented Approach to Data Exchange Applications: Development of a Class Library for the Spatial Data Transfer Standard, Phyllis Altheida and John Prater
An Analysis of Product Metrics in Terms of Qualitative and Formal Metric Properties, Tuliz Dengi and George Zobrist
The Identification and Processing of Don't-Care Attribute Values in ID3 Decision Tree Construction, P. D. Dorr and D. C. St. Clair
Relaxing Synchronization in Distributed Simulated Annealing, Chul-Eui Hong and Bruce M. McMillin
Relaxing Synchronization in Distributed Simulated Annealing, Chul-Eui Hong and Bruce M. McMillin
Effects of Nonsymmetric Release Times on Rate Monotonic Scheduling, R. G. Karl, T. L. Lo, and D. C. St. Clair
A Divide and Conquer Ring Embedding Scheme on Hypercubes with Efficient Recovery Ability, Junlin Liu and Bruce M. McMillin
An Enhanced Reconfigurable Embedding Scheme for Rings in Hypercubes, Junlin Liu and Bruce M. McMillin
An Improved Characterization of 1-Step Recoverable Embeddings: Rings in Hypercubes, Junlin Liu, Thomas J. Sager, and Bruce M. McMillin
Fault-Tolerant Distributed Deadlock Detection / Resolution, Pei-yu Liu and Bruce M. McMillin
Formal Derivation of an Error-Detecting Distributed Data Scheduler using Changeling, Hanan Lutffiya, Bruce M. McMillin, and Alan Su
Fault-Tolerant Distributed Database Lock Managers Formally Derived from Program Verification, Hanan Lutfiyya, Martina Schollmeyer, and Bruce M. McMillin
Formal Generation of Executable Assertions for Application-Oriented Fault Tolerance, Hanan Lutfiyya, Martina Schollmeyer, and Bruce M. McMillin
Fault-Tolerant Concurrent Branch and Bound Algorithm Derived from Program Verification, Hanan Lutfiyya, Aggie Sun, and Bruce M. McMillin
Fault Tolerance in Concurrent Systems Through Formal Methods, H. Lutfiyya and B. M. McMillin
An Animation System for Shift Reduce Parsers, M. S. Mandl, T. J. Sager, and D. C. St. Clair
Design of BackPropagation Neural Network Architectures using a Decision Tree Classifier, B. M. Van Horn and D. C. St. Clair
A Process-Learning PID Controller Algorithm Utilizing an On-Line Iterative Improvement Technique, Ryan Rosandich and Ralph W. Wilkerson
An Algorithm for Generating Executable Assertions for Fault Tolerance, Martina Schollmeyer, Hanan Lutfiyya, and Bruce M. McMillin
Using Minimal and Maximal Fault Tolerance for the Assessment of Fault-Tolerant Algorithms, Martina Schollmeyer and Bruce M. McMillin
The Management of Replicated Data, Hsueh-Chi Shih, C. Y. Ho, and S. Alptekin
Network Key Management in a Large Distributed Environment, J. J. Stapleton and D. C. St. Clair
An Application-Oriented Approach to Distributed Error-Detecting Branch & Bound, Aggie Y. Sun, Hanan Lutfiyya, and Bruce McMillin
Effect of the X² Test on Construction of ID3 Decision Trees, Mayank Thakore and Daniel C. St. Clair
Optimizing Accuracy and Generalization in Numeric Classification Systems, M. D. Walters and D. C. St. Clair
Reports from 1991
Modeling the Software Design Project, C. C. Dziedzic and D. C. St. Clair
Applying Parallel Bidirectional Search to a System for the Diagnosis of Faults, J. E. Finlay and R. W. Wilkerson
Investigation of Threaded Code, K. E. Graves and Paul D. Stigall
Incremental Learning of Numeric Clusters in Classifier Systems, K. R. Hacke and D. C. St. Clair
Object Orientation in the CIM Environment, B. M. Higgins and J. B. Prater
Fault-Tolerant Parallel Matrix Multiplication with One Iteration Fault Detection Latency, Chul-Eui Hong and Bruce M. McMillin
SMILI-Visualization of Asynchronous Massively Parallel Programs, Rashi Khanna and Bruce M. McMillin
A Visualization Model for Massively Parallel Algorithms, R. Khanna and Bruce M. McMillin
Comparison of Three Axiomatic Systems for CSP, Hanan Lutfiyya and Bruce M. McMillin
Formal Generation of Executable Assertions for a Fault-Tolerant Parallel Bitonic Sort, Hanan Lutfiyya and Bruce M. McMillin
Formal Generation of Executable Assertions for a Fault-Tolerant Parallel Matrix Relaxation, Hanan Lutfiyya and Bruce M. McMillin
An Implementation of "Theorem Proving with Lemmas", C. J. Merz and R. W. Wilkerson
Fast Symmetric Graph Drawing: Theory and Realization, R. T. Pacheco and J. B. Manning
Composite Stock Cutting Through Simulated Annealing, Pipatpong Poshyanonda and Cihan H. Dagli
The MINLRl Algorithm for Generating Small LR(l) Parsers, Thomas J. Sager
Multi Cast Routing in Unreliable Networks, Martina Schollmeyer and Bruce M. McMillin
An LR(l) Testing Algorithm, Thomas J. Ssager
Application-Oriented Fault-Tolerant Parallel Branch & Bound, Aggie Sun and Bruce M. McMillin
Formal Methods of Real-Time Systems, Su-Mei Tsai and Bruce M. McMillin
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
