Browse by Subject

Related Papers

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 eN for −∞ < N < +∞