Journal: Journal of the ACM

Volume 18, Issue 4

477 -- 0. Introduction
478 -- 504W. S. Brown. On Euclid s Algorithm and the Computation of Polynomial Greatest Common Divisors
505 -- 514W. S. Brown, J. F. Traub. On Euclid s Algorithm and the Theory of Subresultants
515 -- 532George E. Collins. The Calculation of Multivariate Polynomial Resultants
533 -- 548Lee E. Heindel. Integer Arithmetic Algorithms for Polynomial Real Zero Determination
549 -- 558William A. Martin. Determining the Equivalence of Algebraic Expressions by Hash Coding
559 -- 565Stephen C. Johnson. On the Problem of Recognizing Zero
566 -- 572James R. Bunch. Equilibration of Symmetric Matrices in the Max-Norm
573 -- 575Donald J. Rose. A Note on Consistent Ordering and Zero Circulation
576 -- 585M. A. Kaplan, R. A. Papetti. A Note on Quadrilateral Interpolation
594 -- 602E. Wasserstrom. Solving Boundary-Value Problems by Imbedding
603 -- 610Igal Adiri. A Dynamic Time-Sharing Priority Queue
611 -- 615Igal Adiri. A Note on Some Mathematical Models of Time-Sharing Systems
616 -- 629Keki B. Irani, V. L. Wallace. On Network Linguistics and the Conversational Design of Queueing Networks
630 -- 646Raymond Reiter. Two Results on Ordering for Resolution with Merging and Linear Format

Volume 18, Issue 2

137 -- 147James Hardy Wilkinson. Some Comments from a Numerical Analyst
148 -- 172Michael A. Harrison, Mario Schkolnick. A Grammatical Characterization of One-Way Nondeterministic Stack Languages
173 -- 185William Goffman. A Mathematical Method for Analyzing the Growth of a Scientific Discipline
186 -- 198Donald P. Gaver, Peter A. W. Lewis. Probability Models for Buffer Storage Allocation Problems
199 -- 220Peter A. W. Lewis, Gerald S. Shedler. A Cyclic-Queue Model of System Overhead in Multiprogrammed Computer Systems
221 -- 238U. Narayan Bhat, Richard E. Nance. Busy Period Analysis of a Time-Sharing System Modeled as a Semi-Markov Process
239 -- 246John Mylopoulos, Theodosios Pavlidis. On the Topological Properties of Quantized Spaces, I. The Notion of Dimension
247 -- 254John Mylopoulos, Theodosios Pavlidis. On the Topological Properties of Quantized Spaces, II. Connectivity and Order of Connectivity
255 -- 264Renato Stefanelli, Azriel Rosenfeld. Some Parallel Thinning Algorithms for Digital Pictures
265 -- 289Robert O. Winder. Chow Parameters in Threshold Logic
290 -- 305Manuel Blum. On Effective Procedures for Speeding Up Algorithms
306 -- 328Stephen N. Cole. Deterministic Pushdown Store Machines and Real-Time Computation
329 -- 338John Case. A Note on Degrees of Self-Describing Turing Machines
339 -- 353Alvy Ray Smith. Simple Computation-Universal Cellular Spaces
354 -- 372Richard Simon, Richard C. T. Lee. On the Optimal Solutions to AND/OR Series-Parallel Graphs
381 -- 399J. P. R. Tootill, W. D. Robinson, A. G. Adams. The Runs Up-and-Down Performance of Tausworthe Pseudo-Random Number Generators
400 -- 404William H. Burge, Alan G. Konheim. An Accessing Model
405 -- 415Donald P. Gaver. Analysis of Remote Terminal Backlogs under Heavy Demand Conditions
416 -- 423John Michael Robson. An Estimate of the Store Size Necessary for Dynamic Storage Allocation
424 -- 430John Lions. Some Results Concerning the Reduction of Binary Matrices
431 -- 443Ronald C. de Vries. Minimal Sets of Distinct Literals for a Logically Passive Function
444 -- 475Juris Hartmanis, John E. Hopcroft. An Overview of the Theory of Computational Complexity

Volume 18, Issue 1

1 -- 3Gerard Salton. Some Thoughts on Scientific Information Dissemination
4 -- 18Stephen A. Cook. Characterizations of Pushdown Machines in Terms of Time-Bounded Computers
19 -- 33William H. Kautz. An Augmented Content-Addressed Memory Array for Implementation With Large-Scale Integration
34 -- 40Brian W. Kernighan. Optimal Sequential Partitions of Graphs
41 -- 47Nabih N. Abdelmalek. Linear L::1:: Approximation for a Discrete Point Set and L::1:: Solutions of Overdetermined Linear Equations
48 -- 62N. F. Benschop, H. C. Ratz. A Mean Square Estimate of the Generated Roundoff Error in Constant Matrix Iterative Processes
63 -- 74Colin W. Cryer. Topological Problems Arising When Solving Boundary Value Problems for Elliptic Partial Differential Equations by the Method of Finite Differences
75 -- 79C. Dill, C. William Gear. A Graphical Search for Stiffly Stable Methods for Ordinary Differential Equations
80 -- 93Alfred V. Aho, Peter J. Denning, Jeffrey D. Ullman. Principles of Optimal Page Replacement
94 -- 104G. C. Philippatos, D. R. Moscato. Effects of Constrained Information on Player Decisions in Experimental Business Simulation: Some Empirical Evidence
105 -- 112J. C. Alexander, A. I. Thaler. The Boundary Count of Digital Pictures
113 -- 125Manfred H. Hueckel. An Operator Which Locates Edges in Digitized Pictures
126 -- 136Chin-Liang Chang, James R. Slagle. Completeness of Linear Refutation for Theories with Equality