CACM - volume 16 - 1973 论文列表 |
点击这里查看 Communications of the ACM 的JCR分区、影响因子等信息 |
Jerome A. Feldman James R. Low
A Note on Subexpression Ordering in the Evaluation of Arithmetic Expressions.Peter J. Denning G. Scott Graham
Algorithm for Automatic Numerical Integration Over a Finite Interval [D1] (Algorithm 468). Matrix Transposition in Place [F1] (Algorithm 467). Four Combinatorial Algorithms [G6] (Algorithm 466). Student's t Frequency [S14] (Algorithm 465). Eigenvalues of a Real, Symmetric, Tridiagonal Matrix [F2] (Algorithm 464). Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rules.James R. Slagle Lewis M. Norton
A Scan Conversion Algorithm with Reduced Storage Requirements.B. W. Jordan Jr. Ronald Curtis Barrett
A Parser-Generating System for Constructing Compressed Compilers. Dynamic Verification of Operating System Decisions. The Programmer as Navigator.Forbes J. Burkowski W. D. Hoskins
Calculation of Optimum Parameters for Alternating Direction Implicit Procedures [D3] (Algorithm 460).Paul E. Saylor James D. Sebastian
The Elementary Circuits of a Graph [H] (Algorithm 459). Discrete Linear L1 Approximation by Interval Linear Programming [E2] (Algorithm 458). Addendum to a Multiple-Precision Division Algorithm. Control Structures in Illiac IV Fortran. Using Page Residency To Select the Working Set Parameter. A Class of Dynamic Memory Allocation Algorithms. A Note on the Confinement Problem. General Performance Analysis of Key-to-Address Transformation Methods Using an Abstract File Concept. A Model and Stack Implementation of Multiple Environments. Multiple Terminals Under User Program Control in a Time-Sharing Environment.D. B. Hunter Julia M. Williams
Sard Kernels for Certain Bivariate Cubatures.Robert E. Barnhill David T. Pilcher
Reversible Execution. A Simple Technique for Structured Variable Lookup. Empirical Working Set Behavior. Design of Tree Structures for Efficient Querying. Evaluation and Selection of File Organization - A Model and System. Information Theory Applied to the Conversion of Decision Tables to Computer Programs. Computational Algorithms for Closed Queueing Networks with Exponential Servers.W. Wesley Peterson Tadao Kasami Nobuki Tokura
Inductive Methods for Proving Properties of Programs.Zohar Manna Stephen Nes Jean Vuillemin
Localization of the Roots of a Polynomial (Remark on Algorithm 429). Hu-Tucker Minimum Redundancy Alphabetic Coding Method (Remark on Algorithm 428). Clenshaw-Curtis Quadrature (Remark on Algorithm 424). Graph Plotter (Remark on Algorithm 412). An Efficient Prime Number Generator (Remark on Algorithm 357). Complex Gamma Function (Remark and Certification on Algorithm 404). The Complex Method for Constrained Optimization [E4] (Algorithm 454). Gaussian Quadrature Formulas for Bromwich's Integral [D1] (Algorithm 453). Enumerating Combinations of m Out of n Objects [G6] (Algorithm 452). Chi-Square Quantiles [G1] (Algorithm 451). Rosenbrock Function Minimization [E4] (Algorithm 450). Petri Nets and Speed Independent Design. Fen-An Axiomatic Basis for Program Semantics. A Learning Program Which Plays Partnership Dominoes.Iain D. G. Macleod Allan M. Collins
DIFSUB for Solution of Ordinary Differential Equations (Certification of Algorithm 407). Solution of Linear Programming Problems in 0-1 Variables [H1] (Algorithm 449). Equivalence Between AND/OR Graphs and Context-Free Grammars. Multiple Exits from a Loop Without the GOTO. Computer Science-Seminars for Undergraduates. Curriculum Recommendations for Graduate Professional Programs in Information Systems: Recommended Addendum on Information Systems Administration.F. Warren McFarlan Richard L. Nolan
Teaching "About Programming". The Distribution of a Program in Primary and Fast Buffer Storage. Mixed Solutions for the Deadlock Problem. COKO III: The Cooper-Koz Chess Program. A Note on Information Organization and Storage. Managing the Computer Resource: A Stage Hypothesis.John E. Hopcroft Robert Endre Tarjan
Threaded Code. The Development of Decision Tables via Parsing of Complex Decision Situations. Optimum Data Base Reorganization Points. A Computer Generated Aid for Cluster Analysis. Adapting Optimal Code Generation for Arithmetic Expressions to the Instruction Sets Available on Present-Day Computers. On the Near-Optimality of the Shortest-Latency-Time-First Drum Scheduling Discipline. Synchronizing Processors with Memory-Content-Generated Interrupts. Minimizing Wasted Space in Partitioned Segmentation. Efficient Multiprogramming Resource Allocation and Accounting.B. Holmgren D. Obradovic Å. Kolm
Minit Algorithm for Linear Programming (Remark on Algorithm 333). Maxflow (Remark on Algorithm 324). Coulomb Wave Functions (Remark on Algorithm 300). A Nonrecursive List Moving Algorithm. An Array Grammar Programming System.Andrew Mercer Azriel Rosenfeld
Minimal Event-Node Network of Project Precedence Relations.Derek G. Corneil C. C. Gotlieb Y. M. Lee
Hierarchical Storage in Information Retrieval. Some Comments on the Use of Ambiguous Decision Tables and Their Conversion to Computer Programs. Programming by Questionnaire: An Effective Way To Use Decision Tables. On the Problem of Communicating Complex Information.Larry C. Ragland Donald I. Good
Ten Subroutines for the Manipulation of Chebyshev Series [C1] (Algorithm 446). The Design, Implementation, and Evaluation of a Working Set Dispatcher.Juan Rodriguez-Rosell Jean-Pierre Dupuy
A Region Coloring Technique for Scene Analysis.James P. Strong III Azriel Rosenfeld
Some Approaches to Best-Match File Searching. A Statistical Study of the Accuracy of Floating Point Number Systems. Asymmetric Memory Hierarchies. Implementation of High Level Language Machine.Richard W. Conway Thomas R. Wilcox
The Effects of Multiplexing on a Computer-Communications System. Telecommunications Using a Front-End Minicomputer. Common Phrases and Minimum-Space Text Storage. A Computer Science Course Program for Small Colleges.Fred N. Fritsch R. E. Shafer W. P. Crowley
An Overview of the ISPL Computer System Design. A Software Design and Evaluation System.Robert M. Graham Gerald J. Clancy Jr. David B. DeVaney
Reducing the Retrieval Time of Scatter Storage Techniques. Automatic Errorbounds for Simple Zeros of Analytic Functions. A Theory of Discrete Patterns and Their Implementation in SNOBOL4. The Use of Grammatical Inference for Designing Programming Languages. Representation of Contours ad Regions for Efficient Computer Search.