Reports from 1991
Modeling the Software Design Project, C. C. Dziedzic and D. C. St. Clair
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
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
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
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
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
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
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
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
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
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
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
A Proposed C Language Binding for the Graphical Kernel System 3-D, M. G. Bolten and C. Y. Ho
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
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
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
Reports from 1981
A Hybrid Metric to Measure Software Complexity, Warren Harrison and Kenneth I. Magel
