#### 1995

Designing Dependencies, Howard A. Blair

Simulations Between Programs as Cellular Automata, Howard A. Blair, Fred Dushin, and Polar Humenn

A Statistical Approach to MPEG Video Stream Characterization, Kubilay Cardakli

Weighted Coverings and Packings, G. D. Cohen, Iiro Honkala, S. N. Litsyn, and H. F. Mattson Jr

Exploration of the InfoMall Concept "Building on the Electronic InfoMall", Geoffrey C. Fox, Wojtek Furmanski, Ken Hawick, and Donald

Survey of Historic Jewish Monuments in Poland, Samuel D. Gruber

Survey of Historic Jewish Monuments in Poland, revised edition, Samuel D. Gruber and Phyllis Myers

Exploiting High Performance Fortran for Computational Fluid Dynamics, volume 919, Ken Hawick and Geoffrey C. Fox

Using PASSION System on LU Factorization, Haluk Rahmi Topcuoglu and Alok Choudhary

A Domain-Specific Parallel Programming System II. Automatic Data Partitioning, Elaine Wenderholm

#### 1994

Multiprocessor Document Allocation: a Neural Network Approach, Abdulaziz Sultan Al-Sehibani, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PASSION: Parallel And Scalable Software for Input-Output, Alok Choudhary, Rajesh Bordawekar, Michael Harry, and Rakesh Krishnaiyer

Covering Radius 1985-1994, G. D. Cohen, S. N. Litsyn, Antoine C. Lobstein, and H. F. Mattson Jr

Analysis of Myoelectrical Signals for Building a Dextrous Hand, Christopher T. Creel, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Survey of Historic Jewish Monuments in the Czech Republic, Samuel D. Gruber

Survey of Historic Jewish Monuments in the Czech Republic, Samuel D. Gruber and Phyllis Myers

Decoding Linear Block Codes Using a Priority-First Search: Performance Analysis and Suboptimal Version, Yunghsiang S. Han, Carlos R.P. Hartmann, and Kishan Mehrotra

Applications And Enabling Technology For Nynet Upstate Corridor, Salim Hariri and Geoffrey C. Fox

Knowledge-Based Nonuniform Crossover, Harpal Maini, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Characterization of a Class of Sigmoid Functions with Applications to Neural Networks, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Fluted Formulas and the Limits of Decidability, William C. Purdy

Semantics vs. Syntax vs. Computations Machine Models for Type-2 Polynomial-Time Bounded Functionals (Preliminary Draft), James S. Royer

A Domain-Specific Parallel Programming System I: Design and Application to Ecological Modelling, Elaine Wenderholm and Micah Beck

#### 1993

A Generalization of the Trie Data Structure, Richard H. Connelly and F. Lockwood Morris

Genetic Algorithms for Stochastic Flow Shop No Wait Scheduling, Harpal Maini and Ubirajara R. Ferreira

Genetic Algorithms for Soft Decision Decoding of Linear Block Codes, Harpal Maini, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

On Inverse Sigmoid Functions, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Putting Humpty-Dumpty together again: Reconstructing functions from their projections., Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Parametricity and Local Variables, Peter W. O'Hearn and R. D. Tennent

Binary Resolution in Surface Reasoning, William C. Purdy

#### 1992

A Declarative Foundation of λProlog with Equality, Mino Bai

General Model Theoretic Semantics for Higher-Order Horn Logic Programming, Mino Bai and Howard A. Blair

Flattening C++ Classes, Umesh Bellur, Al Villarica, Kevin Shank, Imram Bashir, and Doug Lea

Conceptual Background for Symbolic Computation, Klaus Berkling

The Expressiveness of Locally Stratified Programs, Howard A. Blair, Wiktor Marek, and John S. Schlipf

Multiple-Length Division Revisited: A Tour of the Minefield, Per Brinch Hansen

Numerical Solution of Laplace's Equation, Per Brinch Hansen

Parallel Cellular Automata: A Model Program for Computational Science, Per Brinch Hansen

Parallel Monte Carlo Trials, Per Brinch Hansen

Primality Testing, Per Brinch Hansen

Simulated Annealing, Per Brinch Hansen

Designing Efficient Maximum-Likelihood Soft-Decision Decoding Algorithms for Linear Block Codes Using Algorithm A*, Yunghsiang S. Han and Carlos R.P. Hartmann

A Non-Deterministric Parallel Sorting Algorithm, Xue Shirley Li and F. Lockwood Morris

Fault-Detection in Networks, H. F. Mattson Jr

A Probabilistic Analysis of a Locality Maintaining Load Balancing Algorithm, Kishan Mehrotra, Sanjay Ranka, and Jhy-Chun Wang

Embedding Data Mappers with Distributed Memory Machine Compilers, Ravi Ponnusamy, Joel Saltz, Raja Das, Charles Koelbel, and Alok Choudhary

All-to-Many Communication Avoiding Node Contention, Sanjay Ranka and Jhy-Chun Wang

Fault Coverage Measurement Technique for Analog Circuits, E. Paul Ratazzi

Benchmarking the CM-5 for Image Processing Applications, Ravi V. Shankar, Ravi Ponnusamy, and Sanjay Ranka

#### 1991

Semi-Distributed Load Balancing for Massively Parallel Multicomputer Systems, Ishfaq Ahmad and Arif Ghafoor

Performance Prediction for Distributed Load Balancing in Multicomputer Systems, Ishfaq Ahmad, Arif Ghafoor, and Kishan Mehrotra

An Operator Formalism for Unitary Matrix Models, Konstantinos N. Anagnostopoulos, Mark Bowick, and N. Ishibashi

An Efficient Neural Algorithm for the Multiclass Problem, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

An Improved Algorithm for Neural Network Classification of Imbalanced Training Sets, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Prediction Criteria for Successful Weaning from Respiratory Support: Statistical and Connectionist Analyses, K. Ashutosh, Hyungkeun Lee, Chilukuri K. Mohan, Sanjay Ranka, Kishan Mehrotra, and C. Alexander

A Reconstruction of Context-Dependent Document Processing In SGML, Allen Brown Jr., T. Wakayama, and Howard A. Blair

The Complexity of Local Stratification, Peter Cholak and Howard A. Blair

An Optimal Embedding of Double-Rooted Binary Trees in Hypercubes, Yeh-Ching Chung and Sanjay Ranka

Binary Perfect Weighted Coverings (PWC) I. The Linear Case, G. D. Cohen, S. N. Litsyn, and H. F. Mattson Jr

On Perfect Weighted Coverings with Small Radius, G. D. Cohen, S. N. Litsyn, and H. F. Mattson Jr

Distributed Memory Compiler Methods for Irregular Problems -- Data Copy Reuse and Runtime Partitioning, Raja Das, Ravi Ponnusamy, Joel Saltz, and Dimitri Mavriplis

Fault-Tolerant Load Management for Real-Time Distributed Computer Systems, Arif Ghafoor and Ishfaq Ahmad

A Generic Multiplication Pipeline, Per Brinch Hansen

Do Hypercubes Sort Faster Than Tree Machines?, Per Brinch Hansen

Parallel Divide and Conquer, Per Brinch Hansen

The Fast Fourier Transform, Per Brinch Hansen

The N-Body Pipeline, Per Brinch Hansen

Efficient Maximum-Likelihood Soft-Decision Decoding of Linear Block Codes Using Algorithm A, Yunghsiang S. Han, Carlos R.P. Hartmann, and Chih-Chieh Chen

A Practical Hierarchial Model of Parallel Computation: The Model, Todd Heywood and Sanjay Ranka

A Practical Hierarchical Model of Parallel Computation ll: Binary Tree and FFT Algorithms, Todd Heywood and Sanjay Ranka

Sorting and List Ranking on the Hierarchical PRAM Model, Todd Heywood and Sanjay Ranka

A Note on Many-One and 1-Truth-Table Complete Languages, Steven Homer, Stuart A. Kurtz, and James S. Royer

Average Dependence and Random Oracles (Preliminary Report), Stuart A. Kurtz, Stephen R. Mahaney, and James S. Royer

Nonlinear System Identification Using Recurrent Networks, Hyungkeun Lee, Y. Park, Kishan Mehrotra, and Sanjay Ranka

A Comparison of Load Balancing Algorithms for Parallel Computations, N. Mansouri and Geoffrey C. Fox

An Evolutionary Approach to Load Balancing Parallel Computations, N. Mansouri and Geoffrey C. Fox

Parallel Genetic Algorithms with Application to Load Balancing for Parallel Computing, N. Mansouri and Geoffrey C. Fox

A Study of Approximating the Moments of the Job completion Time in PERT Networks, Kishan Mehrotra, John Chai, and Sharma Pillutla

Optimal Processor Assignment for Pipeline Computations, David Nicol, Rahul Simha, Alok N. Choudhury, and Bhagirath Narahari

Constructively Typed Timed Automata, J. F. Peters III

Constructing Real-Time Systems from Temporal I/O Automata, J. F. Peters III and S. Ramanna

A Variable-Free Logic for Mass Terms, William C. Purdy

Coordinating Conjuctions in Aristotelian Theories of English, William C. Purdy

On the Question ‘Do We Need Identity?’, William C. Purdy

Resolution without Unification, William C. Purdy

Explicit Clock Temporal Logic in Timing Constraints for Real-Time Systems, S. Ramanna and J. F. Peters III

A Sixteen-Valued Algorithm for Test Generation in Combinational Circuits, Akhtar Uz Zaman, M. Ali, and Carlos R.P. Hartmann

Optimal Parallel Lexicographic Sorting using a Fine-Grained Decomposition, Ramachandran Vaidyanathan, Carlos R.P. Hartmann, and Pramod Varshney

A Unified Framework For Three-Valued Semantical Treatments of Logic Programming, Feng Yang

Duality in Logic Programming, Feng Yang

#### 1990

Analyzing Images Containing Multiple Sparse Patterns with Neural Networks, Rangachari Anand, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Arithmetic Classification of Perfect Models of Stratified Programs (Addendum), Krzysztof R. Apt and Howard A. Blair

A Parallel Free-Text Search System with Indexing, N. Asokan, G. Frieder, and Sanjay Ranka

A Neural Network Simulator for the Connnection Machine, N. Asokan, Ravi V. Shankar, Chilukuri K. Mohan, Kishan Mehrotra, and Sanjay Ranka

Arrays and the Lambda Calculus, Klaus Berkling

Monotone Logic Programming, Howard A. Blair, Allen Brown Jr., and V. S. Subrahmanian

Strong Completeness Results for Paraconsistent Logic Programming, Howard A. Blair and V. S. Subrahmanian

A Logic Grammar Foundation for Document Representation and Document Layout, Allen Brown Jr. and Howard A. Blair

Forecasting the Behavior of Multivariate Time Series using Neural Networks, Kanad Charkraborty, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

Optical Switching and Routing Architectures for Fiber-optic Computer Communication Networks, Alok Choudhary, Salim Hariri, Wang Song, Partha Banerjee, and Sanjay Ranka