Follow

2018

PDF

libOblivious: A C++ Library for Oblivious Data Structures and Algorithms, Scott D. Constable and Steve Chapin

PDF

Formal Verification of a Modern Boot Loader, Scott D. Constable, Rob Sutton, Arash Sahebolamri, and Steve Chapin

PDF

A Formally Verified Heap Allocator, Arash Sahebolamri, Scott D. Constable, and Steve J. Chapin

2017

PDF

Multi-target Extension for Beacon Foraging Methods, Christopher Sanford, Ziong Jiao, and Jae Oh

2012

PDF

Single eye or camera with depth perception, Philipp Kornreich and Bart Farell

PDF

Identifying and analyzing pointer misuses for sophisticated memory-corruption exploit diagnosis, Mingwei Zhang, Aravind Prakash, Xiaolei Li, Zhenkai Liang, and Heng Yin

2011

PDF

Electromagnetic-Thermal Analysis Study Based on HFSS-ANSYS Link, Mahmoud EL Sabbagh

PDF

Voice Commands to Control Recording Sessions, J. Marty Goddard

PDF

Rank-Based Outlier Detection, H. Huang, Kishan Mehrotra, and Chilukuri K. Mohan

PDF

Outlier detection using modified-ranks and other variants, Huaming Huang, Kishan Mehrotra, and Chilukuri K. Mohan

PDF

A new cohesion metric and restructuring technique for object oriented paradigm, Mehmet Kaya and Jim Fawcett

PDF

The Common Information for N Dependent Random Variables, Wei Liu and Ge Xu

PDF

Performance Limit of Image Segmentation Algorithms, Renbin Peng and P. K. Varshney

PDF

A Human Visual System-Driven Image Segmentation Algorithm, Renbin Peng and Pramod Varshney

PDF

Performance Limit of Image Segmentation Algorithms, Renbin Peng and Pramod Varshney

PDF

Exploring non-typical memcache architectures for decreased latency and distributed network usage., Paul G. Talaga and Steve J. Chapin

PDF

SCUTA: A Server-Side Access Control System for Web Applications, Xi Tan, Wenliang Du, Tongbo Luo, and Karthick Jayaraman

PDF

Polarity-Coincidence-Array based spectrum sensing for multiple antenna cognitive radios in the presence of non-gaussian noise, Thakshila Wimalajeewa and Pramod Varshney

PDF

Wyner’s Common Information for Continuous Random Variables - A Lossy Source Coding Interpretation, Ge Xu, Wei Liu, and Biao Chen

2010

PDF

Average Run Length of Two-Span Moving Sum Algorithms, Swarnendu Kar, Kishan G. Mehrotra, and Pramod Varshney

PDF

Approximation of Average Run Length of Moving Sum Algorithms Using Multivariate Probabilities, Swarnendu Kar, Kishan Mehrotra, and Pramod Varshney

PDF

A Bit Serial Approach to Massively Parallel Floating Point Operations on an FPGA, Duane Marcy, Fred Schlereth, Parija Kshirsagar, and Anvith Katte Mahabalagiri

PDF

p2pstm: A Peer-to-Peer Software Transactional Memory, Phil Pratt-Szeliga and Jim Fawcett

PDF

A New Statistical Procedure for Validation of Simulation and Stochastic Models, Robert G. Sargent

PDF

The Investment Comparison Tool (ICT): A Method to Assess Research and Development Investments, Tiffany A. Sargent and Robert G. Sargent

PDF

Design of S-Band Transition Based on Microstrip Quarter-Wave Transformers, Bashir Souid, Josh Merchant, Michael Rice, and Mahmoud EL Sabbagh

PDF

Strong (X)HTML Compliance with Haskell's Flexible Type System, Paul G. Talaga and Steve J. Chapin

2009

PDF

A Clustering based Discretization for Supervised Learning, Ankit Gupta, Kishan Mehrotra, and Chilukuri K. Mohan

PDF

ESCUDO: A Fine-grained Protection Model for Web Browsers, Karthick Jayaraman, Wenliang Du, Balamurugan Rajagopalan, and Steve J. Chapin

PDF

UniverCL 1.0 --- Phase I of a complete OpenCL implementation, Phil Pratt-Szeliga and Jim Fawcett

1996

PDF

Probabilistic Analysis of the Median Rule: Asymptotics and Applications, Anil Ravindran Menon, Kishan Mehrotra, Chilukuri K. Mohan, and Sanjay Ranka

PDF

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

PDF

Unsupervised Algorithms for Learning Emergent Spatio-Temporal Correlations, Chaitanya Tumuluri

1995

PDF

Designing Dependencies, Howard A. Blair

PDF

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

PDF

A Statistical Approach to MPEG Video Stream Characterization, Kubilay Cardakli

PDF

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

PDF

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

PDF

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

1994

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

1993

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

Binary Resolution in Surface Reasoning, William C. Purdy

1992

PDF

A Declarative Foundation of λProlog with Equality, Mino Bai

PDF

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

PDF

Conceptual Background for Symbolic Computation, Klaus Berkling

PDF

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

PDF

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

PDF

Numerical Solution of Laplace's Equation, Per Brinch Hansen

PDF

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

PDF

Parallel Monte Carlo Trials, Per Brinch Hansen

PDF

Primality Testing, Per Brinch Hansen

PDF

Simulated Annealing, Per Brinch Hansen

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

1991

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

A Generic Multiplication Pipeline, Per Brinch Hansen

PDF

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

PDF

Parallel Divide and Conquer, Per Brinch Hansen

PDF

The Fast Fourier Transform, Per Brinch Hansen

PDF

The N-Body Pipeline, Per Brinch Hansen

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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

PDF

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