2018
libOblivious: A C++ Library for Oblivious Data Structures and Algorithms, Scott D. Constable and Steve Chapin
Formal Verification of a Modern Boot Loader, Scott D. Constable, Rob Sutton, Arash Sahebolamri, and Steve Chapin
A Formally Verified Heap Allocator, Arash Sahebolamri, Scott D. Constable, and Steve J. Chapin
2017
Multi-target Extension for Beacon Foraging Methods, Christopher Sanford, Ziong Jiao, and Jae Oh
2012
Single eye or camera with depth perception, Philipp Kornreich and Bart Farell
Identifying and analyzing pointer misuses for sophisticated memory-corruption exploit diagnosis, Mingwei Zhang, Aravind Prakash, Xiaolei Li, Zhenkai Liang, and Heng Yin
2011
Electromagnetic-Thermal Analysis Study Based on HFSS-ANSYS Link, Mahmoud EL Sabbagh
Voice Commands to Control Recording Sessions, J. Marty Goddard
Rank-Based Outlier Detection, H. Huang, Kishan Mehrotra, and Chilukuri K. Mohan
Outlier detection using modified-ranks and other variants, Huaming Huang, Kishan Mehrotra, and Chilukuri K. Mohan
A new cohesion metric and restructuring technique for object oriented paradigm, Mehmet Kaya and Jim Fawcett
The Common Information for N Dependent Random Variables, Wei Liu and Ge Xu
Performance Limit of Image Segmentation Algorithms, Renbin Peng and P. K. Varshney
A Human Visual System-Driven Image Segmentation Algorithm, Renbin Peng and Pramod Varshney
Performance Limit of Image Segmentation Algorithms, Renbin Peng and Pramod Varshney
Exploring non-typical memcache architectures for decreased latency and distributed network usage., Paul G. Talaga and Steve J. Chapin
SCUTA: A Server-Side Access Control System for Web Applications, Xi Tan, Wenliang Du, Tongbo Luo, and Karthick Jayaraman
Polarity-Coincidence-Array based spectrum sensing for multiple antenna cognitive radios in the presence of non-gaussian noise, Thakshila Wimalajeewa and Pramod Varshney
Wyner’s Common Information for Continuous Random Variables - A Lossy Source Coding Interpretation, Ge Xu, Wei Liu, and Biao Chen
2010
Average Run Length of Two-Span Moving Sum Algorithms, Swarnendu Kar, Kishan G. Mehrotra, and Pramod Varshney
Approximation of Average Run Length of Moving Sum Algorithms Using Multivariate Probabilities, Swarnendu Kar, Kishan Mehrotra, and Pramod Varshney
A Bit Serial Approach to Massively Parallel Floating Point Operations on an FPGA, Duane Marcy, Fred Schlereth, Parija Kshirsagar, and Anvith Katte Mahabalagiri
p2pstm: A Peer-to-Peer Software Transactional Memory, Phil Pratt-Szeliga and Jim Fawcett
A New Statistical Procedure for Validation of Simulation and Stochastic Models, Robert G. Sargent
The Investment Comparison Tool (ICT): A Method to Assess Research and Development Investments, Tiffany A. Sargent and Robert G. Sargent
Design of S-Band Transition Based on Microstrip Quarter-Wave Transformers, Bashir Souid, Josh Merchant, Michael Rice, and Mahmoud EL Sabbagh
Strong (X)HTML Compliance with Haskell's Flexible Type System, Paul G. Talaga and Steve J. Chapin
2009
A Clustering based Discretization for Supervised Learning, Ankit Gupta, Kishan Mehrotra, and Chilukuri K. Mohan
ESCUDO: A Fine-grained Protection Model for Web Browsers, Karthick Jayaraman, Wenliang Du, Balamurugan Rajagopalan, and Steve J. Chapin
UniverCL 1.0 --- Phase I of a complete OpenCL implementation, Phil Pratt-Szeliga and Jim Fawcett
1996
Probabilistic Analysis of the Median Rule: Asymptotics and Applications, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka
Efficient Heuristic Search Algorithms for Soft-Decision Decoding of Linear Block Codes, Ching-Cheng Shih, C. R. Wulff, Carlos R.P. Hartmann, and Chilukuri K. Mohan
Unsupervised Algorithms for Learning Emergent Spatio-Temporal Correlations, Chaitanya Tumuluri
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
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
Decoding Linear Block Codes Using a Priority-First Search: Performance Analysis and Suboptimal Version, Yunghsiang S. Han, Carlos R.P. Hartmann, and Kishan Mehrotra
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
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 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
