Computer Sciences Commons^™

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

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

A Teaching Aid To Simulate The Requirements Statement Process, Thomas I. M. Ho, Benn Konsynski, J. F. Nunamaker Jan 1975

Development, Evaluation & Selection Of Methods For Elliptic Partial Differential Equations, E. N. Hnoustis, Robert E. Lynch, T. S. Papatheodorou, John R. Rice Jan 1975

One Address Computers Are Faster And Use Less Memory Space To Execute Arithmetic Assignment Statements, Victor Schneider, Bradford Wade 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 Measure Of Structural Complexity For Context-Free Grammars, D. A. Workman Sep 1974

A Non-Procedural High-Level Language For Automated Design Of Application Systems, J. F. Nunamaker Sep 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

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

Adaptive Approximation, John R. Rice Jun 1974

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

Algorithms For Elliptic Partial Differential Equations: Metalgorithms And Selection, Elias N. Houstis, Robert E. Lynch, T. S. Papatheodorou, John R. Rice 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

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

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

Abstract Families Of Context-Free Grammars, David Workman 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