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 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 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 Mohan, and Sanjay Ranka
Characterization of a Class of Sigmoid Functions with Applications to Neural Networks, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri 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 Mohan, and Sanjay Ranka
Putting Humpty-Dumpty together again: Reconstructing functions from their projections., Anil Ravindran Menon, Kishan Mehrotra, Chilukuri Mohan, and Sanjay Ranka
Parametricity and Local Variables, P. 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 Mohan, and Sanjay Ranka
An Improved Algorithm for Neural Network Classification of Imbalanced Training Sets, Rangachari Anand, Kishan Mehrotra, Chilukuri Mohan, and Sanjay Ranka
Prediction Criteria for Successful Weaning from Respiratory Support: Statistical and Connectionist Analyses, K. Ashutosh, Hyungkeun Lee, Chilukuri 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, J. 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 M. 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 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 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 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