2006 | **An approximation to the greedy algorithm for differential compression** |

2006 | **Braids and fibers: Language constructs with architectural support for adaptive responses to memory latencies** |

2006 | **Machine learning methods for transcription data integration** |

2006 | **Self-adapting numerical software (SANS) effort** |

2005 | **Exploring the limits of prefetching** |

2004 | **A new load-balancing strategy for the solution of dynamical large-tree-search problems using a hierarchical approach** |

2004 | **The pursuit of the whole NChilada: Virtual petaflops using multi-adaptive algorithms for gravitational systems** |

2003 | **High-performance linear algebra algorithms using new generalized data structures for matrices** |

2003 | **Mathematical sciences in the nineties** |

2003 | **Maximizing the system value while satisfying time and energy constraints** |

2003 | **On greedy algorithms, partially ordered sets, and submodular functions** |

2003 | **Workload-based power management for parallel computer systems** |

2001 | **Algorithms and data structures for compressed-memory machines** |

2001 | **Proactive management of software aging** |

2000 | **Applying recursion to serial and parallel ***QR* factorization leads to better performance |

2000 | **Finite-element analysis of semiconductor devices: The FIELDAY program** |

2000 | **Minimal-storage high-performance Cholesky factorization via blocking and recursion** |

1999 | **Evaluation of branch-prediction methods on traces from commercial applications** |

1998 | **Design considerations for the ALDC cores** |

1998 | **Performance as a function of compression** |

1998 | **The IBM JBIG-ABIC Verification Suite** |

1998 | **The Qx-coder** |

1997 | **A study of the representation of fractal curves by L systems and their equivalences** |

1997 | **Fast and effective algorithms for graph partitioning and sparse-matrix ordering** |

1997 | **Improving the memory-system performance of sparse-matrix vector multiplication** |

1997 | **Prefetching and memory system behavior of the SPEC95 benchmark suite** |

1997 | **Recursion leads to automatic variable blocking for dense linear-algebra algorithms** |

1996 | **A fast, highly reliable data compression chip and algorithm for storage systems** |

1995 | **A three-dimensional approach to parallel matrix multiplication** |

1995 | **Flexible oblivious router architecture** |

1994 | **Algorithms for Arabic name transliteration** |

1994 | **Exploiting functional parallelism of POWER2 to design high-performance numerical algorithms** |

1994 | **Highly paralellizable route planner based on cellular automata algorithms** |

1994 | **Memory versus randomization in on-line algorithms** |

1994 | **Performance of a cyclic redundancy check and its interaction with a data scrambler** |

1994 | **Surveillance and tracking of ballistic missile launches** |

1994 | **The Commercial Data Masking Facility (CDMF) data privacy algorithm** |

1990 | **Computation of elementary functions on the IBM RISC System/6000 processor** |

1989 | **Preserving the integrity of cyclic-redundancy checks when protected text is intentionally altered** |

1988 | **Spelling assistance for compound words** |

1987 | **A method for efficient storage and rapid application of context-sensitive phonological rules for automatic speech recognition** |

1987 | **Best and worst mappings for the omega network** |

1987 | **Binary-image-manipulation algorithms in the Image View Facility** |

1987 | **Digital halftoning on the IBM 4250 Printer** |

1987 | **Efficient randomized pattern-matching algorithms** |

1987 | **Efficient search techniques—An empirical study of the ***N*-Queens Problem |

1987 | **Factoring logic functions** |

1987 | **Feature analysis for symbol recognition by elastic matching** |

1987 | **PANDA: Processing Algorithm for Noncoded Document Acquisition** |

1987 | **Parallel algorithms for chip placement by simulated annealing** |

1987 | **Performance analysis of the FFT algorithm on a shared-memory parallel architecture** |

1987 | **Piecewise-circular curves for geometric modeling** |

1987 | **Shaping geometric objects by cumulative translational sweeps** |

1987 | **Simple unit vectors orthogonal to a given vector** |

1987 | **Trimmed-surface algorithms for the evaluation and interrogation of solid boundary representations** |

1987 | **Voronoi diagram for multiply-connected polygonal domains II: Implementation and application** |

1987 | **Voronoi diagram for multiply-connected polygonal domains I: Algorithm** |

1986 | **An automatic overlay generator** |

1986 | **Compiling circular attribute grammars into Prolog** |

1986 | **Fourier transform and convolution subroutines for the IBM 3090 Vector Facility** |

1986 | **New scalar and vector elementary functions for the IBM System/370** |

1986 | **Parallel iterative linear solvers for oil reservoir models** |

1986 | **The average complexity of depth-first search with backtracking and cutoff** |

1985 | **A hardware sort-merge system** |

1985 | **A prototype manufacturing knowledge base in Syllog** |

1985 | **Adaptive clustering algorithm** |

1985 | **An algorithm for carrier routing in a flexible material-handling system** |

1985 | **An approach to DFT calculations using standard microprocessors** |

1985 | **Image processing by simulated annealing** |

1985 | **Novel method for analysis of printed circuit images** |

1985 | **Scheduling algorithms for flexible flow lines** |

1985 | **Short-term production scheduling of an automated manufacturing facility** |

1984 | **Aspects of the traveling salesman problem** |

1983 | **A ''Zero-Time'' VLSI Sorter** |

1983 | **A Class of Numerical Methods for the Computation of Pythagorean Sums** |

1983 | **A Fair Carpool Scheduling Algorithm** |

1983 | **An Improved Regional Correlation Algorithm for Signature Verification Which Permits Small Speed Changes Between Handwriting Segments** |

1983 | **Replacing Square Roots by Pythagorean Sums** |

1982 | **An Algorithm for Separating Patterns by Ellipsoids** |

1982 | **An Improved Segmentation and Coding Algorithm for Binary and Nonbinary Images** |

1982 | **Analysis of Linear Interpolation Schemes for Bi-Level Image Applications** |

1982 | **Automatic Scaling of Digital Print Fonts** |

1982 | **Boolean Comparison of Hardware and Flowcharts** |

1982 | **Cursive Script Recognition by Elastic Matching** |

1982 | **Digital Halftoning of Images** |

1982 | **Document Analysis System** |

1982 | **Importance of Higher-Order Components to Multispectral Classification** |

1982 | **Performance Analysis of Suspend Locks in Operating Systems** |

1982 | **Reduced Data Re-Order Complexity Properties of Polynomial Transform 2D Convolution and Fourier Transform Methods** |

1982 | **Some Experiments in Image Vectorization** |

1982 | **Timing Analysis of Computer Hardware** |

1982 | **Word Autocorrelation Redundancy Match (WARM) Technology** |

1981 | **A 2400-Bit/s Microprocessor-Based Modem** |

1981 | **A Number Representation Convertor for Magnetic Bubble String Comparators** |

1981 | **Algebraic Complexity Theory** |

1981 | **Finite-Element Analysis of Semiconductor Devices: The FIELDAY Program** |

1981 | **Fleshing Out Projections** |

1981 | **Number of Vias: A Control Parameter for Global Wiring of High-Density Chips** |

1980 | **Determining Deadlock Exposure for a Class of Store and Forward Communication Networks** |

1980 | **Fleshing Out Wire Frames** |

1980 | **Macro Generation Algorithms for LSI Custom Chip Design** |

1980 | **Some Techniques for Compile-Time Analysis of User-Computer Interactions** |

1980 | **Synchronous Bounded Delay Coding for Input Restricted Channels** |

1979 | **Algorithm to Check Network States for Deadlock** |

1979 | **Planning and Execution of Straight Line Manipulator Trajectories** |

1979 | **Probabilistic PERT** |

1979 | **Reduction of Storage Fragmentation On Direct Access Devices** |

1978 | **A Directed Weather Data Filter** |

1978 | **Algorithm and Hardware for a Merge Sort Using Multiple Processors** |

1978 | **Automated Validation of a Communications Protocol: the CCITT X.21 Recommendation** |

1978 | **Computation of Convolutions and Discrete Fourier Transforms by Polynomial Transforms** |

1978 | **Computer-Aided Diagnosis with an Application to Endocrinology** |

1978 | **Convex Cubic Splines** |

1978 | **Effect of Replacement Algorithms on a Paged Buffer Database System** |

1978 | **Extrapolation of Seismic Waveforms by Fourier Methods** |

1978 | **General Technique for Communications Protocol Validation** |

1977 | **Algorithmic Information Theory** |

1977 | **An Extension of Moore’s Result for Closed Queuing Networks** |

1977 | **Buffer Performance Analysis of Communication Processors During Slowdown at Network Control** |

1977 | **Digital Technique for Generating Synthetic Aperture Radar Images** |

1977 | **Discrete Link Capacity and Priority Assignments in Communication Networks** |

1977 | **Heuristic Design Algorithm for Computer Communication Networks with Different Classes of Packets** |

1977 | **Improving the Computation of Lower Bounds for Optimal Schedules** |

1977 | **Multidimensional Bin Packing Algorithms** |

1977 | **Queuing Networks with Population Size Constraints** |

1977 | **Sequential Stopping Rules for the Regenerative Method of Simulation** |

1977 | **Variable Geometry Cochlear Model at Low Input Frequencies: A Basis for Compensating Morphological Disorders** |

1976 | **Analysis of the Berlekamp–Massey Linear Feedback Shift-Register Synthesis Algorithm** |

1976 | **Determining the Three-dimensional Convex Hull of a Polyhedron** |

1976 | **Generalized Kraft Inequality and Arithmetic Coding** |

1974 | **Channel Equalization Using a Kalman Filter for Fast Data Transmission** |

1974 | **Effects of Serial Programs in Multiprocessing Systems** |

1974 | **Efficient Algorithm for the Partitioning of Trees** |

1974 | **Image Data Compression by Predictive Coding II: Encoding Algorithms** |

1974 | **Image Data Compression by Predictive Coding I: Prediction Algorithms** |

1974 | **Investigation into Scheduling for an Interactive Computing System** |

1974 | **Iterative-Interactive Technique for Logic Partitioning** |

1974 | **On-line Measurement of Paging Behavior by the Multivalued MIN Algorithm** |

1974 | **Optimal Pricing for an Unbounded Queue** |

1974 | **Parallel Solution of Recurrence Problems** |

1974 | **Register Assignment Algorithm for Generation of Highly Optimized Object Code** |

1974 | **String Path Search Procedures for Data Base Systems** |

1973 | **An Analysis of Page Allocation Strategies for Multiprogramming Systems with Virtual Memory** |

1973 | **Axioms and Theorems for a Theory of Arrays** |

1973 | **Characterization of Program Paging in a Time-sharing Environment** |

1973 | **Experimental Study of Deadline Scheduling for Interactive Systems** |

1972 | **Automatic Computation of Exponentials, Logarithms, Ratios and Square Roots** |

1972 | **Compiling Optimized Code from Decision Tables** |

1972 | **Exact Implicit Enumeration Method for Solving the Set Partitioning Problem** |

1972 | **Finding All Shortest Distances in a Directed Network** |

1972 | **Finite Difference Formulas for Neumann Conditions on Irregularly Shaped Boundaries** |

1972 | **Hopscotch Difference Methods for Nonlinear Hyperbolic Systems** |

1972 | **Linear Convergence of the Conjugate Gradient Method** |

1972 | **Maintaining a Sparse Inverse in the Simplex Method** |

1972 | **Mixed-integer Algorithms for the (0,1) Knapsack Problem** |

1972 | **Nonsupervised Crop Classification through Airborne Multispectral Observations** |

1972 | **Numerical Properties of a Multivariate Ritz–Trefftz Method** |

1972 | **On the Convergence of Gradient Methods under Constraint** |

1972 | **On the Davidenko–Branin Method for Solving Simultaneous Nonlinear Equations** |

1972 | **Parallel Shooting Method for Boundary-value Problems: Application to the Neutron Transport Equation** |

1972 | **Recursive Computational Procedure for Two-dimensional Stock Cutting** |

1972 | **Recursive Evaluation of Padé Approximants for Matrix Sequences** |

1972 | **Solution of the Complete Symmetric Eigenproblem in a Virtual Memory Environment** |

1972 | **Turán Formulae and Highest Precision Quadrature Rules for Chebyshev Coefficients** |

1972 | **Widely Convergent Method for Finding Multiple Solutions of Simultaneous Nonlinear Equations** |

1972 | *A*-stable, Accurate Averaging of Multistep Methods for Stiff Differential Equations |

1971 | **A Procedure for Implementing the Fast Fourier Transform on Small Computers** |

1971 | **An Improved Method for Designing Optimal Linear Compensators** |

1971 | **Application of Probabilistic Decoding to Digital Magnetic Recording Systems** |

1971 | **Automatic Pulse Parameter Determination with the Computer Augmented Oscilloscope System** |

1971 | **Segmentation Methods for Recognition of Machine-printed Characters** |

1971 | **System Validation by Three-level Modeling Synthesis** |

1970 | **Iterated Consensus Method for Multiple-output Functions** |

1970 | **On the Maximum Likelihood Method of Identification** |

1969 | **A General Method for Obtaining Impedance and Coupling Characteristics of Practical Microstrip and Triplate Transmission Line Configurations** |

1969 | **Algorithm and Average-value Bounds for Assignment Problems** |

1969 | **Data Recovery in a Photo-Digital Storage System** |

1969 | **Dynamic Inventory Models and Stochastic Programming** |

1969 | **Fast Sequential Decoding Algorithm Using a Stack** |

1969 | **Heuristic Algorithm for the Traveling-salesman Problem** |

1969 | **IBM 2750 Voice and Data Switching System: Organization and Functions** |

1969 | **Maximal Biflow in an Undirected Network** |

1969 | **Minimaximal Paths in Disjunctive Graphs by Direct Search** |

1969 | **Operational Program for the IBM 2750** |

1969 | **Parallel Methods for Approximating the Root of a Function** |

1969 | **Programmed Automatic Customer Engineer (PACE) Dispatch** |

1969 | **Scattering of Electromagnetic Radiation by a Large, Absorbing Sphere** |

1969 | **Shortcut in the Decomposition Algorithm for Shortest Paths in a Network** |

1969 | **Stochastic Model for Manufacturing Cost Estimating** |

1969 | **Symbolic Polynomial Operations with APL** |

1968 | **An Application of the Cooley–Tukey Algorithm to Equalization** |

1968 | **Application of Finite Geometry in File Organization for Records with Multiple-Valued Attributes** |

1968 | **Computation of Molecular Properties and Structure** |

1968 | **Computer Algorithm for Spectral Factorization of Rational Matrices** |

1968 | **Error Detection and Correction in a Photo-Digital Storage System** |

1968 | **Implicit Implementation of the Weighted Backward Euler Formula** |

1968 | **Method for Estimation and Optimization of Printer Speed Based on Character Usage Statistics** |

1967 | **An Efficient Algorithm for Exploiting Multiple Arithmetic Units** |

1967 | **The IBM System/360 Model 91: Floating-Point Execution Unit** |

1967 | **The IBM System/360 Model 91: Storage System** |

1959 | **Computation of Sin ***N*, Cos *N*, and ^{m}√N Using an Electronic Computer |

1958 | **Computation of Arcsin ***N* for 0 < *N* < 1 Using an Electronic Computer |

1958 | **Computation of Arctan ***N* for −∞ < *N* < +∞ |

1957 | **Computation of ***e*^{N} for −∞ < *N* < +∞ |