Physical Sciences and Mathematics Commons^™

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

Manipulation Of Data Structure In A Numerical Analysis Problem Solving Systems, Lawrence R. Symes Nov 1969

A Note On Dense And Nondense Families Of Complexity Classes, Paul R. Young Aug 1969

A Translation Grammar For Algol 68, Victor B. Schneider Aug 1969

The Degree Of Convergence For Entire Functions, John R. Rice Jun 1969

A Comparison Of Some Numerical Integration Programs, J. Casaletto, M. Pickett, John R. Rice Jun 1969

Smoothing And Estimation Derivatives Of Equispaced Data, J. J. Casaletto, John R. Rice May 1969

A Mathematical Problem Solving Language And Its Interpreter, Lawrence R. Symes May 1969

A Set Of 74 Test Functions For Nonlinear Equation Solvers, John R. Rice Apr 1969

A Polyalgorithm For The Automatic Solution Of Nonlinear Equations, John R. Rice Feb 1969

Evaluation Of Napss Expression Involving Polyalgorithms, Functions, Recursion, And Untyped Variables, Lawrence R. Symes Feb 1969

Numerical Analysis For The Consumer, D. Dodson, J. Ewing, P. Miller, W. Nylin, E. Petarik, S. Prues Sep 1968

Ptss User's Manual, E. J. Desautels Aug 1968