Physical Sciences and Mathematics Commons^™

Characterizing The Orders Changes By Program Translators, Margaret Shay, Paul Young Jan 1975

Modeling And Performance Evaluation Of Physical Data Base Structures, S. B. Yao Jan 1975

The Essential Design Criterion For Computer Languages: Software Science, M. H. Halstead Jan 1975

Using The Methodology Of Natural Science To Understand Software, M. H. Halstead Jan 1975

High Order Fast Elliptic Equation Solver, Elias N. Houstis, T. S. Papatheordorou Jan 1975

The Difficulty Of Optimum Index Solution, Douglas E. Comer Jan 1975

Collocation Methods For Linear Elliptic Problems, Elias N. Houstis Jan 1975

On The Limits Of Text File Compression, V. Y. Shen, M. H. Halstead Jan 1975

A Queueing Model For A Multiprocessor System With Partitioned Memory, K. Omahen, V. Marathe Jan 1975

Optimization Among Provably Equivalent Programs, Paul Young Jan 1975

Speedup In Parallel Algorithms For Adaptive Quadratures, James M. Lemme, John R. Rice Jan 1975

The Algorithm Selection Problem Iii - Approximation Theory Machinery, John R. Rice Dec 1974

Tree Structures Construction Using Hit Ratios, S. B. Yao Nov 1974

A Non-Procedural High-Level Language For Automated Design Of Application Systems, J. F. Nunamaker Sep 1974

A Measure Of Structural Complexity For Context-Free Grammars, D. A. Workman Sep 1974

Comments On A Linear Paging Model, Peter J. Denning Jul 1974

Selectively Defined Subsystems, Dorothy E. Denning, Peter J. Denning, G. Scott Graham Jul 1974

Requirements Statement Language Principles For Automatic Programming, Thomas I. M. Ho, J. F. Nunamaker Jul 1974

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