Submissions from 1992
Experimentation with Proof Methods for Non-Horn Sets, Christopher J. Merz and Ralph W. Wilkerson
Proving Functionally Difficult Problems through Model Generation, Richard Rankin and Ralph W. Wilkerson
Modeling of Supersonic Combustor Flows Using Parallel Computing, David W. Riggins, M. Underwood, Bruce M. McMillin, L. Reeves, and Lu E. Jui-Lin
Formation Of Clusters And Resolution Of Ordinal Attributes In ID3 Classification Trees, Chaman Sabharwal, Keith R. Hacke, and Daniel C. St. Clair
Evaluation Of Learning Performance In Backpropagation Neural Networks And Decision-tree Classifier Systems, Daniel C. St. Clair, William E. Bond, A. K. Rigler, and Steve Aylward
Neural Modeling and Control of a Distillation Column, James Edward Steck, K. Krishnamurthy, Bruce M. McMillin, and Gary G. Leininger
Submissions from 1991
Termination Via Conditional Reductions, Timothy B. Baird and Ralph W. Wilkerson
Undergraduate Research Experiences In Parallel Processing, Billy E. Gillett and John Bruce Prater
Fault-tolerant Parallel Matrix Multiplication With One Iteration Fault Detection Latency, Chul Eui Hong and Bruce M. McMillin
Simulating Adaptive Load Sharing Policies On An IPSC/2 Multicomputer, Yuh Jong Hu and Billy E. Gillett
A Visualization Model For Massively Parallel Algorithms, Rashi Khanna and Bruce M. McMillin
Bounding Fault Detection Probabilities in Combinational Circuits, George Markowsky
Pattern Recognition for Nondestructive Evaluation, S. Morris, P. O'Rorke, William E. Bond, M. M. Amirfathi, and Daniel C. St. Clair
Machine Learning For Nondestructive Evaluation, Paul O'Rorke, Steven Morris, Michael Amirfathi, William E. Bond, and Daniel C. St Clair
Functional Reasoning and Functional Modelling, J. Sticklen and William E. Bond
A Model-Based Approach for Organizing Quantitative Computations, J. Sticklen, A. Kamel, and William E. Bond
Submissions from 1990
DAWGS - A Distributed Compute Server Utilizing Idle Workstations, Henry Clark and Bruce M. McMillin
Distributed Evaluation of an Iterative Function for All Object Pairs on a SIMD Hypercube, Fikret Erçal
Teaching Note Computing, Statistics, And The Lottery, John Wesley Hamblen
Experimental Comparison Of Bidding And Drafting Load Sharing Protocols, Andrew Ross and Bruce M. McMillin
Computational Intelligence In CAD/CAM Applications, Chaman Sabharwal, Thomas G. Melson, and Martin D. Fraser
Parallel Implementation of a Recursive Least Squares Neural Network Training Method on the Intel IPSC/2, James Edward Steck, Bruce M. McMillin, K. Krishnamurthy, M. Reza Ashouri, and Gary G. Leininger
An Expert System to Convert Knowledge-Based Geological Engineering Systems into Fortran, Ralph W. Wilkerson and Jill J. Cress
Role of Term Symmetry in E-Completion Procedures, Ralph W. Wilkerson and Blayne E. Mayfield
Experimentation with Large-Grained Parallelism using Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer
HIGHLAND: A Graph-Based Parallel Processing Environment for Heterogeneous Local Area Networks, Ralph W. Wilkerson and Douglas E. Meyer
Submissions from 1989
Complete Sets of Reductions Modulo Associativity, Commutativity and Identity, Timothy B. Baird, Gerald E. Peterson, and Ralph W. Wilkerson
A Definition Optimization Technique Used In A Code Translation Algorithm, David M. DeJean and George Winston Zobrist
A Correction to the Algorithm in Reiter's Theory of Diagnosis, Russell Greiner, Barbara A. Smith, and Ralph W. Wilkerson
Computer Manpower: Through 1984–1985, John Wesley Hamblen
Safe Computing, Bruce M. McMillin and T. L. Casavant
Personal Computing for the Visually Impaired, Bruce M. McMillin and P. Y. McMillin
Reliable Distributed Sorting Through the Application-oriented Fault Tolerance Paradigm, Bruce M. McMillin and L. M. Ni
Expectations for Associative-Commutative Unification Speedups in a Multicomputer Environment, Ralph W. Wilkerson and Bruce M. McMillin
Fault Diagnosis Using First Order Logic Tools, Ralph W. Wilkerson and Barbara A. Smith
Submissions from 1988
A Parallel Integer Linear Programming Algorithm, Rochelle L. Boehning, Ralph M. Butler, and Billy E. Gillett
Learning Probabilistic Prediction Functions, Alfredo De Santis, George Markowsky, and Mark N. Wegman
An Inherently Parallel Large Grained Data Flow Environment, Roger E. Eggen and John R. Metzner
Phage Typing Set for Differentiating staphylococcus epidermidis, Melvin Gershman, Jacqueline A. Hunter, Robert J. Harmon, R. A. Wilson, and George Markowsky
Executable Assertion Development for the Distributed Parallel Environment, Bruce M. McMillin and L. M. Ni
Implementation Of Cross Intersection Between Triangular Surfaces, Chaman Sabharwal and Thomas G. Melson
Automated Circuit Diagnosis using First Order Logic Tools, Barbara Smith, Ralph W. Wilkerson, Gerald E. Peterson, and McDonnell Douglas
Submissions from 1987
A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson
A Logic Programming Model of the Game of Sprouts, Ralph M. Butler, Selden Y. Trimble, and Ralph W. Wilkerson
Bounding Signal Probabilities in Combinational Circuits, George Markowsky
A Routing Algorithm for Three Stage Rearrangeable Clos Networks, Ralph W. Wilkerson
Submissions from 1986
Lexical Analysis Using Table Look-up, Brian Keith Smith, Dominic Soda, and George Winston Zobrist
PROLOG., Ralph W. Wilkerson
Submissions from 1985
Method and Apparatus for Performing Hashing Operations using Galois Field Multiplication, John L. Carter, George Markowsky, and Mark N. Wegman
Submissions from 1984
Reduced Set of Phages for Typing escherichia coli, Melvin Gershman, George Markowsky, and Jacqueline A. Hunter
Why Computer-based Education Is Making Slow Progress: An Analysis Of Costs And Other Impediments, Jesse H. Poore and John Wesley Hamblen
Symbolic Computation and the Dirichlet Problem, Ralph W. Wilkerson
Submissions from 1983
Class of Easily Implemented Hash Functions, Larry J. Carter, George Markowsky, and Mark N. Wegman
On Sets of Boolean n-Vectors with All k-Projections Surjective, Ashok K. Chandra, Lawrence T. Kou, George Markowsky, and Shmuel Zaks
Reduced Set of Phages for Typing Salmonellae, Melvin Gershman and George Markowsky
Extending Semilattices Is Hard, George Markowsky
Necessary and Sufficient Conditions for a Phenotype System to Have a Factor-Union Representation, George Markowsky
Identifying Antigens and Antibodies in Serology, George Markowsky and Andrew Wohlgemuth
Intersection-Union Systems, George Markowsky and Andrew Wohlgemuth
Mathematical Immunogenetics II. Antibody Incidence Structure, George Markowsky and Andrew Wohlgemuth
Proportional Advancement From Regional Programming Contests, John R. Metzner
Improvement Of Basic Mathematical Skills With Plato: An Experiment, J. H. Poore and J. (John) W. (Wesley) Hamblen
Mathematical Immunogenetics I. Mathematics as Language, Andrew Wohlgemuth and George Markowsky
Submissions from 1982
An Approximation Theory for Conjugate Surfaces and Solutions of Elliptic Multiple Integral Problems: Application to Numerical Solutions of Generalized Laplace's Equation, John Gregory and Ralph W. Wilkerson
A Theory Of Small Program Complexity, Kenneth I. Magel
The Subjective Nature Of Programming Complexity, Daniel G. McNicholl and Kenneth I. Magel
Generating An Autocorrelated Sequence Of Random Variates Without Distorting Their Distribution, John R. Metzner
Selecting Uniform Populations Using Type Ii Censored Data, J. (Jagdish) K. Patel and Kenneth I. Magel
Parametric Integer Linear Programming: A Synthesis Of Branch And Bound With Cutting Planes, Suzanne L.K. Rountree and Billy E. Gillett
Linear Maps of Holomorphic Functions on Commutative Algebras, Ralph W. Wilkerson
Submissions from 1981
The Weighted Syndrome Sums Approach to VLSI Testing, Zeev Barzilai, Jacob Savir, George Markowsky, and Merlin G. Smith
VLSI Self-Testing Based on Syndrome Techniques, Zeev Barzilai, Jacob Savir, George Markowsky, and Merlin G. Smith
Use Of Interactive Computer Graphics To Solve Routing Problems, Billy E. Gillett and J. L. Lawrence
New Numerical Algorithms for Eigenvalues and Eigenvectors of Second Order Differential Equations, John Gregory and Ralph W. Wilkerson
The Double Eigenvalue Problem; Including Numerical Solutions, John Gregory and Ralph W. Wilkerson
A Complexity Measure Based On Nesting Level, Warren A. Harrison and Kenneth I. Magel
A Suggested Course In Introductory Computer Programming, Warren A. Harrison and Kenneth I. Magel
A Topological Analysis Of The Complexity Of Computer Programs With Less Than Three Binary Branches, Warren Harrison and Kenneth I. Magel
A Fast Algorithm for Steiner Trees, Lawrence T. Kou, George Markowsky, and Leonard Berman
Regular Expressions In A Program Complexity Metric, Kenneth I. Magel
Recommendations For Master's Level Programs In Computer Science: A Report Of The ACM Curriculum Committee On Computer Science, Kenneth I. Magel, Richard H. Austing, Alfs Berztiss, Gerald L. Engel, John Wesley Hamblen, A. A.J. Hoffmann, and Robert Mathis
Best Huffman Trees, George Markowsky
Syndrome-Testability Can Be Achieved by Circuit Modification, George Markowsky
An Evaluation of Local Path ID Swapping in Computer Networks, George Markowsky and Franklin H. Moss
Fleshing Out Projections, Michael A. Wesley and George Markowsky
A Fragment-Cofragment Model of Antibody Incidence Structures, Andrew Wohlgemuth and George Markowsky
Submissions from 1980
Parametric Integer Programming Analysis: A Contraction Approach, Mason Gene Bailey and Billy E. Gillett
On a Class of One-Step Majority-Logic Decodable Cyclic Codes, Shu Lin and George Markowsky
Software Engineering Principles For Courseware Development, Kenneth I. Magel
The Level Polynomials of the Free Distributive Lattices, George Markowsky
The Representation of Posets and Lattices by Sets, George Markowsky
Fleshing Out Wire Frames, George Markowsky and Michael A. Wesley
Uncovering Antibody Incidence Structures, George Markowsky and Andrew Wohlgemuth
On the Generation of Explicit Routing Tables, Kiyoshi Maruyama and George Markowsky
Submissions from 1979
Diagnosing Single Faults in Fanout-Free Combinational Circuits, George Markowsky
Free Completely Distributive Lattices, George Markowsky
A Graded Bibliography On Macro Systems And Extensible Languages, John R. Metzner
Search within a Page, H. Raymond Strong, George Markowsky, and Ashok K. Chandra
Submissions from 1978
Exact and Approximate Membership Testers, Larry J. Carter, Robert Floyd, John Gill, George Markowsky, and Mark N. Wegman
On the Number of Prime Implicants, Ashok K. Chandra and George Markowsky
