Reports from 1996
Wheels: An Automated Program Analysis Tool, Aggie Sun and Bruce McMillin
Reports from 1995
Formal Methods: How, When, and Why They are Used, Beth Arrowsmith, Bruce McMillin, and Ralph Wilkerson
Discovery of Integrity Relationships in Relational Databases, D. Harrier and D. C. St. Clair
Matching and Indexing Techniques in Rules, Madhav Moganti
On Programming Scientific Applications in a Functional Language Extended by a \l' - Calculus Subsystem for Array Operations, L. R. Mullin and Werner Kluge
Parallel Algorithm Derivation and Program Transformation in a Preprocessing Compiler for Scientific Languages: The Psi Project and HPF, L. R. Mullin and Thom McMahon
Parallel Fast Multipole Algorithm using MPI, Daniel Okunbor and Eric Jui-Lin Lu
Integration Methods for N-Body Problems, D. I. Okunbor
From Formal Security Specifications to Executable Assertions - A Distributed Systems Preliminary Study, C. Serban and B. McMillin
A Tracking System for Generating Change Transactions for Digital Maps, K. L. Smith and R. W. Wilkerson
Software Testing Paradigms, A. Subramaniam and G. Zobrist
Reports from 1994
Classification Characteristics of SOM and ART2, J. Aleshunas, D. St. Clair, and W. Bond
How to Program in CCSP, Beth Arrowsmith
CCSP - A Formal System for Distributed Program Debugging, Beth Arrowsmith and Bruce McMillin
Teaching the Practice of Formal Methods in Distributed Computing Systems - A Module, Beth Arrowsmith and Bruce McMillin
Performance Monitoring of Hybrid Intelligent Systems, Nariman Abdel Baky and Fikret Ercal
Program Modeling And Control Synthesis For Robotic Manipulators, Ramiz N. Ballou, Arlan R. DeKock, and David D. Ardayfio
Indexing and Distributing a General Patterned Spare Array, Daria Dooling and Lenore Mullin
R-by-C Crozzle: An NP-Hard Problem, Michelle Gower and Ralph Wilkerson
Qualitative Study of the Symplectic Stormer-Verlet Integrator, D. J. Hardy and D. I. Okunbor
Conjugating Polynomials on Finite Rings, M. Insall, L. Mullin, and R. Wilkerson
Parallel Adaptive Mesh Refinement Algorithms, Mustafa Keskin and Fikret Ercal
Skin Cancer Diagnosis using Hierarchal Neural Networks and Fuzzy Logic, H. C. Lee and F. Ercal
Formal Verification of Distributed Deadlock Detection Algorithm using a Time-dependent Proof Technique, Pei-yu Li and Bruce McMillin
The Formal Description of Resource Deadlock in Distributed Systems, P. Lu and B. McMillin
CCSP - A Formal System for Distributed Program Debugging, Hanan Lutfiyya, Bruce McMillin, Beth Arrowsmith, and Cristina Serban
Formal Methods for Portable, Scalable, Scheduling, Routing and Communication Protocol, Lenore M. R. Mullin, Scott A. Thibault, Daria R. Dooling, and Erik A. Sandberg
Effective Data Parallel Computation using the Psi Calculus, L. R. Mullin and M. A. Jenkins
A Reduction Semantics for Array Expressions:The PSI Compiler, L. Mullin and S. Thibault
Load Balancing the Heat Equation in a Heterogeneous Environment with PVM, N. Nemer-Preece and L. Mullin
Eighth-order Explicit SymplecticRunge-Kutta-Nyström Integrators, Daniel I. Okunbor and Eric J. Lu
A New Approach to Automatic Target Recognition using Wavelet Transforms, Anitha Panapakkam, S. N. Balakrishnan, and Daniel St. Clair
Hardware Assists for High Performance Computing using a Mathematics of Arrays, H. Pottinger, W. Eatherton, L. Mullin, and T. Schiefelbein
An FPGA Based Reconfigurable Coprocessor Board Utilizing a Mathematics of Arrays, H. Pottinger, W. Eatherton, T. Schiefelbein, L. Mullin, and R. Ziegler
Efficient Run-Time Assurance in Distributed Systems Through Selection of Executable Assertions, Martina Schollmeyer and Bruce McMillin
Using Temporal Subsumption to Generate Efficient Error-Detecting Distributed Algorithms, Martina Schollmeyer and Bruce McMillin
A Deterministic Membership Algorithm in Asynchronous Distributed Systems, P. Su, B. McMillin, and A. DeKock
A Pipeline Implementation of LU-Decomposition on a Hypercube, Scott Thibault and Lenore Mullin
Generating Indexing Functions of Regularly Sparse Arrays for Array Compilers, Scott Thibault, Lenore Mullin, and Matt Insall
Providing Assurance for Reponsive Computing Systems, G. Tsai and B. McMillin
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
