Submissions from 1977
Effects of Updates on Optimality In Tries and Doubly-Chained Trees, Douglas Comer (77-256)
Heuristics for Trie Index Minimization, Douglas Comer (77-224)
MOUSE4: An Improved Implementation of the RATFOR Preprocessor, Douglas Comer (77-236)
Removing Duplicate Rows of a Bounded Degree Array Using Tries, Douglas Comer (77-240)
INFEM: An Inference-Finite Element Program For Flow Problems, B. Dendrou and E. N. Houstis (77-249)
Stochastic Analysis of the Effect of Random Permeability Distributions on Confine Seepage, B. Dendrou and E. N. Houstis (77-234)
Operational Analysis of Queueing Networks, Peter J. Denning and Jeffrey P. Buzen (77-225)
Computer Systems Modeling, Measurement and Evaluation: Project Report 1976-1977, Peter J. Denning, Saul Rosen, and Herbert D. Schwetman (77-245)
A Quantitative Connection Between Computer Programs and Technical Prose, M. H. Halstead (77-227)
A Software Science Analysis of the Writing of a Technical Paper, M. H. Halstead (77-242)
Potential Contributions of Software Science to Software Reliability, M. H. Halstead (77-229)
Potential Impacts of Software Science on Software Life Cycle Management, M. H. Halstead (77-237)
A Compiler Extension Theorem for Lucid, Christoph M. Hoffmann (77-222)
Data Base Concepts for System Analysis, Thomas I. M. Ho (77-219)
Logical Data Base Design Principles for CODASYL Data Base Management Systems, Thomas I. M. Ho and Patrick A. Blosser (77-239)
The Complexity of Numerical Methods for Elliptic Partial Differential Equations, E. N. Houstis (77-253)
The Effect of Numerical Integration in the Finite Element Approximation of Hyperbolic Problems, E. N. Houstis (77-233)
Comparison of Fast Direct Methods for Elliptic Problems, E. N. Houstis and T. S. Papatheordorou (77-218)
Software for Linear Elliptic Problems on General Two Dimensional Domains, E. N. Houstis and J. R. Rice (77-220)
O(h^6) Accurate Finite Difference Approximation to Solutions of the Poisson Equation in Three Variables, Robert E. Lynch (77-221)
O(h^6) Discretization Error Finite Difference Approximation to Solutions of the Poisson Equation in Three Variables, Robert E. Lynch (77-230)
A High Order Difference Method for Differential Equation, Robert E. Lynch and John R. Rice (77-244)
High Accuracy Finite Difference Approximation to Solutions of Elliptic Partial Differential Equations, Robert E. Lynch and John R. Rice (77-223)
Further Validation of an Error Hypothesis, Linda M. Ottenstein (77-252)
Properties of LL-Regular Languages, David A. Poplawski (77-241)
NONLINEAR APPROXIMATION - Final Report for NSF Grant GP-3294OX, John R. Rice (77-235)
Software for Numerical Computation, John R. Rice (77-214)
Submissions from 1976
Analysis of a Heuristic for Full Trie Minimization, Douglas Comer (77-217)
Proving Protection Systems Safe, D. E. Denning, P. J. Denning, S. J. Garland, M. A. Harrison, and W.L. Ruzzo (76-209)
Certification of Programs for Secure Information Flow, Dorothy E. Denning and Peter J. Denning (76-181)
On the Derivation of Lattice Structured Information Flow Policies, Dorothy E. Denning, Peter J. Denning, and G. Scott Graham (76-180)
Real Time Generation of MIN Distance Strings, Peter J. Denning (77-211)
Generalized Working Sets for Segment Reference Strings, Peter J. Denning and Donald R. Slutz (76-178)
The QUICK Instructional System, Sharon Fletcher (76-187)
Efficient Recursive Parsing, Christoph M. Hoffmann (77-215)
Levels of Abstraction for Determining Data Requirements, Thomas I. M. Ho (76-195)
New Perspectives for Information Systems Education, Thomas I. M. Ho (77-212)
System Analysis Perspectives, Thomas I. M. Ho (76-182)
Experiments with Computer Aided Self-Paced Instruction for Mathematical Programming Education, Thomas Ho, A. Ravindran, and Arthur Sinensky (76-198)
Evaluation of Numerical Methods for Elliptic Partial Differential Equations, E. N. Houstis, R. E. Lynch, T. S. Papatheodorou, and J. R. Rice (76-204)
Piecewise Cubic Hermite Interpolation at the Gaussian Points, E. N. Houstis and T. S. Papatheodorou (76-199)
A Collocation Method for Fredholm Integral Equations of the Second Kind, E. N. Houstis and T. S. Papatheordorou (76-206)
The Terminal Process, Kevin E. Kolis, John B. Lohse, Peter Radtke, Robert Sedlemeyer, and Ronald D. Bedford (76-201)
Adaptive Quadrature Algorithms for Illiac IV., James M. Lemme (76-189)
Multi-Dimensional Clustering for Data Base Organizations, J. H. Liou and S. B. Yao (77-213)
The Hodie Method for Ordinary Differential Equations, R. E. Lynch and J. R. Rice (76-188)
An Algorithmic Approach to the Detection and Prevention of Plagiarism, Karl J. Ottenstein (76-200)
A Program to Count Operators and Operands for ANSI—FORTRAN Modules, Karl J. Ottenstein (76-196)
Predicting the Number of Bugs Expected in a Program Module, Linda M. Ottenstein, Victor B. Schneider, and Maurice H. Halstead (76-205)
Algorithmic Progress in Solving Partial Differential Equations, John R. Rice (76-173)
ELLPACK--A Cooperative Effort for the Study of Numerical Methods for Elliptic Partial Differential Equations, John R. Rice (76-203)
Note on the Software Design for an Elliptic PDE Solver, John R. Rice (76-193)
Numerical Computation Breakthroughs and Future Challenges, John R. Rice (76-183)
Some Data and Observation on Research Publication (A) Numerical Computation, (B) Programming Languages and Systems, John R. Rice (76-197)
Statistical Computing - The Vanguard of the Future of Education, John R. Rice (76-186)
Linear Queries in Statistical Data Bases, M. D. Swartz, D. E. Denning, and P. J. Denning (77-216)
A Hierarchical Access Model for Data Base Organizations, S. B. Yao (76-177)
Approximating the Number of Blocks Accessed in Data Base Organizations, S. B. Yao (76-184)
Submissions from 1975
Beginners Guide to PROCSY, C. Anderson, K. Apeland, L. Breisacher, C. Canfield, and T. Reiter (75-141)
Skolem Rings and Their Varieties, J. R. Buchi and T. M. Owens (75-140)
The Difficulty of Optimum Index Solution, Douglas Comer (77-248)
Reorganization Points for File Designs with Nonlinear Processing Costs, K. Sundar Das, T. J. Teorey, and S. B. Yao (75-160)
The Computation and Use of Optimal Paging Curves, Peter J. Denning (75-154)
An L=S Criterion for Optimal Multiprogramming, Peter J. Denning and Kevin C. Kahn (75-162)
A Study of Program Locality and Lifetime Functions, Peter J. Denning and Kevin C. Kahn (75-148)
Some Distribution-Free Properties of Throughput and Response Time, Peter J. Denning and Kevin C. Kahn (75-159)
The Dependence of Operating System Size Upon Allocatable Resources, Atilla Elci (75-172)
A Software Physics Analysis of Akiyama's Debugging Data, Yasao Funami and M. H. Halstead (75-144)
An Experiment Comparing Fortran Programming Times with the Software Physics Hypothesis, R. D. Gordon and M. H. Halstead (75-167)
The Essential Design Criterion for Computer Languages: Software Science, M. H. Halstead (76-191)
Toward a Theoretical Basis for Estimating Programming Efforts, M. H. Halstead (75-143)
Using the Methodology of Natural Science to Understand Software, M. H. Halstead (76-190)
Development, Evaluation & Selection of Methods for Elliptic Partial Differential Equations, E. N. Hnoustis, R. E. Lynch, T. S. Papatheodorou, and J. R. Rice (75-134)
A Teaching Aid to Simulate the Requirements Statement Process, Thomas I. M. Ho, Benn Konsynski, and J. F. Nunamaker (75-142)
Collocation Methods for Linear Elliptic Problems, E. N. Houstis (77-255)
High Order Fast Elliptic Equation Solver, E. N. Houstis and T. S. Papatheordorou (77-246)
An Endogenous Priority Model for Load Control in Combined Batch—Interactive Computer Systems, Carl E. Landwehr (75-157)
Speedup in Parallel Algorithms for Adaptive Quadratures, James M. Lemme and John R. Rice (76-192)
Corrections to Some Errors in a Version of TSP: (Time Series Processor), Robert E. Lynch (75-153)
The Hodie Method: A Brief Introduction with Summary of Computational Properties, Robert E. Lynch and John R. Rice (75-170)
Estimating Response Time for Auxiliary Memory Configurations with Multiple Movable-Head Disk Modules, K. Omahen (75-158)
Some Insights Into Deterministic Scheduling Problems Involving Multiple Resources and Preemption, K. Omahen (75-155)
Capacity Bounds for Multi-Resource Queues, K. J. Omahen (75-137)
Analysis & Applications of the Delay Cycle for the M/M/c Queueing System, K. Omahen and V. Marathe (75-165)
A Queueing Model for A Multiprocessor System with Partitioned Memory, K. Omahen and V. Marathe (75-132)
Equational Logic and Equational Theories of Algebras, Don Pigozzi (75-135)
Algorithm - Adapt, Adaptive Smooth Curve Fitting, John R. Rice (75-166)
On the Computational Complexity of Approximation Operators II, John R. Rice (75-136)
Remarks on Piecewise Polynomial Approximation, John R. Rice (75-163)
The Algorithm Selection Problem, John R. Rice (75-152)
Optimal Compression of Parsing Tables in a Parsergenerating System, V. B. Schneider and M. D. Mickunas (75-150)
One Address Computers are Faster and Use Less Memory Space to Execute Arithmetic Assignment Statements, Victor Schneider and Bradford Wade (75-149)
Using a Programmable Calculator to Introduce Fundamental Concepts of Assembly Language Programming, H. D. Schwetman (75-171)
Characterizing the Orders Changes by Program Translators, Margaret Shay and Paul Young (75-161)
On the Limits of Text File Compression, V. Y. Shen and M. H. Halstead (77-257)
Modeling and Performance Evaluation of Physical Data Base Structures, S. B. Yao (76-179)
Selection of File Organization Using An Analytic Model, S. B. Yao and A. G. Merten (75-151)
Optimization Among Provably Equivalent Programs, Paul Young (75-156)
Submissions from 1974
Impurities Found in Algorithm Implementations, Necdet Bulnut and Maurice H. Halstead (74-111)
Experimental Validation of a Structural Property of Fortran Algorithms, Necdet Bulnut, Maurice H. Halstead, and Rudolf Bayer (74-115)