Physical Sciences and Mathematics Commons^™

Algorithms For Elliptic Partial Differential Equations: Metalgorithms And Selection, Elias N. Houstis, Robert E. Lynch, T. S. Papatheodorou, John R. Rice Jun 1974

Adaptive Approximation, John R. Rice Jun 1974

Multiprogrammed Memory Management, Peter J. Denning, G. Scott Graham Jun 1974

The Algorithm Selection Problem—Abstract Models, John R. Rice May 1974

The Algorithm Selection Problem Ii—Two Concrete Problems: Numerical Analysis Quadrature—Algorithms, Operating Systems—Scheduling Design, John R. Rice May 1974

Experimental Validation Of A Structural Property Of Fortran Algorithms, Necdet Bulnut, Maurice H. Halstead, Rudolf Bayer Apr 1974

Impurities Found In Algorithm Implementations, Necdet Bulnut, Maurice H. Halstead Mar 1974

Abstract Families Of Context-Free Grammars, David Workman Mar 1974

Parallel Algorithms For Adaptive Quadrature Iii - Program Correctness, John R. Rice Mar 1974

Linear Bounded Tree Automata, Carol Chrisman Jan 1974

Semantic Decomposition Of Computer Programs: An Aid To Program Testing, Paul M. Zeslis Jan 1974

Parallel Algorithms For Adaptive Quadrature Ii - Metalgorithm Correctness, John R. Rice Nov 1973

Prefix Codes, Trees And Automata, Jean-Louis Lassez Oct 1973

On Program Volume And Program Modularization, Rudolf Bayer Sep 1973

Parallel Algorithms For Adaptive Quadrature - Convergence, John R. Rice Sep 1973

Specification And Design Of An Information System Using Computer Aided Analysis, J. F. Nunamaker Aug 1973

A Study Of Decompiling Machine Language Into High-Level Machine Independent Languages, Barron Cornelius Housel Aug 1973

Magnetic Tape Portability, James Alf Iverson Jul 1973

The Monadic Second-Order Theory Of Ordinals W Sub 2, J. Richard Buchi, Charles Zaiontz May 1973

Modeling A Large Online File System, John Pomeranz Mar 1973

A Planning And Cost Allocation Procedure For Computer System Management, J. Nunamaker, A. Whinston Jun 1972

A Note On Orders Of Enumeration, John Helm, Albert Meyer, Paul Young Jan 1972

A Methodology For The Design And Optimization Of Information Processing Systems, J. F. Nunamaker Jan 1972

Symmetric Binary B-Trees: Data Structure And Algorithms For Random And Sequential Information Processing, Rudolf Bayer Nov 1971

An Axiom System For The Weak Monadic Second Order Theory Of Two Successors, Dirk Siefkes Jul 1971

A Simplex Algorithm - Gradient Projection Method For Nonlinear Programming, L. Duane Pyle Jun 1971

Numerical Analysis - Final Report, John R. Rice Oct 1970

A One Pass Algorithm For Compiling Algol 68 Declarations, Victor B. Schneider Oct 1970

On The Number Of Registers Needed To Evaluate Arithmetic Expressions, Victor Schneider Sep 1970

A Note On "Axioms" For Computational Complexity And Computation Of Finite Functions, Paul R. Young Apr 1970