Lines Matching full:title

126 %%%                        3-letter condensation of important title
195   title =        "{ACM} Algorithm 49: Spherical {Neumann} Function",
210   title =        "{ACM} Algorithm 149: Complete Elliptic Integral",
225   title =        "{ACM} Algorithm 179: Incomplete Beta Ratio",
240   title =        "{ACM} Algorithm 219: Topological Ordering for {Pert} Networks",
255   title =        "{ACM} Algorithm 236: {Bessel} Functions of the First Kind",
270   title =        "{ACM} Algorithm 246: Graycode",
285   title =        "{ACM} Algorithm 259: {Legendre} Functions for Arguments Larger than One",
300   title =        "{ACM} Algorithm 284: Interchange of Two Blocks of Data",
315   title =        "{ACM} Algorithm 299: Chi-Squared Integral",
330   title =        "Go to statement considered harmful",
344   title =        "Clarification of {Fortran} Standards --- Initial Progress",
360   title =        "On Multiprogramming, Machine Coding, and Computer Organization",
375   title =        "Multi-Attribute Retrieval with Combined Indexes",
390 …title =        "Automatic segmentation of cyclic program structures based on connectivity and proc…
408   title =        "Recursive computation of certain derivatives --- {A} study of error propagation",
430   title =        "A processor allocation method for time-sharing",
448   title =        "Natural Language Question-Answering Systems: 1969",
467   title =        "Experience with an extensible language",
485   title =        "A note on minimal length polygonal approximation to a digitized contour",
506   title =        "{ACM} Algorithm 368: Numerical Inversion of {Laplace} Transforms",
524 …title =        "{ACM} Algorithm 369: Generator of Random Numbers Satisfying the {Poisson} Distribu…
542   title =        "{ACM} Algorithm 370: General Random Number Generator",
560   title =        "{ACM} Algorithm 371: Partitions in Natural Order",
578   title =        "{ACM} Algorithm 372: An Algorithm to Produce Complex Primes {CSIEVE}",
596 …title =        "Remark on {``Algorithm 347 [{M1}]: An Efficient Algorithm for Sorting with Minimal…
611   title =        "Representation for calendar date for machine-to-machine data interchange",
628   title =        "Interchange rolls of perforated tape for information interchange",
645   title =        "{Fortran Tausworthe} pseudorandom number generator",
663   title =        "A Formal System for Information Retrieval from Files",
683   title =        "The multistore parser for hierarchical syntactic structures",
701   title =        "Translation equations",
724   title =        "Spelling correction in systems programs",
743   title =        "An Efficient Context-Free Parsing Algorithm",
764   title =        "The Use of Quadratic Residue Research",
782   title =        "A Variation on Sorting by Address Calculation",
800   title =        "The Quadratic Quotient Method: {A} Hash Code Eliminating Secondary Clustering",
818   title =        "Computer education in a graduate school of management",
836   title =        "An interactive computer system using graphical flowchart input",
854   title =        "{ACM} Algorithm 373: Number of Doubly Restricted Partitions",
872   title =        "{ACM} Algorithm 374: Restricted Partition Generator",
890   title =        "{ACM} Algorithm 375: Fitting Data to One Exponential",
904   title =        "Fitting data to one exponential",
922   title =        "{ACM} Algorithm 376: Least Squares Fit by {$f(x)=A\cos(Bx+C)$}",
940   title =        "Spelling correction in systems programs",
957   title =        "A Program to Teach Programming",
978   title =        "Experiments with the {M \& N} Tree-Searching Program",
999   title =        "Measurements of Segment Size",
1020   title =        "On an Algorithm for Nonlinear Minimax Approximation",
1044   title =        "A Comparison of Error Improvement Estimates for Adaptive Trapezoid Integration",
1068   title =        "A Deductive Question Answerer for Natural Language Inference",
1091   title =        "{PDEL}, a Language for Partial Differential Equations",
1112   title =        "{ACM} Algorithm 377: Symbolic Expansion of Algebraic Expressions",
1132   title =        "Another method of converting from hexadecimal to decimal",
1149   title =        "A number system for the permutations",
1167   title =        "Comment on a Paging Anomaly",
1185   title =        "A Note on the Complement of Inherently Ambiguous Context-Free Languages",
1203   title =        "Corrigenda: {``A Formal System for Information Retrieval from Files''}",
1218 …title =        "Creation and Control of Internal Data Bases Under a {Fortran} Programming Environm…
1239   title =        "Syntax-Directed Documentation for {PL360}",
1260   title =        "Some Complete Calculi for Matrices",
1282   title =        "The Nucleus of a Multiprogramming System",
1304   title =        "Representations for Space Planning",
1325   title =        "The cyclical majority problem",
1346   title =        "Cubic Splines on Uniform Meshes",
1370 …title =        "{ACM} Algorithm 378: Discretized {Newton}-like Method for Solving a System of Simu…
1387   title =        "{ACM} Algorithm 379: {SQUANK (Simpson Quadrature Used Adaptively-Noise Killed)}",
1405   title =        "Comments on a paper by {Wallace} and {Mason}",
1422   title =        "Comment on multiprogramming under a page on demand strategy",
1440   title =        "Comment on {Lawler}'s Multilevel {Boolean} minimization",
1462   title =        "An {Algol} construction for procedures as parameters of procedures",
1480   title =        "Corrigenda: {``On Multiprogramming, Machine Coding, and Computer Organization}''",
1495   title =        "Programming System for the On-Line Analysis of Biomedical Images",
1516   title =        "Operations on Generalized Arrays with the {Genie} Compiler",
1537   title =        "Translation Equations (Errata)",
1553   title =        "Application of Sequential Sampling to Simulation. an Example Inventory Model",
1574   title =        "Algorithm for the Construction of Bounded-Context Parsers",
1595 …title =        "{GEDANKEN} --- {A} Simple Typeless Language Based on the Principle of Completeness…
1617   title =        "A language for treating graphs",
1638   title =        "{ACM} Algorithm 380: In-situ Transposition of a Rectangular Matrix",
1656   title =        "{ACM} Algorithm 381: Random Vectors Uniform In Solid Angle",
1674   title =        "On the Feasibility of Voice Input to an On-Line Computer Processing System",
1695   title =        "On the Conversion of Decision Tables to Computer Programs",
1716   title =        "Scheduling to Reduce Conflict in Meetings",
1737   title =        "A {PL\slash} 1 program to assist the comparative linguist",
1755   title =        "Automatic Parsing for Content Analysis",
1776   title =        "Accurate Floating-Point Summation",
1802 …title =        "Comparison of Several Adaptive Newton-Cotes Quadrature Routines in Evaluating Defi…
1823 …title =        "Incorporating Origin Shifts into the {QR} Algorithm for Symmetric Tridiagonal Matr…
1845   title =        "{ACM} Algorithm 382: Combinations of ${M}$ Out of ${N}$ Objects",
1863   title =        "{ACM} Algorithm 383: Permutations of a Set with Repetitions",
1881 …title =        "{ACM} Algorithm 384: Eigenvalues and Eigenvectors of a Real Symmetric Matrix [{F2}…
1901 …title =        "Certification of Algorithm 245 ({M1}) Treesort 3: Proof of Algorithms --- {A} New …
1915   title =        "{R201}--{SHELLSORT}",
1930   title =        "A Relational Model of Data for Large Shared Data Banks",
1954   title =        "An interactive command generating facility",
1975   title =        "Conversational Access to a 2048-Word Machine",
1996   title =        "The mobile programming system: {STAGE} 2",
2017   title =        "Space\slash Time Trade-offs in Hash Coding with Allowable Errors",
2039   title =        "File Structures Using Hashing Functions",
2061   title =        "Algorithm and Bound for the Greatest Common Divisor of $n$ Integers",
2085   title =        "Context-Sensitive Parsing",
2107   title =        "{ACM} Algorithm 385: Exponential Integral ${E}_i(x)$",
2125   title =        "{ACM} Algorithm 386: Greatest Common Divisor of $n$ Integers and Multipliers",
2143   title =        "Comments on a paper by {Lowe}",
2161   title =        "A note on data base deadlocks",
2179   title =        "Note on an Anomaly in Paging",
2197   title =        "A Comment on Axiomatic Approaches to Programming",
2215   title =        "Allocation of Computer Resources. is Pricing the Answer",
2236   title =        "Normalization Techniques for Handprinted Numerals",
2257   title =        "Full Table Quadratic Searching for Scatter Storage",
2278   title =        "Sorting in a Paging Environment",
2299   title =        "The instrumentation of {Multics}",
2321 …title =        "A technique for generating almost optimal {Floyd-Evans} productions for precedence…
2339   title =        "{ACM} Algorithm 387: Function Minimization and Linear Search",
2357   title =        "{ACM} Algorithm 388: {Rademacher} Function",
2374   title =        "{ACM} Algorithm 389: Binary Ordered {Walsh} Functions",
2391   title =        "{ACM} Algorithm 390: Sequency Ordered {Walsh} Functions",
2408   title =        "{ACM} Algorithm 391: Unitary Symmetric Polynomials",
2426 …title =        "Identification of {States of the United States} (including the {District of Columb…
2443 …title =        "A Procedure for Generation of Three-Dimensional Half-Toned Computer Graphics Prese…
2464 …title =        "Interactive Software System for Computer-Aided Design. an Application to Circuit P…
2485   title =        "{AMESPLOT}, a Higher Level Data Plotting Software System",
2506   title =        "Integrating Square Roots",
2530 …title =        "A Variation of the {Goodman-Lance} Method for the Solution of Two-Point Boundary V…
2555   title =        "Optimal Starting Approximations for Generating Square Root for Slow or No Divide",
2579   title =        "Complex Matrix Inversion Versus Real",
2603   title =        "Increasing the Efficiency of Quicksort",
2624   title =        "{ACM} Algorithm 392: Systems of Hyperbolic {P.D.E.}",
2642   title =        "{ACM} Algorithm 393: Special Series Summation with Arbitrary Precision",
2660   title =        "{ACM} Algorithm 394: Decision Table Translation",
2678   title =        "Comment on {Bell}'s Quadratic Quotient Method for Hash Code Searching",
2695   title =        "On the Number of Automorphisms of a Singly Generated Automaton",
2713   title =        "Transition Network Grammars for Natural Language Analysis",
2732   title =        "A formalism for translator interactions",
2753   title =        "{ACM} Algorithm 395: {Student}'s $t$-Distribution",
2772   title =        "{ACM} Algorithm 396: {Student}'s $t$-Quantiles",
2791   title =        "{ACM} Algorithm 397: An Integer Programming Problem",
2809   title =        "{ACM} Algorithm 398: Tableless Date Conversion",
2827   title =        "{ACM} Algorithm 399: Spanning Tree",
2845   title =        "{ACM} Algorithm 400: Modified {Havie} Integration",
2863 …title =        "Remark on {``Algorithm 347 [M1]: An Efficient Algorithm for Sorting with Minimal S…
2878   title =        "The use of interactive graphics to solve numerical problems",
2896   title =        "An interactive display for approximation by linear programming",
2917   title =        "Multi-attribute retrieval with combined indexes",
2935   title =        "A multiple-precision division algorithm",
2953   title =        "{NEATER2}: {A PL/I} Source Statement Reformatter",
2972   title =        "The Linear Quotient Hash Code",
2991   title =        "A Nonrecursive List Compacting Algorithm",
3010 …title =        "Proposed {American National Standard}. Recorded magnetic tape for information inte…
3027 …title =        "Proposed {American National Standard}. Unrecorded magnetic tape for information in…
3044   title =        "{ACM} Algorithm 401: An Improved Algorithm to Produce Complex Primes",
3062   title =        "{ACM} Algorithm 402: Increasing the Efficiency of Quicksort",
3080   title =        "A generalized method for generating argument\slash function values",
3098 …title =        "Correction to 'logical' arithmetic on computers with two's complement binary arith…
3116   title =        "Comment on the working set model for program behavior",
3134   title =        "Condition numbers of {Pei} matrices",
3152   title =        "{GROOVE-A} program to compose, store, and edit functions of time",
3171   title =        "An Efficient Search Algorithm to Find the Elementary Circuits of a Graph",
3194   title =        "Process management and resource sharing in the multiaccess system {ESOPE}",
3212   title =        "An interrupt based organization for management information systems",
3230   title =        "Improving round-off in {Runge-Kutta} computations with {Gill}'s method",
3249   title =        "The list set generator: a construct for evaluating set expressions",
3268   title =        "Optimum Merging from Mass Storage",
3287 …title =        "Errata: {ACM} Algorithm 384: Eigenvalues and Eigenvectors of a Real Symmetric Matr…
3300   xxnote =       "Check title??",
3305 …title =        "Estimates of Distributions of Random Variables for Certain Computer Communications…
3328   title =        "On decomposing a {Boolean} function and simplifying the components separately",
3347   title =        "Efficient handling of binary data",
3366   title =        "Finiteness Assumptions and Intellectual Isolation of Computer Scientists",
3384   title =        "Object Code Optimization",
3399   title =        "Signature Simulation and Certain Cryptographic Codes",
3418   title =        "Pattern width at a given angle",
3437   title =        "The Reconstruction of Binary Patterns from Their Projections",
3462   title =        "Language for Treating Geometric Patterns in a Two-Dimensional Space",
3484   title =        "Construction of rational and negative powers of a formal series",
3503   title =        "Comments on Prevention of System Deadlocks",
3525   title =        "Proof of a Program: {FIND}",
3547 …title =        "Further evidence for the analysis of algorithms for the zero-one programming probl…
3570   title =        "{ACM} Algorithm 403: Circular Integer Partitioning",
3590   title =        "{ACM} Algorithm 404: Complex Gamma Function",
3609   title =        "Comment on {London}'s Certification of Algorithm 245",
3625   title =        "Comment on the conversion of decision tables to computer programs",
3644 …title =        "Conversion of Limited-Entry Decision Tables to Computer Programs. a Proposed Modif…
3663 …title =        "Conversion of limited-entry decision tables to computer programs-a proposed modifi…
3682   title =        "A policy-driven scheduler for a time-sharing system",
3704   title =        "An analysis of some time-sharing techniques",
3726   title =        "Experiments in Automatic Learning for a Multipurpose Heuristic Program",
3746   title =        "On the Probability Distribution of the Values of Binary Trees",
3768   title =        "Application of Game Tree Searching Techniques to Sequential Pattern Recognition",
3790   title =        "Complex Interval Arithmetic",
3812   title =        "{ACM} Algorithm 405: Roots of Matrix Pencils: The Generalized Eigenvalue Problem",
3831   title =        "Scanned-Display Computer Graphics",
3853   title =        "Toward Automatic Program Synthesis",
3875   title =        "Scheduling Algorithm for a Computer Assisted Registration System",
3897 …title =        "Storage Utilization in a Memory Hierarchy When Storage Assignment is Performed by …
3919   title =        "The Automatic Integration of Ordinary Differential Equations",
3943   title =        "{ACM} Algorithm 406: Exact Solution of Linear Equations Using Residue Arithmetic",
3962   title =        "{ACM} Algorithm 407: {DIFSUB} for Solution of Ordinary Differential Equations",
3981   title =        "Program Development by Stepwise Refinement",
4001 …title =        "Key-to-Address Transform Techniques: {A} Fundamental Performance Study on Large Ex…
4026   title =        "Dynamic Microprogramming. Processor Organization and Programming",
4048   title =        "Animator: an on-line two-dimensional film animation system",
4067   title =        "On Complement Division",
4089   title =        "{ACM} Algorithm 408: {A} Sparse Matrix Package (Part {I})",
4109   title =        "Introduction to {`Feature analysis of generalized data base management systems'}",
4128   title =        "The merit of regional computing networks",
4149   title =        "A Man-Machine Approach Toward Solving the Traveling Salesman Problem",
4171   title =        "On the optimal detection of curves in noisy pictures",
4191   title =        "How to Keep the Addresses Short",
4213   title =        "On Implementation of Label Variables",
4235   title =        "Another Recursion Induction Principle",
4260   title =        "{ACM} Algorithm 409: Discrete {Chebychev} Curve Fit",
4279   title =        "{ACM} Algorithm 410: Partial Sorting [{M1}]",
4300   title =        "Generation of rosary permutations expressed in {Hamiltonian} circuits",
4322   title =        "An approach to the optimum design of computer graphics systems",
4341   title =        "Computer Science: {A} Conceptual Framework for Curriculum Planning",
4361   title =        "Numerical properties of the {Ritz-Trefftz} algorithm for optimal control",
4384   title =        "A Note on Compiling Fixed Point Binary Multiplications",
4404   title =        "On the Meaning of Names in Programming Systems",
4424   title =        "Binary summation",
4443   title =        "Interrupt driven programming",
4462   title =        "The State of Computer-Oriented Curricula in Business Schools 1970",
4482   title =        "A programmer training project",
4501   title =        "Simple {LR(k)} grammars",
4525   title =        "A Language Extension for Graph Processing, and Its Formal Semantics",
4548   title =        "An algorithm for the blocks and cut nodes of a graph",
4572   title =        "Buffer Allocation in Merge-Sorting",
4592   title =        "Subexpression ordering in the execution of arithmetic expressions",
4615   title =        "The Stable Marriage Problem",
4638   title =        "{ACM} Algorithm 411: Three Procedures for the Stable Marriage Problem",
4657   title =        "{ACM} Algorithm 412: Graph Plotter",
4677   title =        "Papers from the 2nd symposium on symbolic and algebraic manipulation",
4698   title =        "Applications of Symbolic Manipulation in Theoretical Physics",
4723   title =        "The {Altran} system for rational function manipulation --- a survey",
4745   title =        "List Tracing in Systems Allowing Multiple Cell Types",
4768   title =        "Algebraic Simplification: {A} Guide for the Perplexed",
4793   title =        "Automatic algebraic manipulation in celestial mechanics",
4815   title =        "General relativity and the application of algebraic manipulative systems",
4841   title =        "Symbolic Integration: The Stormy Decade",
4867   title =        "Education Related to the Use of Computers in Organizations",
4887 …title =        "An Efficient Bit Table Technique for Dynamic Storage Allocation of $2^n$-word Bloc…
4907   title =        "Corrigendum: ``{An algorithm for the blocks and cutnodes of a graph}''",
4923   title =        "Canonical Structure in Attribute Based File Organization",
4945   title =        "A note on best one-sided approximations",
4967 …title =        "A stopping criterion for the {Newton-Raphson} method in implicit multistep integra…
4988   title =        "Average Binary Search Length for Dense Ordered Lists",
5008   title =        "Comment on Cheney's List-Compaction Algorithm",
5023   title =        "Toward an Understanding of Data Structures",
5043   title =        "Clarification of {Fortran} Standards --- Second Report",
5062   title =        "Experiments with an automated instructional system for numerical methods",
5081   title =        "Display procedures",
5100   title =        "User program measurement in a time-shared environment",
5127   title =        "Concurrent Control with `Readers' and `Writers'",
5148 …title =        "{ACM} Algorithm 413: {ENTCAF} and {ENTCRE}: Evaluation of Normalized {Taylor} Coef…
5167   title =        "The composition of semantics in {Algol 68}",
5186   title =        "Using computers in higher education: past recommendations, status, and needs",
5205   title =        "Optimizing the Polyphase Sort",
5226   title =        "Automation of etching-pattern layout",
5245   title =        "On Accurate Floating-Point Summation",
5269 …title =        "{ACM} Algorithm 414: {Chebyshev} Approximation of Continuous Functions by a {Cheby…
5289   title =        "Reconstruction of Pictures from Their Projections",
5310   title =        "Algorithmic Selection of the Best Method for Compressing Map Data Strings",
5330   title =        "Retrieval-Update Speed Trade-offs Using Combined Indexes",
5351   title =        "Implementation of the Substring Test by Hashing",
5371   title =        "{BLISS}: {A} language for systems programming",
5396   title =        "New {LISP} Techniques for a Paging Environment",
5416   title =        "A note on `a modification of {Nordsieck}'s method using an ``off-step'' point'",
5435 …title =        "Rapid Computation of General Interpolation Formulas and Mechanical Quadrature Rule…
5457 …title =        "An extension of the {Munkres} algorithm for the assignment problem to rectangular …
5479   title =        "{ACM} Algorithm 415: Algorithm for the Assignment Problem (Rectangular Matrices)",
5498 …title =        "{ACM} Algorithm 416: Rapid Computation of Coefficients of Interpolation Formulas […
5520 …title =        "{ACM} Algorithm 417: Rapid Computation of Weights of Interpolatory Quadrature Rule…
5541   title =        "Principles of optimal page replacement",
5555   title =        "Remark on {``CACM Algorithm 397''}",
5571   title =        "Algorithm 432: The Solution of the Matrix Equation {$AX -+BX = C$}",
5590   title =        "Pictorial pattern recognition and the phase problem of {X}-ray crystallography",
5609   title =        "On Shrinking Binary Picture Patterns",
5629   title =        "Use of the Hough transformation to detect lines and curves in pictures",
5650   title =        "A {CRT} editing system",
5669   title =        "Teacher\slash student authored {CAI} using the {NEWBASIC} system",
5688   title =        "Corrigendum: {``Optimizing the Polyphase Sort''}",
5703   title =        "{MUSE}: {A Model to Understand Simple English}",
5722   title =        "Quadratic programming for nonlinear regression",
5741 …title =        "Ordering +or-f(+or-f(+or-f(\ldots{}+or-f(x)\ldots{}))) when f(x) is positive monot…
5758   title =        "{ACM} Algorithm 418: Calculation of {Fourier} Integrals",
5777   title =        "A Proposal for a Computer-Based Interactive Scientific Community",
5798   title =        "Preliminary report on a system for general space planning",
5817   title =        "Optimizing Binary Trees Grown with a Storing Algorithm",
5837   title =        "Maximum computing power and cost factors in the centralization problem",
5856   title =        "{ACM} Algorithm 419: Zeros of a Complex Polynomial",
5875   title =        "{ACM} Algorithm 420: Hidden-Line Plotting Program",
5896   title =        "Music and computer composition",
5915   title =        "Corrigendum: {``Average Binary Search Length for Dense Ordered Lists''}",
5930   title =        "Corrigendum: {``Reconstruction of Pictures from Their Projections''}",
5945   title =        "Papers from the 3rd {ACM} symposium on operating systems principles",
5966   title =        "{TENEX}, {A} Paged Time-Sharing System for the {PDP-10}",
5990   title =        "The Design of the {Venus} Operating System",
6013   title =        "An operating system based on the concept of a supervisory computer",
6035   title =        "A Hardware Architecture for Implementing Protection Rings",
6058   title =        "Synchronization of Communicating Processes",
6080   title =        "A Comparative Analysis of Disk Scheduling Policies",
6104   title =        "A study of storage partitioning using a mathematical model of locality",
6127   title =        "Properties of the working-set model",
6155   title =        "On the Implementation of Security Measures in Information Systems",
6175   title =        "A system for interprocess communication in a resource sharing computer network",
6203   title =        "An experimental laboratory for pattern recognition and signal processing",
6222   title =        "Hidden lines elimination for a rotating object",
6245   title =        "An implemented graph algorithm for winning {Shannon Switching Games}",
6264   title =        "Computers and Society: {A} Proposed Course for Computer Scientists",
6284   title =        "Complex gamma function with error control",
6303   title =        "Matrix Computations with {Fortran} and Paging",
6323   title =        "{ACM} Algorithm 421: Complex Gamma Function with Error Control",
6344   title =        "{ACM} Algorithm 422: Minimal Spanning Tree",
6363   title =        "{ACM} Algorithm 423: Linear Equation Solver",
6381   title =        "A Note on {Cheney}'s Nonrecursive List-Compacting Algorithm",
6401   title =        "A Comment on the Double-Chained Tree",
6420   title =        "An Improved Indexed-Sequential Access Method Using Hashed Overflow",
6440   title =        "The {Multics} Virtual Memory: Concepts and Design",
6460   title =        "{MUX}, a simple approach to on-line computing",
6479   title =        "A technique for software module specification with examples",
6499   title =        "Implementing {Clenshaw-Curtis} quadrature. {I}. Methodology and experience",
6523 …title =        "Implementing {Clenshaw-Curtis} quadrature. {II}. Computing the cosine transformati…
6546   title =        "Fast finite-difference solution of biharmonic problems",
6569   title =        "Minimax nonlinear approximation by approximation on subsets",
6588   title =        "The Optimality of {Winograd}'s Formula",
6608   title =        "{ACM} Algorithm 424: {Clenshaw-Curtis} Quadrature",
6628   title =        "{ACM} Algorithm 425: Generation of Random Correlated Normal Variables",
6647   title =        "{ACM} Algorithm 426: Merge Sort Algorithm",
6666   title =        "{ACM} Algorithm 427: {Fourier Cosine} Integral",
6685   title =        "{ACM} Algorithm 428: {Hu-Tucker} Minimum Redundancy Alphabetic Coding Method",
6704 …title =        "A report of the {ACM} curriculum committee on computer education for management. C…
6723   title =        "On the optimization of performance of time-sharing systems by simulation",
6742   title =        "A proposal to establish a pseudo virtual memory via writable overlays",
6760   title =        "Interference between Communicating Parallel Processes",
6780   title =        "Blocks-a new datatype for {SNOBOL} 4",
6799   title =        "A {Boolean} matrix method for the computation of linear precedence functions",
6821   title =        "Computer Assigned Codes from Verbal Responses",
6841 …title =        "A starting method for solving nonlinear {Volterra} integral equations of the secon…
6860   title =        "A Sorting Problem and Its Complexity",
6880   title =        "Certification of algorithm 363 (complex error function)",
6899   title =        "Remark on algorithm 343 (Eigenvalues and eigenvectors of a real general matrix)",
6918   title =        "Remark on ``{ACM Algorithm 370 (General random number generator) [G5]''}",
6943   title =        "Remark on algorithm 381 (Random vectors uniform in solid angle)",
6962   title =        "Remark on algorithm 393 (Special series summation with arbitrary precision)",
6981   title =        "Remark on algorithm 418 (Calculation of {Fourier} integrals)",
7000   title =        "Remark on algorithm 397 (An integer programming problem)",
7019   title =        "Computer Science --- {A} Vicious Circle",
7038   title =        "Individualizing instruction in a generative {CAI} tutor",
7057 …title =        "{ACM} Algorithm 438: Product Type Two-point {Gauss-Legendre-Simpson}'s Integration…
7071   title =        "The first twenty-five years {ACM} 1947--1962",
7089   title =        "Publications in computing: an informal review",
7110   title =        "Aesthetics and the Human Factor in Programming",
7130   title =        "As the industry sees it",
7148   title =        "Toward an Automata Theory of Brains",
7171   title =        "Fixpoint Approach to the Theory of Computation",
7196   title =        "Numerical Mathematics and Computer Science",
7219   title =        "Management science: a view from nonlinear programming",
7241   title =        "Toward a General Theory of Special Functions",
7263   title =        "A view of computer architecture",
7282   title =        "On the interface between computers and data communications systems",
7303   title =        "Structured Multiprogramming",
7325   title =        "Operating system performance",
7344   title =        "The role of computer system models in performance evaluation",
7363   title =        "Programming Systems and Languages (1965--1975)",
7383   title =        "Programming Languages: History and Future",
7403   title =        "The production of better mathematical software",
7422   title =        "Requirements for Advanced Programming Systems for List Processing",
7441   title =        "The Evolution of Storage Structures",
7462   title =        "On the present and future of scientific computation",
7481   title =        "A generational perspective of information system development",
7501   title =        "Language analysis in the humanities",
7520   title =        "Computers in the instructional process: directions for research and development",
7539   title =        "Computers and urban society",
7558   title =        "Dynamic document processing",
7577   title =        "Ancient {Babylonian} algorithms",
7598 …title =        "The ``Plankalk{\"u}l'' of {Konrad Zuse}: a forerunner of today's programming langu…
7620   title =        "A {Western} View of Computer History",
7642   title =        "Archaeology of computers --- reminiscences, 1945--1947",
7664   title =        "Computers and employment",
7683   title =        "In memory of {George E. Forsythe}",
7701   title =        "{George Forsythe} and the development of Computer Science",
7719 …title =        "Generating parsers for affix grammars. Collection of articles in honor of {George …
7745   title =        "Political Redistricting by Computer",
7768   title =        "Extensible Editor for a Small Machine with Disk Storage",
7791   title =        "Environment for Research in Microprogramming and Emulation",
7814   title =        "A Model of Memory Contention in a Paging Machine",
7840   title =        "Compiling fixed-point multiplications",
7859   title =        "Comment on the composition of semantics in {Algol 68}",
7878   title =        "A Bonus from {van Wijngaarden}'s Device",
7898   title =        "Comment on average binary search length",
7916   title =        "A note on the generation of rosary permutations. With a response by {K. Harada}",
7939   title =        "{ACM} Algorithm 429: Localization of the Roots of a Polynomial",
7953   title =        "{ACM} Algorithm 430: Immediate Predominators in a Directed Graph",
7967   title =        "Cellular Arrays for the Solution of Graph Problems",
7990   title =        "File Organization --- The Consecutive Retrieval Property",
8013   title =        "A New Approach to Automatic Scanning of Contour Maps",
8036   title =        "Automatic Error Analysis for Determining Precision",
8061 …title =        "{ACM} Algorithm 431: {A} Computer Routine for Quadratic and Linear Programming Pro…
8075 …title =        "{ACM} Algorithm 432: Solution of the Matrix Equation ${\bf{A}}x+x{\bf{B}}={\bf{C}}…
8091   title =        "Thinning Algorithms on Rectangular, Hexagonal, and Triangular Arrays",
8114   title =        "A Comparison of Floating Point Summation Methods",
8135   title =        "The eigenproblem of block tridiagonal matrices",
8156   title =        "Comment on Deadlock Prevention Method",
8175   title =        "A controller for a {Braille} terminal",
8194   title =        "On {Foster}'s Information Storage and Retrieval Using {AVL} Trees",
8215   title =        "The Humble Programmer",
8231   title =        "Demand Paging Through Utilization of Working Sets on the {Maniac II}",
8254   title =        "Computer Methods for Sampling from the Exponential and Normal Distributions",
8285   title =        "Integral Equations of Immunology",
8311   title =        "Generating {English} Discourse from Semantic Networks",
8334   title =        "Conversion of Decision Tables by Rule Mask Method without Rule Mask",
8357   title =        "Sorting by Natural Selection",
8380   title =        "Corrigendum: {``Aesthetics and the Human Factor in Programming''}",
8395 …title =        "{ACM} Algorithm 433: Interpolation and Smooth Curve Fitting Based on Local Procedu…
8410   title =        "Comparative Study of Computer Programs for Integrating Differential Equations",
8433   title =        "Algorithms to Reveal Properties of Floating-Point Arithmetic",
8457 …title =        "A Highly Parallel Algorithm for Approximating All Zeros of a Polynomial with Only …
8482   title =        "Model for Type Checking --- with an Application to {Algol 60}",
8505   title =        "Derived Semantics for Some Programming Language Constructs",
8528 …title =        "Conversion of Limited-Entry Decision Tables to Optimal and Near-Optimal Flowcharts…
8551   title =        "Garbage Collection for Virtual Memory Computer Systems",
8574   title =        "Approximate Method for Generating Symmetric Random Variables",
8597   title =        "{ACM} Algorithm 434: Exact Probabilities for ${R\times{C}}$ Contingency Tables",
8612   title =        "{ACM} Algorithm 435: Modified Incomplete Gamma Function",
8627 …title =        "Additional results on key-to-address transform techniques: a fundamental performan…
8646   title =        "A note on optimal doubly-chained trees",
8665   title =        "Further comments on {Dijkstra}'s concurrent programming control problem",
8685   title =        "Comments on {Moorer's Music} and computer composition",
8704   title =        "Dynamic Partitioning for Array Languages",
8727   title =        "Index Ranges for Matrix Calculi",
8750   title =        "Method for Incrementally Compiling Languages with Nested Statement Structure",
8773   title =        "Weighted Increment Linear Search for Scatter Tables",
8796   title =        "A comparison of multivariate normal generators",
8815   title =        "New Method for the Solution of the {Cauchy} Problem for Parabolic Equations",
8838   title =        "On the Criteria to Be Used in Decomposing Systems into Modules",
8861   title =        "Levels of Language for Portable Software",
8884 …title =        "Trace-Driven Modeling and Analysis of {CPU} Scheduling in a Multiprogramming Syste…
8907   title =        "{ACM} Algorithm 436: Product Type Trapezoidal Integration",
8921   title =        "{ACM} Algorithm 437: Product Type {Simpson}'s Integration",
8935 …title =        "{ACM} Algorithm 439: Product Type Three-point {Gauss-Legendre-Simpson}'s Integrati…
8949   title =        "Corrigendum: ``{Properties of the working-set model}''",
8964   title =        "A Queuing Model of a Multiprogrammed Computer with a Two-Level Storage System",
8990   title =        "The Reallocation of Hash-Coded Tables",
9015   title =        "Protection in Programming Languages",
9038   title =        "On the Time Required for a Sequence of Matrix Products",
9064   title =        "Adaptive Correction of Program Statements",
9087   title =        "Variable-Precision Exponentiation",
9113   title =        "Reduction of a Band-Symmetric Generalized Eigenvalue Problem",
9141   title =        "The practical aspect of computer science education --- discussion",
9160   title =        "A note on when to chain overflow items within a direct-access table",
9179   title =        "Mutual recursion in {Algol 60} using restricted compilers",
9198 …title =        "{ACM} Algorithm 440: {A} Multidimensional {Monte} {Carlo} Quadrature with Adaptive…
9217   title =        "{ACM} Algorithm 441: Random samples from the dipole distribution [{G5}]",
9242   title =        "{ACM} Algorithm 442: Normal deviate [{S14}]",
9267   title =        "Representation of Contours and Regions for Efficient Computer Search",
9293   title =        "The Use of Grammatical Inference for Designing Programming Languages",
9319   title =        "A Theory of Discrete Patterns and Their Implementation in {SNOBOL4}",
9345   title =        "Automatic Errorbounds for Simple Zeros of Analytic Functions",
9371   title =        "Reducing the Retrieval Time of Scatter Storage Techniques",
9394   title =        "A software design and evaluation system",
9417   title =        "An overview of the {ISPL} computer system design",
9439   title =        "{ACM} Algorithm 443: Solution of the Transcendental Equation $w e^w = x$",
9459   title =        "A Computer Science Course Program for Small Colleges",
9483   title =        "Common Phrases and Minimum-Space Text Storage",
9506   title =        "Telecommunications Using a Front-End Minicomputer",
9529   title =        "The Effects of Multiplexing on a Computer-Communications System",
9552   title =        "Design and Implementation of Diagnostic Compiler for {PL/I}",
9576 …title =        "{Gray} code and the +or-sign sequence when +or-f(+or-f(+or-f( . . +or-f(x) . . .))…
9586   note =         "Check title??",
9595   title =        "On {Harrison}'s Substring Testing Technique",
9614   title =        "Graduate Education: The {Ph.D.} Glut",
9634 …title =        "{ACM} Algorithm 444: An Algorithm for Extracting Phrases in a Space-Optimal Fashio…
9653   title =        "{ACM} Algorithm 445: Binary Pattern Reconstruction from Projections",
9672   title =        "Binary pattern reconstruction from projections",
9691   title =        "Implementation of a High Level Language Machine",
9714   title =        "Asymmetric Memory Hierarchies",
9740   title =        "A Statistical Study of the Accuracy of Floating Point Number Systems",
9766   title =        "Some Approaches to Best-Match File Searching",
9789   title =        "A region coloring technique for scene analysis",
9812   title =        "The design, implementation, and evaluation of a working set dispatcher",
9836   title =        "{ACM} Algorithm 446: Ten Subroutines for the Manipulation of {Chebyshev} Series",
9854   title =        "Greatest common divisor of $n$ integers and multipliers",
9873   title =        "On the Problem of Communicating Complex Information",
9896   title =        "Programming by Questionnaire: an Effective Way to Use Decision Tables",
9919 …title =        "Some Comments on the Use of Ambiguous Decision Tables and Their Conversion to Comp…
9942   title =        "Hierarchical Storage in Information Retrieval",
9966   title =        "Minimal Event-Node Network of Project Precedence Relations",
9989   title =        "An array grammar programming system",
10012   title =        "A Nonrecursive List Moving Algorithm",
10035   title =        "Coulomb wave functions",
10054   title =        "Maxflow",
10073   title =        "Minit algorithm for linear programming",
10092   title =        "Minit algorithm for linear programming",
10111   title =        "Exact solution of linear equations using residue arithmetic",
10130   title =        "A sparse matrix package",
10149   title =        "Increasing the efficiency of quicksort",
10168 …title =        "Reflection-free permutations, rosary permutations and adjacent transposition algor…
10187   title =        "Concerning music and computer composition in computational linguistics",
10206   title =        "Another comment on computer music",
10225   title =        "A comment on the practical aspects of computer science education",
10243   title =        "{WYLBUR}, An Interactive Text Editing and Remote Job Entry System",
10266   title =        "A Practical Approach to Managing Resources and Avoiding Deadlocks",
10290   title =        "Efficient multiprogramming resource allocation and accounting",
10309   title =        "Minimizing wasted space in partitioned segmentation",
10328   title =        "Synchronizing processors with memory-content-generated interrupts",
10347 …title =        "On the Near-Optimality of the Shortest-Latency-Time-First Drum Scheduling Discipli…
10368 …title =        "Adapting optimal code generation for arithmetic expressions to the instruction set…
10387   title =        "A computer generated aid for cluster analysis",
10406   title =        "Optimum Data Base Reorganization Points",
10427   title =        "The development of decision tables via parsing of complex decision situations",
10446   title =        "Threaded Code",
10466   title =        "{ACM} Algorithm 447: Efficient Algorithms for Graph Manipulation",
10486   title =        "{ACM} Algorithm 448: Number of Multiply-Restricted Partitions",
10505   title =        "Least squares piecewise cubic curve fitting",
10528   title =        "Cubic spline solutions to fourth-order boundary value problems",
10550   title =        "Computer Photocomposition of Technical Text",
10571   title =        "Managing the Computer Resource: Stage Hypothesis",
10595   title =        "A Note on Information Organization and Storage",
10620   title =        "{COKO III}: the {Cooper-Koz} Chess Program",
10643   title =        "Mixed Solutions for the Deadlock Problem",
10666   title =        "Distribution of a Program in Primary and Fast Buffer Storage",
10688   title =        "Teaching ``About Programming''",
10710 …title =        "Curriculum Recommendations for Graduate Professional Programs in Information Syste…
10733   title =        "Computer Science --- Seminars for Undergraduates",
10753   title =        "Multiple Exits from a Loop Without the {GOTO}",
10772   title =        "Equivalence Between {AND\slash OR} Graphs and Context-Free Grammars",
10791   title =        "{ACM} Algorithm 449: Solution of Linear Programming Problems in 0-1 Variables",
10810   title =        "Remark on {``Algorithm 422: Minimal Spanning Tree''}",
10830   title =        "Hidden-line plotting program",
10849   title =        "{DIFSUB} for solution of ordinary differential equations",
10868   title =        "A learning program which plays partnership dominoes",
10891   title =        "{Fen} --- an Axiomatic Basis for Program Semantics",
10918   title =        "Petri Nets and Speed Independent Design",
10941   title =        "{ACM} Algorithm 450: {Rosenbrock} Function Minimization",
10961   title =        "{ACM} Algorithm 451: Chi-Square Quantiles",
10980   title =        "{ACM} Algorithm 452: Enumerating Combinations of $m$ Out of $n$ Objects",
10999   title =        "{ACM} Algorithm 453: {Gaussian} Quadrature Formulas for {Bromwich}'s Integral",
11018   title =        "{ACM} Algorithm 454: The Complex Method for Constrained Optimization",
11037   title =        "Complex gamma function",
11056   title =        "Remark on {``Algorithm 357 [A1]: An Efficient Prime Number Generator''}",
11075   title =        "Graph plotter",
11094   title =        "{Hu-Tucker} minimum redundancy alphabetic coding method",
11113   title =        "{Clenshaw-Curtis} quadrature",
11132   title =        "Localization of the roots of a polynomial",
11151   title =        "Inductive Methods for Proving Properties of Programs",
11177   title =        "On the Capabilities of While, Repeat, and Exit Statements",
11203   title =        "A Generalization of {AVL} Trees",
11226   title =        "Computational Algorithms for Closed Queueing Networks with Exponential Servers",
11258 …title =        "Information Theory Applied to the Conversion of Decision Tables to Computer Progra…
11281   title =        "Evaluation and Selection of File Organization --- {A} Model and a System",
11305   title =        "Design of Tree Structures for Efficient Querying",
11328   title =        "Empirical Working Set Behavior",
11351   title =        "A simple technique for structured variable lookup",
11374   title =        "Reversible Execution",
11394   title =        "{Sard} kernels for certain bivariate cubatures",
11420   title =        "{ACM} Algorithm 455: Analysis of Skew Representations of the Symmetric Group",
11439   title =        "{ACM} Algorithm 456: Routing Problem",
11458   title =        "{ACM} Algorithm 457: Finding All Cliques of an Undirected Graph",
11479 …title =        "Remark on {``Algorithm 323 [G6]: Generation of Permutations in Lexicographic Order…
11498 …title =        "Remark on {``Algorithm 323 [G6]: Generation of Permutations in Lexicographic Order…
11512   title =        "A sparse matrix package. {I}",
11531   title =        "Hidden-line plotting program",
11550   title =        "Localization of the roots of a polynomial",
11569   title =        "Multiple Terminals Under User Program Control in a Time-Sharing Environment",
11592   title =        "A Model and Stack Implementation of Multiple Environments",
11615 …title =        "General Performance Analysis of Key-to-Address Transformation Methods Using an Abs…
11639   title =        "A Note on the Confinement Problem",
11663   title =        "A Class of Dynamic Memory Allocation Algorithms",
11686   title =        "Using Page Residency to Select the Working Set Parameter",
11709   title =        "Control Structures in {Illiac IV Fortran}",
11732 …title =        "{ACM} Algorithm 458: Discrete Linear ${L}_1$ Approximation by Interval Linear Prog…
11751   title =        "{ACM} Algorithm 459: The Elementary Circuits of a Graph",
11770 …title =        "{ACM} Algorithm 460: Calculation of Optimum Parameters for Alternating Direction I…
11789 …title =        "{ACM} Algorithm 461: Cubic Spline Solutions to a Class of Functional Differential …
11808   title =        "{ACM} Algorithm 462: Bivariate Normal Distribution",
11827 …title =        "{ACM} Algorithm 463: Algorithms {SCALE}1, {SCALE}2, and {SCALE}3 for Determination…
11846   title =        "The Programmer as Navigator",
11868   title =        "Dynamic Verification of Operating System Decisions",
11891   title =        "Parser-Generating System for Constructing Compressed Compilers",
11914   title =        "Scan Conversion Algorithm with Reduced Storage Requirements",
11937 …title =        "Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rul…
11960   title =        "{ACM} Algorithm 464: Eigenvalues of a Real Symmetric Tridiagonal Matrix",
11979   title =        "{ACM} Algorithm 465: {Student}'s $t$ Frequency",
11998   title =        "{ACM} Algorithm 466: Four Combinatorial Algorithms",
12017   title =        "{ACM} Algorithm 467: Matrix Transposition in Place",
12037 …title =        "{ACM} Algorithm 468: Algorithm for Automatic Numerical Integration Over a Finite I…
12055   title =        "{ACM} Algorithm 469: Arithmetic Over a Finite Field",
12074   title =        "A Note on Subexpression Ordering in the Execution of Arithmetic Expressions",
12101   title =        "Comment on {Brent}'s scatter storage algorithm (and author's reply)",
12120   title =        "Tree-structured programs",
12139   title =        "A recurrence scheme for converting from one orthogonal expansion into another",
12159   title =        "An algorithm for the approximate solution of {Wiener-Hopf} integral equations",
12178   title =        "Solving the Biharmonic Equation in a Square: a Direct Versus a Semidirect Method",
12201   title =        "Curriculum Recommendations for Undergraduate Programs in Information Systems",
12220   title =        "A Data Definition and Mapping Language",
12241   title =        "{ACM} Algorithm 470: Linear Systems with Almost Tridiagonal Matrix",
12260   title =        "{ACM} Algorithm 471: Exponential Integrals",
12279   title =        "{ACM} Algorithm 472: Procedures for Natural Spline Interpolation",
12298 …title =        "Syntax-directed least-errors analysis for context-free languages: a practical appr…
12317   title =        "A Fast Method For Solving a Class of Tridiagonal Systems of Linear Equations",
12343 …title =        "A method of bivariate interpolation and smooth surface fitting based on local proc…
12363   title =        "Tridiagonalization by Permutations",
12388   title =        "{ACM} Algorithm 473: Computation of {Legendre} Series Coefficients",
12407 …title =        "{ACM} Algorithm 474: Bivariate Interpolation and Smooth Surface Fitting Based on L…
12427   title =        "Reentrant Polygon Clipping",
12446 …title =        "Comments on the algorithms of {Verhelst} for the conversion of limited-entry decis…
12465   title =        "A Numbering System for Combinations",
12484   title =        "A {CRT} report generating system",
12503   title =        "Attribute Based File Organization in a Paged Memory Environment",
12526   title =        "A cell organized raster display for line drawings",
12549   title =        "An Approximate Method for Generating Asymmetric Random Variables",
12579   title =        "The Parallel Execution of {DO} Loops",
12602   title =        "{Production Systems}: or can we do better than {BNF}?",
12625   title =        "The Synthesis of Loop Predicates",
12651   title =        "On the Construction of a Representative Synthetic Workload",
12674   title =        "Dynamic Memory Repacking",
12697   title =        "Optimal Space Allocation on Disk Storage Devices",
12721   title =        "Some Performance Tests of ``Quicksort'' and Descendants",
12744   title =        "Visible surface plotting program",
12770   title =        "Incomplete beta ratio",
12789   title =        "Scan Conversion Algorithms for a Cell Organized Raster Display",
12812   title =        "Quadratic Search for Hash Tables of Size $p^n$",
12832   title =        "A note on a combinatorial problem of {Burnett} and {Coffman}",
12853 …title =        "Efficient Implementation of a Variable Projection Algorithm for Nonlinear Least Sq…
12879   title =        "A Simple Linear Model of Demand Paging Performance",
12902   title =        "Computation of Page Fault Probability from Program Transition Diagram",
12925   title =        "Execution Characteristics of Programs in a Page-On-Demand System",
12948 …title =        "On {Lions}' Counter Example for {Gotlieb}'s Method for the Construction of School …
12971   title =        "Copying List Structures Using Bounded Workspace",
12994   title =        "Parallelism in Tape-Sorting",
13018   title =        "A study of computer use in a graduate school of business",
13037   title =        "Graduate Education: The {Ph.D.} Glut: Response and Rebuttal",
13057   title =        "Ideal teaching machines --- a solution to the pedagogic language problem",
13076   title =        "Some remarks on lookup of structured variables",
13095 …title =        "An alternative approach to mutual recursion {in Algol} 60 using restricted compile…
13114   title =        "An Improved Program-Synthesizing Algorithm and its Correctness",
13141   title =        "Scalar- and planar-valued curve fitting using splines under tension. {I}",
13173 …title =        "{ACM} Algorithm 476: Six Subprograms for Curve Fitting Using Splines Under Tension…
13192   title =        "{ACM} Algorithm 477: Generator of Set-Partitions to Exactly ${R}$ Subsets",
13211   title =        "Solution of the transcendental equation we\slash sup w\slash =x",
13230   title =        "Reduction of Compilation Costs Through Language Contraction",
13253   title =        "The treatment of data types in {EL1}",
13276   title =        "Order-$n$ Correction for Regular Languages",
13299   title =        "On the Distributions of Significant Digits and Roundoff Errors",
13325   title =        "Design for a Number Theory Package with an Optimized Trial Division Routine",
13348   title =        "More on Algorithms that Reveal Properties of Floating Point Arithmetic Units",
13368   title =        "A Model for Masking Rotational Latency by Dynamic Disk Allocation",
13392   title =        "Two Languages for Estimating Program Efficiency",
13420   title =        "A Theorem-Proving Language for Experimentation",
13447   title =        "The minimization of spatially-multiplexed character sets",
13470 …title =        "{ACM} Algorithm 478: Solution of an Overdetermined System of Equations in the ${L_…
13489   title =        "{ACM} Algorithm 479: {A} Minimal Spanning Tree Clustering Method",
13509   title =        "Hidden-line plotting program",
13528   title =        "Calculation of {Fourier} integrals",
13547   title =        "Modified {Havie} integration",
13566   title =        "Hidden-line plotting program",
13585   title =        "Generation of random correlated normal variables",
13604   title =        "Exact probabilities for {R}*{C} contingency tables",
13623   title =        "An evaluation of software in the social sciences",
13642   title =        "Compact Representation of Contour Plots for Phone Line Transmission",
13665   title =        "{HYDRA}: The Kernel of a Multiprocessor Operating System",
13689   title =        "An Information-Theoretic Approach to Text Searching in Direct Access Systems",
13713   title =        "On Computing Sets of Shortest Paths in a Graph",
13739   title =        "The {UNIX} Time-Sharing System",
13763   title =        "Minimal-Total-Processing Time Drum and Disk Scheduling Disciplines",
13787   title =        "Scheduling Independent Tasks To Reduce Mean Finishing Time",
13814   title =        "Protection and the Control of Information Sharing in {Multics}",
13837   title =        "Capability-Based Addressing",
13862   title =        "Formal Requirements for Virtualizable Third Generation Architectures",
13888   title =        "A New Technique for Compression and Storage of Data",
13912   title =        "A User Authentication Scheme Not Requiring Secrecy in the Computer",
13936   title =        "A High Security Log-in Procedure",
13960   title =        "Execution Time Requirements for Encipherment Programs",
13983 …title =        "Graph Coloring Conditions for the Existence of Solutions to the Timetable Problem",
14009   title =        "A New Solution of {Dijkstra}'s Concurrent Programming Problem",
14035   title =        "On the Conversion of Programs to Decision Tables: Method and Objectives",
14058 …title =        "{ACM} Algorithm 480: Procedures for Computing Smoothing and Interpolating Natural …
14077   title =        "{ACM} Algorithm 481: Arrow to Precedence Network Transformation",
14096   title =        "{ACM} Algorithm 482: Transitivity Sets [{G7}]",
14118   title =        "{Gauss} Harmonic Interpolation Formulas",
14141   title =        "Interpolation with Rounded Ramp Functions",
14161 …title =        "Recurrence Relations for the {Fresnel} Integral $\int_0^\infty[\exp(-ct)dt/(t)^{1/…
14183 …title =        "A New Integration Algorithm for Ordinary Differential Equations Based on Continued…
14209   title =        "A Precise Numerical Analysis Program",
14236   title =        "Interactive Graphic Display for Region Partitioning by Linear Programming",
14259   title =        "The Equivalence of Reducing Transition Languages and Deterministic Languages",
14284   title =        "{ACM} Algorithm 483: Masked Three-Dimensional Plot Program with Rotations",
14311 …title =        "{ACM} Algorithm 484: Evaluation of the Modified {Bessel} Functions ${K}_0(z)$ and …
14330   title =        "{ACM} Algorithm 485: Computation of $g$-Splines via a Factorization Method",
14349   title =        "A First Order Approximation to the Optimum Checkpoint Interval",
14369 …title =        "Extending the Information Theory Approach to Converting Limited-Entry Decision Tab…
14392   title =        "Monitors: An Operating System Structuring Concept",
14418   title =        "A Weighted Buddy Method for Dynamic Storage Allocation",
14442   title =        "A note on the calculation of average working set size",
14465   title =        "Structured Data Structures",
14489   title =        "A Back-end Computer for Data Base Management",
14514   title =        "On Generation of Test Problems for Linear Programming Codes",
14537   title =        "{ACM} Algorithm 486: Numerical Inversion of {Laplace} Transform",
14557   title =        "Certification and remark on algorithm 191",
14576   title =        "A computer routine for quadratic and linear programming problems",
14595   title =        "{Rosenbrock} function minimization",
14614 …title =        "Errata: ``{Efficient Implementation of a Variable Projection Algorithm for Nonline…
14630   title =        "Enumerating Full-Time Programmers",
14650 …title =        "Guidelines for Humanizing Computerized Information Systems, {A} Report from Stanle…
14673   title =        "Improving Locality by Critical Working Sets",
14696   title =        "A locally-organized parser for spoken input",
14719   title =        "Method for Composing Simple Traditional Music by Computer",
14742   title =        "Register Allocation via Usage Counts",
14765   title =        "Self-stabilizing Systems in Spite of Distributed Control",
14785   title =        "An on-site data management system application in field archaeology",
14804   title =        "A simple technique for representing strings in {Fortran IV}",
14823   title =        "The best-match problem in document retrieval",
14842   title =        "Multiple exits from a loop using neither {GO TO} nor labels",
14861   title =        "Computer Programming as an Art",
14885 …title =        "Arguments for a Moratorium on the Construction of a Community Information Utility",
14908   title =        "An analytic model of the {Hasp} execution task monitor",
14931   title =        "A Comparison of List Schedules for Parallel Processing Systems",
14954   title =        "Computer Generation of Gamma Random Variates with Non-Integral Shape Parameters",
14987   title =        "A Graph Formulation of a School Scheduling Algorithm",
15014 …title =        "An Exponential Method for the Solution of Systems of Ordinary Differential Equatio…
15040 …title =        "{ACM} Algorithm 487: Exact Cumulative Distribution of the {Kolmogorov-Smirnov} Sta…
15060   title =        "{ACM} Algorithm 488: {A} {Gaussian} pseudo-random number generator [{G5}]",
15087   title =        "Heuristic Approach to Inductive Inference in Fact Retrieval Systems",
15110   title =        "Some Aspects of Hierarchical Memory Systems",
15125   title =        "Control Structures in {Illiac IV Fortran}",
15140 …title =        "{\em CONVERT\/}: {A} High Level Translation Definition Language for Data Conversio…
15159   title =        "Professionalism in the Computing Field",
15182   title =        "Positivity and Norms",
15208   title =        "The Lemniscate Constants",
15235   title =        "On the Stability of {Gauss-Jordan} Elimination with Pivoting",
15263   title =        "Two {Hadamard} Numbers for Matrices",
15290   title =        "Perturbations of Eigenvalues of Non-Normal Matrices",
15317   title =        "Elementary Divisors of Tensor Products",
15343   title =        "Pseudoinverses and Conjugate Gradients",
15370   title =        "The New Math of Computer Programming",
15397   title =        "Storage-Efficient Representation of Decimal Data",
15425 …title =        "Connections Between Accuracy and Stability Properties of Linear Multistep Formulas…
15452   title =        "Stably Updating Mean and Standard Deviation of Data",
15484   title =        "Proposed Criterion for a Cipher to be Probable-Word Proof",
15500   title =        "Analysis of Interleaved Memory Systems Using Blockage Buffers",
15523   title =        "Sentence Paraphrasing from a Conceptual Base",
15546   title =        "State-Space, Problem-Reduction, and Theorem Proving --- Some Relationships",
15573   title =        "Finding Circles by an Array of Accumulators",
15596   title =        "Matrix Reduction --- an Efficient Method (school timetables)",
15622   title =        "A System for Typesetting Mathematics",
15651   title =        "{GLYPNIR} --- {A} programming language for {Illiac IV}",
15674   title =        "Expected Time Bounds for Selection",
15697 …title =        "{ACM} Algorithm 489: The Algorithm {SELECT} -- for Finding the $i$th Smallest of $…
15717   title =        "On Computing Certain Elements of the Inverse of a Sparse Matrix",
15743   title =        "Discrete Least Squares Polynomial Fits",
15769   title =        "Corrigendum: {``Perturbations of eigenvalues of non-normal matrices''}",
15788   title =        "On a Solution to the Cigarette Smoker's Problem (Without Conditional Statements)",
15811   title =        "Computer Networks in Higher Education: Socio-Economic-Political Factors",
15834   title =        "{ACM} Algorithm 490: The Dilogarithm Function of a Real Argument",
15854   title =        "Corrigendum: ``{A Weighted Buddy Method for Dynamic Storage Allocation}''",
15869   title =        "On Maintenance of the Opportunity List for Class-Teacher Timetable Problems",
15895   title =        "The Synthesis of Solids Bounded by Many Faces",
15918   title =        "Quadratic Hash Method When the Table Size is not a Prime Number",
15941 …title =        "A Modification of {Warshall}'s Algorithm for the Transitive Closure of Binary Rela…
15967   title =        "Algorithm for Locating Adjacent Storage Blocks in the Buddy System",
15990   title =        "A Comparison of Simulation Event List Algorithms",
16019   title =        "On {Salazar} and {Oakford}",
16036   title =        "On {Salazar} and {Oakford}",
16052   title =        "Copying Cyclic List Structures in Linear Time Using Bounded Workspace",
16075   title =        "Analysis and Performance of Inverted Data Base Structures",
16098   title =        "An intelligent analyzer and understander of {English}",
16121   title =        "{ACM} Algorithm 491: Basic Cycle Generation",
16140   title =        "A note on the {LU} factorization of a symmetric matrix",
16163   title =        "More on $k$th Shortest Paths",
16183   title =        "A problem-list of public policy issues concerning computers and health care",
16202   title =        "Corrigendum: {``The New Math of Computer Programming''}",
16221 …title =        "Syntactic Algorithm for Peak Detection in Waveforms with Applications to Cardiogra…
16244   title =        "Heuristic Problem Solving Design System for Equipment or Furniture Layouts",
16267   title =        "More on the {Salazar} and {Oakford} Paper",
16284 …title =        "{ACM} Algorithm 492: Generation of All the Cycles of a Graph from a Set of Basic C…
16303   title =        "Illumination for Computer Generated Pictures",
16326   title =        "A Cost Oriented Algorithm for Data Set Allocation in Storage Hierarchies",
16349   title =        "Significant Event Simulation",
16372   title =        "Indirect Threaded Code",
16395   title =        "Simplified Recombination Scheme for the {Fibonacci} Buddy System",
16418   title =        "Efficient String Matching: an Aid to Bibliographic Search",
16444   title =        "A Linear Space Algorithm for Computing Maximal Common Subsequences",
16471   title =        "Addition in an Arbitrary Base Without Radix Conversion",
16494   title =        "Sorting {$X + Y$}",
16518   title =        "Improved Event-Scanning Mechanisms for Discrete Event Simulation",
16547   title =        "Ill-Chosen Use of ``Event''",
16562   title =        "Decomposability, Instabilities, and Saturation in Multiprogramming Systems",
16585   title =        "A large semaphore based operating system",
16608   title =        "Restriction Language for Computer Grammars of Natural Language",
16631 …title =        "Use of the Concept of Transparency in the Design of Hierarchically Structured Syst…
16654   title =        "Determining the Minimum-Area Encasing Rectangle for an Arbitrary Closed Curve",
16681   title =        "A Note on Hash Linking",
16704   title =        "Discrimination in the employment of women in the computer industry",
16723 …title =        "On the External Storage Fragmentation Produced by First-Fit and Best-Fit Allocatio…
16746   title =        "Deterministic Parsing of Ambiguous Grammars",
16772   title =        "Guarded Commands, Nondeterminacy and Formal Derivation of Programs",
16799   title =        "Remark on stably updating mean and standard deviation of data",
16828   title =        "Interactive Consulting via Natural Language",
16852   title =        "Corrigendum: {``The Lemniscate Constants''}",
16867   title =        "Corrigendum: ``{A comparison of simulation event list algorithms}''",
16882   title =        "Comments on a paper by {T. C. Chen} and {I. T. Ho}",
16901   title =        "Consecutive Storage of Relevant Records with Redundancy",
16927   title =        "Multiple Byte Processing with Full-Word Instructions",
16950   title =        "Combining Decision Rules in a Decision Table",
16973   title =        "Multiprocessing Compactifying Garbage Collection",
16997   title =        "Multidimensional Binary Search Trees Used for Associative Searching",
17020   title =        "Digital Simulation of River Plankton Population Dynamics",
17043   title =        "Optimal Balancing of {I/O} Requests to Disks",
17072   title =        "Mechanical Program Analysis",
17098   title =        "A Preliminary System for the Design of {DBTG} Data Structures",
17122   title =        "{CONVERT}: {A} High Level Translation Definition Language for Data Conversion",
17146   title =        "Optimizing the Performance of a Relational Algebra Data Base Interface",
17169   title =        "Implementation of a {Structured English Query Language}",
17194   title =        "Merging with Parallel Processors",
17217   title =        "{Horner}'s Rule for the Evaluation of General Closed Queueing Networks",
17246   title =        "A Vector Space Model for Automatic Indexing",
17270   title =        "Specifying Queries as Relational Expressions: The Square Data Sublanguage",
17294   title =        "A genealogy of control structures",
17317   title =        "Practical Syntactic Error Recovery",
17340   title =        "Backtrack Programming Techniques",
17363   title =        "A Note on the Set Basis Problem Related to the Compaction of Character Sets",
17389   title =        "Programming Languages, Natural Languages, and Mathematics",
17415   title =        "Exception Handling: Issues and a Proposed Notation",
17438 …title =        "The Intrinsically Exponential Complexity of the Circularity Problem for Attribute …
17465   title =        "On the Complexity of {LR(k)} Testing",
17493   title =        "A fast and usually linear algorithm for global flow analysis",
17514   title =        "Reduction: {A} Method of Proving Properties of Parallel Programs",
17541   title =        "Automatic Data Structure Choice in a Language of Very High Level",
17564   title =        "A Study of Line Overhead in the {ARPANET}",
17594 …title =        "An Anomaly in Disk Scheduling: {A} Comparison of {FCFS} and {SSTF} Seek Scheduling…
17617   title =        "On Quadratic Adaptive Routing Algorithms",
17646   title =        "Performance of Height-Balanced Trees",
17671   title =        "Information Reference Coding",
17695   title =        "Study of Errors, Error-Proneness, and Error Diagnosis in {Cobol}",
17718   title =        "Errata: {``Ancient Babylonian algorithms''}",
17735   title =        "Semantic Evaluation from Left to Right",
17761   title =        "On Self-Organizing Sequential Search Heuristics",
17788   title =        "Permutation Enumeration: Four New Permutation Algorithms",
17811   title =        "Application of Heuristic Search Methods to Edge and Contour Detection",
17834 …title =        "A Stochastic Evaluation Model for Database Organizations in Data Retrieval Systems…
17857   title =        "A Counterintuitive Example of Computer Paging",
17884   title =        "A Fast Division Technique for Constant Divisors",
17910   title =        "Computer Science as Empirical Inquiry: Symbols and Search",
17931   title =        "Joining Policies in a Multipriority Multiclass Batch Computer System",
17957   title =        "A Program Data Flow Analysis Procedure",
17980   title =        "Intentional Resolution of Privacy Protection in Database Systems",
18000   title =        "Intentional resolution of privacy protection in database systems",
18019   title =        "Development of an international system for legal protection of computer programs",
18038   title =        "A comparative evaluation of versions of {BASIC}",
18061   title =        "{LG}: {A} language for analytic geometry",
18087   title =        "Corrigendum: {``A Counterintuitive Example of Computer Paging''}",
18106   title =        "Logical Analysis of Programs",
18131   title =        "A Lattice Model of Secure Information Flow",
18158   title =        "Security Kernel Validation in Practice",
18181   title =        "Reflections on an Operating System Design",
18204   title =        "Modularization and Hierarchy in a Family of Operating Systems",
18227   title =        "Proving Monitors",
18250   title =        "Verifying Properties of Parallel Programs: An Axiomatic Approach",
18277   title =        "Characteristics of Program Localities",
18300   title =        "{VMIN} --- an Optimal Variable-Space Page Replacement Algorithm",
18322   title =        "Analysis of the {PFF} Replacement Algorithm via a {Semi-Markov} Model",
18349   title =        "Production and employment of {Ph.D.}'s in computer science",
18368   title =        "A Practitioner's Guide to Addressing Algorithms",
18392   title =        "Interference in Multiprocessor Computer Systems with Interleaved Memory",
18415   title =        "Process for the Determination of Addresses in Variable Length Addressing",
18438   title =        "Referencing Lists by an Edge",
18461   title =        "The synthetic approach to decision table conversion",
18484   title =        "An Efficient List Moving Algorithm Using constant Workspace",
18507   title =        "Corrigendum: {``Multiprocessing Compactifying Garbage Collection''}",
18523   title =        "A Numbering System for Permutations of Combinations",
18543 …title =        "Technology of Computer Center Management: a Proposed Course for Graduate Professio…
18566   title =        "Formal Verification of Parallel Programs",
18592   title =        "Symbolic Execution and Program Testing",
18618   title =        "{Ethernet}: Distributed Packet Switching for Local Computer Networks",
18641   title =        "Synthesis of Decision Rules",
18664   title =        "Sampling from the {Gamma-distribution} on a computer",
18695   title =        "Compressed Tries",
18721   title =        "A buddy system variation for disk storage allocation",
18744   title =        "Heaps applied to event driven mechanisms",
18769   title =        "Tools and Philosophy for Software Education",
18792   title =        "The Denotational Semantics of Programming Languages",
18818   title =        "Designing Surfaces in {3-D}",
18844   title =        "Protection in Operating Systems",
18871   title =        "An Insertion Technique for One-Sided Height-Balanced Trees",
18894 …title =        "Corrigendum: {``Analysis of the PFF replacement algorithm via a semi-Markov model'…
18911   title =        "Corrigendum: ``{Faster Retrieval from Context Trees}''",
18928   title =        "Analysis of an Algorithm for Real Time Garbage Collection",
18955   title =        "New Upper Bounds for Selection",
18981   title =        "Weighted Derivation Trees",
19007   title =        "Recursion Analysis for Compiler Optimization",
19030   title =        "Efficient Generation of the Binary Reflected {Gray} Code and Its Applications",
19056   title =        "An Efficient, Incremental, Automatic Garbage Collector",
19080   title =        "Faster Retrieval from Context Trees",
19104   title =        "Texture and Reflection in Computer Generated Images",
19128   title =        "Hierarchical Geometric Models for Visible Surface Algorithms",
19151 …title =        "A Parametric Algorithm for Drawing Pictures of Solid Objects Composed of Quadric S…
19177 …title =        "Interactive Skeleton Techniques for Enhancing Motion Dynamics in Key Frame Animati…
19200   title =        "The {BMD} and {BMDP} Series of Statistical Computer Programs",
19223 …title =        "An improvement to {Martin}'s algorithm for computation of linear precedence functi…
19245   title =        "Status of Women and Minorities in Academic Computer Science",
19268   title =        "Homilies for humble standards (computer applications)",
19287   title =        "{Cobol} Under Control",
19310 …title =        "Design and Implementation of a Table Driven, Interactive Diagnostic Programming Sy…
19333   title =        "Experiments in Text File Compression",
19356   title =        "The notions of consistency and predicate locks in a database system",
19384   title =        "Optimal Reorganization of Distributed Space Disk Files",
19407   title =        "High-Level Binding with Low-Level Linkers",
19430   title =        "Roster of Programming Languages for 1974--75",
19453   title =        "The Computer Science and Engineering Research Study ({COSERS})",
19476   title =        "Computer-Aided Analysis and Design of Information Systems",
19499 …title =        "Structural Pattern Recognition of Carotid Pulse Waves Using a General Waveform Par…
19521   title =        "Structured programming in {COBOL}: an approach for application programmers",
19549   title =        "A Survey of the Literature in Computer Science Education Since {Curriculum '68}",
19572   title =        "A Record and File Partitioning Model",
19595   title =        "Detection of Combined Occurrences",
19618   title =        "Segment Sizes and Lifetimes in {Algol 60} Programs",
19641   title =        "On Believing Programs to be Correct",
19655   title =        "An Approach to Multidimensional Data Array Processing by Computer",
19677   title =        "An Empirical Study of List Structure in {LISP}",
19701   title =        "Convex Hulls of Finite Sets of Points in Two and Three Dimensions",
19728   title =        "Transient-Free Working-Set Statistics",
19755   title =        "A Linear Algorithm for Incremental Digital Display of Circular Arcs",
19778 …title =        "Occurrences of Cycling and Other Phenomena Arising in a Class of Linear Programmin…
19801   title =        "A Numbering System for Binary Trees",
19820   title =        "Improving the Access Time for Random Access Files",
19843   title =        "Effective Information Retrieval Using Term Accuracy",
19869   title =        "Empirical Evaluation of Some Features of Instruction Set Processor Architectures",
19892   title =        "Memory Management and Response Time",
19918   title =        "Representation of Many-Sided Polygons and Polygonal Lines for Rapid Processing",
19942   title =        "Operations on Sparse Relations",
19968   title =        "Effects of Chargeout on User\slash Manager Attitudes",
19991   title =        "Cost\slash utilization: {A} measure of system performance",
20015   title =        "A comparison of next-fit, first-fit, and best-fit",
20034   title =        "The storage requirement in precedence parsing",
20057   title =        "Subgoal Induction",
20083   title =        "Editing of Picture Segmentations Using Local Analysis of Graphs",
20106   title =        "Studies in Machine Cognition Using the Game of Poker",
20129   title =        "Analysis of Design Alternatives for Virtual Memory Indexes",
20152   title =        "Stage Hypothesis and the {S}-Curve: Some Contradictory Evidence",
20175   title =        "Approximating block accesses in database organizations",
20196   title =        "Remark on uniform insertion on structured data structures",
20215   title =        "Comment on weighted increment linear search for scatter tables",
20234   title =        "Sorting on a Mesh-Connected Parallel Computer",
20261   title =        "Proof Techniques for Hierarchically Structured Programs",
20287   title =        "{SP/k}: {A} System for Teaching Computer Programming",
20311   title =        "Achieving Specific Accuracy in Simulation Output Analysis",
20339   title =        "Optimal Program and Data Locations in Computer Networks",
20362   title =        "A Comparison of Tree-Balancing Algorithms",
20386 …title =        "A Comparison of Hardware and Software Associative Memories in the Context of Compu…
20409   title =        "Choice of Reference Points in Best-Match File Searching",
20432   title =        "An Optimal Evaluation of {Boolean} Expressions in an Online Query System",
20458   title =        "An Approach to Optimal Design of Storage Parameters in Databases",
20484   title =        "A Fast Algorithm for Computing Longest Common Subsequences",
20511   title =        "Production and Employment of {Ph.D.}'s in Computer Science --- 1976",
20534   title =        "Experimental Investigations of the Utility of Detailed Flowcharts in Programming",
20557   title =        "Two Views of Data Abstraction",
20577   title =        "The System {for Business Automation} ({SBA}): Programming Language",
20600   title =        "Abstract Data Types and the Development of Data Structures",
20623   title =        "Database Abstractions: Aggregation",
20647   title =        "Some Ideas on Data Types in High-Level Languages",
20670   title =        "Buddy Systems",
20693   title =        "A Bounded Storage Algorithm for Copying Cyclic Structures",
20716   title =        "Notes on Recursion Elimination",
20739 …title =        "Functions Realizable with Word-Parallel Logical and Two's-Complement Addition Inst…
20764   title =        "Dynamic Response Time Prediction for Computer Networks",
20787   title =        "A Unifying Approach to Scheduling",
20815 …title =        "A Correctness Proof of a Topology Information Maintenance Protocol for a Distribut…
20846   title =        "A terminal-oriented communication system",
20869   title =        "{SITAR}: an Interactive Text Processing System for Small Computers",
20892   title =        "Alternative to Event Queues for Synchronization in Monitors",
20915   title =        "Certification of Programs for Secure Information Flow",
20938   title =        "Shifting Garbage Collection Overhead to Compile Time",
20961   title =        "{Lucid}, a Nonprocedural Language with Iteration",
20984   title =        "An {Algol-based} implementation of {SNOBOL} 4 patterns",
21007   title =        "Early Experience with {Mesa}",
21030 …title =        "Abstraction and Verification in {Alphard}: Defining and Specifying Iteration and G…
21053   title =        "Abstraction Mechanisms in {CLU}",
21077   title =        "Toward a Discipline of Real-Time Programming",
21100   title =        "An experimental evaluation of data type conventions",
21123   title =        "An Efficient Data Structure for the Simulation Event Set",
21147   title =        "Comment on computing the $k$ shortest paths in a graph",
21169 …title =        "Another advantage of keyword notation for parameter communication with subprograms…
21188   title =        "Complexity of Computations",
21215   title =        "Logic and Programming Languages",
21241   title =        "The {GRE Advanced Test in Computer Science}",
21264   title =        "An Analysis of Inline Substitution for a Structured Programming Language",
21287   title =        "Hardware Estimation of a Process' Primary Memory Requirements",
21310   title =        "Some New Upper Bounds on the Generation of Prime Numbers",
21336   title =        "Pagination of {B*}-Trees with Variable-Length Records",
21360   title =        "Optimal Surface Reconstruction from Planar Contours",
21387   title =        "An Interactive Computer Graphics Approach to Surface Representation",
21412   title =        "High-Level Data Flow Analysis",
21436   title =        "Two-Level Control Structure for Nondeterministic Programming",
21459   title =        "Regular Right Part Grammars and Their Parsers",
21484   title =        "Game Interpretation of the Deadlock Avoidance Problem",
21507   title =        "Programmer's Workbench --- a Machine for Software Development",
21530   title =        "Multiprocessor Memory Organization and Memory Interference",
21553   title =        "A Fast String Searching Algorithm",
21578   title =        "Considerations for future programming language standards activities",
21597   title =        "Use of the {LRU} Stack Depth Distribution for Simulation of Paging Behavior",
21620   title =        "The Aliasing Problem in Computer-Generated Shaded Images",
21645   title =        "Concurrent Reading and Writing",
21671   title =        "Anomalous Behavior of the Fifty-Percent Rule in Dynamic Memory Allocation",
21694   title =        "Equivalence of {Hough} curve detection to template matching",
21713 …title =        "What can we do about the unnecessary diversity of notation for syntactic definitio…
21732   title =        "A note on reflection-free permutation enumeration",
21751   title =        "The Optimal Approach to Recursive Programs",
21773   title =        "Very High Level Programming Language for Data Processing Applications",
21796   title =        "Perfect Hashing Functions: {A} Single Probe Retrieving Method for Static Sets",
21823   title =        "An Algorithm for Reduction of Operator Strength",
21846   title =        "Improving Programs by the Introduction of Recursion",
21872   title =        "Dynamic Memory Allocation in Computer Simulation",
21895   title =        "An Encoding Method for Multifield Sorting and Indexing",
21920   title =        "Some Theorems to Aid in Solving the File Allocation Problem",
21943   title =        "A survey of computer science offerings in small liberal arts colleges",
21962   title =        "A Conceptual Framework for a Nonprocedural Programming Language",
21985   title =        "A Case Study of a New Code Generation Technique for Compilers",
22009   title =        "An Exercise in Proving Parallel Programs Correct",
22033   title =        "A language for formal problem specification",
22057   title =        "A Methodology for Interactive Computer Service Measurement",
22086   title =        "Computers as an innovation in {American} local governments",
22105   title =        "A Methodology for {LISP} Program Construction from Examples",
22120   title =        "The {Manchester Mark I} and {Atlas}: a historical perspective",
22139   title =        "The development of the {MU5} computer system",
22162 …title =        "Evolution of the {Sperry Univac 1100 Series}: a History, Analysis, and Projection",
22185   title =        "The Evolution of the {DECsystem 10}",
22208   title =        "The {CRAY-1} Computer System",
22221 …elds: 00712248 E. I. Monthly No: EI7804023850 E. I. Yearly No: EI78014612 Title: Cray-1 Computer S…
22232   title =        "Architecture of the {IBM System}\slash 370",
22252   title =        "Computer science faculties: the current status of minorities and women",
22271   title =        "A Method for Obtaining Digital Signatures and Public-Key Cryptosystems",
22298   title =        "Systematic Recursion Removal",
22321 …title =        "Covering Edges by Cliques with Regard to Keyword Conflicts and Intersection Graphs…
22347   title =        "{B}-Trees Re-Examined",
22373   title =        "A Comparison of Numerical Techniques in {Markov} Modeling",
22401   title =        "Relaxation Methods for Image Reconstruction",
22427 …title =        "Is `Sometime' Sometimes Better Than `Always'? (Intermittent Assertions in Proving …
22454   title =        "Some New Methods of Detecting Step Edges in Digital Pictures",
22477   title =        "Corrigendum: {``Complexity of computations''}",
22494 …title =        "Use of an Interactive Information Storage and Retrieval System in Medical Research…
22517   title =        "Management Utilization of Computers in {American} Local Governments",
22540   title =        "Value orientation of computer science students",
22559   title =        "Insertions and Deletions in One-Sided Height-Balanced Trees",
22586   title =        "Preserving Average Proximity in Arrays",
22612   title =        "Anomalies with Variable Partition Paging Algorithms",
22638   title =        "Implications of Structured Programming for Machine Architecture",
22661   title =        "Orderly Enumeration of Nonsingular Binary Matrices Applied to Text Encryption",
22687   title =        "A Technique for Isolating Differences Between Files",
22710   title =        "Optimal Conversion of Extended-Entry Decision Tables with General Cost Criteria",
22736   title =        "List Processing in Real Time on a Serial Computer",
22760   title =        "Secure Communications Over Insecure Channels",
22783   title =        "Assembling Code for machines with Span-Dependent Instructions",
22806   title =        "A Data Structure for Manipulating Priority Queues",
22832   title =        "Economical Encoding of Commas Between Strings",
22854   title =        "Generating beta variates with nonintegral shape parameters",
22884   title =        "A Fast Algorithm for Copying List Structures",
22907   title =        "A Language Extension for Expressing Constraints on Data Access",
22930   title =        "Test Data as an Aid in Proving Program Correctness",
22956   title =        "Automatic Data Structure Selection: an Example and Overview",
22979   title =        "Incorporation of Units into Programming Languages",
23002   title =        "The {SL5} procedure mechanism",
23025   title =        "An Interference Matching Technique for Inducing Abstractions",
23048 …title =        "New Sufficient Optimality Conditions for Integer Programming and Their Application…
23074   title =        "Computer Generation of Gamma Random Variables",
23107   title =        "Optimal Shift Strategy for a Block-Transfer {CCD} Memory",
23130   title =        "An Optimal Method for Deletion in One-Sided Height-Balanced Trees",
23156   title =        "A Selective Traversal Algorithm for Binary Search Trees",
23179   title =        "Analyses of Deterministic Parsing Algorithms",
23205   title =        "Automatic Error Recovery for {LR} Parsers",
23228   title =        "Characteristics of Application Software Maintenance",
23251   title =        "Some Basic Determinants of Computer Programming Productivity",
23274 …title =        "Automated Welfare Client-Tracking and Service Integration: the Political Economy o…
23297   title =        "Performance of Rollback Recovery Systems Under Intermittent Failures",
23323   title =        "General Equations for Idealized {CPU-I/O} Overlap Configurations",
23349   title =        "An {English} Language Query Answering System for a Large Relational Data Base",
23374   title =        "On the complexity of computing the measure of {$\bigcup[a_i,b_i]$}",
23400 …title =        "An ${O}(n)$ Algorithm for Determining a Near-Optimal Computation Order of Matrix C…
23426   title =        "Interpolation Search --- {A} Log Log {N} Search",
23452   title =        "Pseudochaining in Hash Tables",
23478   title =        "Time, Clocks, and the Ordering of Events in a Distributed System",
23501   title =        "Shallow Binding in {Lisp} 1.5",
23524   title =        "Proving the Correctness of Heuristically Optimized Code",
23548   title =        "An Algorithm for Reasoning About Equality",
23574   title =        "Analysis of the Availability of Computer Systems Using Computer-Aided Algebra",
23600   title =        "{B-Trees} Re-examined",
23615 …title =        "Can Programming Be Liberated From the {von Neumann} Style? {A} Functional Style an…
23641 …title =        "Value conflicts and social choice in electronic funds transfer system developments…
23660   title =        "Fast Parallel Sorting Algorithms",
23687   title =        "A Time- and Space-Efficient Garbage Compaction Algorithm",
23710   title =        "Communicating Sequential Processes",
23735 …title =        "Feedback Coupled Resource Allocation Policies in the Multiprogramming-Multiprocess…
23758 …title =        "Self-Assessment Procedure {V}: a self-assessment procedure dealing with database s…
23773 …title =        "An algorithm using symbolic techniques for the {Bel-Petrov} classification of grav…
23792   title =        "Hybrid Simulation Models of Computer Systems",
23815   title =        "A Practical Interprocedural Data Flow Analysis Algorithm",
23838   title =        "Model for Verification of Data Security in Operating Systems",
23861   title =        "Generalized Working Sets for Segment Reference Strings",
23885   title =        "Controlled Experiment in Program Testing and Code Walkthroughs\slash Inspections",
23908   title =        "Right Brother Trees",
23930   title =        "Event Manipulation for Discrete Simulations Requiring Large Numbers of Events",
23960   title =        "A note on virtual memory indexes",
23979   title =        "Real Time Plotting of Approximate Contour Maps",
24002   title =        "Simulations of dynamic sequential search algorithms",
24021   title =        "{Fortran 77}",
24045 …title =        "Models for Parallel Processing Within Programs: Application to {CPU:I/O} and {I/O:…
24070   title =        "Jump Searching: {A} Fast Sequential Search Technique",
24094   title =        "Optimal Histogram Matching by Monotone Gray Level Transformation",
24117   title =        "Counting Large Numbers of Events in Small Registers",
24140   title =        "An Analysis of Algorithms for the {Dutch National Flag Problem}",
24161   title =        "Implementing {Quicksort} Programs",
24185   title =        "Packed Scatter Tables",
24208   title =        "Cold-Start Vs. Warm-Start Miss Ratios",
24232   title =        "A comparison of heaps and the {TL} structure for the simulation event set",
24257   title =        "Systems Design Education: a Gaming Approach",
24280   title =        "A Simply Extended and Modified Batch Environment Graphical System (Sembegs)",
24303 …title =        "Performance Evaluation of Highly Concurrent Computers by Deterministic Simulation",
24326   title =        "Using Synthetic Images to Register Real Images with Surface Models",
24349   title =        "Computer Generation of Gamma Random Variables --- {II}",
24374   title =        "Simple Recovery-Only Procedure for Simple Precedence Parsers",
24397   title =        "A Note on Conditional Expressions",
24418   title =        "Distributed Processes: {A} Concurrent Programming Concept",
24442   title =        "Power Trees",
24468   title =        "Median Split Trees: {A} Fast Lookup Technique for Frequently Occurring Keys",
24494   title =        "Corrigendum: {``Communicating Sequential Processes''}",
24509   title =        "Synthesizing Constraint Expressions",
24535   title =        "On-the-Fly Garbage Collection: An Exercise in Cooperation",
24561   title =        "Corrigendum: {``An exercise in proving parallel programs correct''}",
24578   title =        "Using Encryption for Authentication in Large Networks of Computers",
24601   title =        "A Linear Sieve Algorithm for Finding Prime Numbers",
24627   title =        "The Selection of Optimal Tab Settings",
24650 …title =        "Strategic Planning Methodology for the Computing Effort in Higher Education: an Em…
24673   title =        "Detection of Logical Errors in Decision Table Programs",
24696   title =        "Optimizing Decision Trees Through Heuristically Guided Search",
24721   title =        "Reverse Path Forwarding of Broadcast Packets",
24744   title =        "Abstract Data Types and Software Validation",
24770   title =        "An Example of Hierarchical Design and Proof",
24793   title =        "Multidimensional Divide-and-Conquer",
24807   title =        "Interference Detection Among Solids and Surfaces",
24830   title =        "The impact and use of computer technology by the police",
24853   title =        "Permutation of Data Blocks in a Bubble Memory",
24878   title =        "The Impact of Distributions and Disciplines on Multiple Processor Systems",
24907   title =        "An event-driven compiling technique",
24930   title =        "Syntactic Source to Source Transforms and Program Manipulation",
24953   title =        "Production and employment of {Ph.D.s} in computer science --- 1977 and 1978",
24972   title =        "Employment characteristics of doctoral level computer scientists",
24991   title =        "Recursive data structures in {APL.}",
25016   title =        "Global Optimization by Suppression of Partial Redundancies",
25042 …title =        "Comments on Perfect Hashing Functions: {A} Single Probe Retrieving Method for Stat…
25062   title =        "{Thoth}, a Portable Real-Time Operating System",
25085   title =        "Synchronization with Eventcounts and Sequencers",
25109   title =        "Optimal Storage Allocation for Serial Files",
25134 …title =        "Curriculum '78: Recommendations for the Undergraduate Program in Computer Science …
25155   title =        "{FOCUS} microcomputer number system",
25178 …title =        "Experiments with Some Algorithms that Find Central Solutions for Pattern Classific…
25201   title =        "Logic and Semantic Networks",
25224   title =        "Use of Normal Multiplication Tables for Information Storage and Retrieval",
25247   title =        "Corrigendum: {``An Analysis of Algorithms for the Dutch National Flag Problem''}",
25262   title =        "Detection of Three-Dimensional Patterns of Atoms in Chemical Structures",
25285   title =        "Price\slash Performance Patterns of {U.S.} Computer Systems",
25309   title =        "Methodology for the Design of Distributed Information Systems",
25332 …title =        "A Mathematical Programming Updating Method Using Modified {Givens} Transformations…
25357   title =        "New Methods to Color the Vertices of a Graph",
25384   title =        "Social Processes and Proofs of Theorems and Programs",
25407 …title =        "An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations…
25432   title =        "Consumer Difficulties with Computerized Transactions: an Empirical Investigation",
25455   title =        "Reasoning About Arrays",
25481   title =        "Model for and Discussion of Multi-Interpreter Systems",
25504   title =        "An implementation of structured walk-throughs in teaching {COBAL} programming",
25523   title =        "An academic program providing realistic training in software engineering",
25542   title =        "Model for Automating File and Program Design in Business Application Systems",
25565   title =        "High Level Programming for Distributed Computing",
25588   title =        "Corrigendum: {``Implementing {Quicksort} Programs''}",
25604   title =        "The Cyclic Order Property of Vertices as an Aid in Scene Analysis",
25626   title =        "Beyond Programming Languages",
25646   title =        "An Optimal Real-Time Algorithm for Planar Convex Hulls",
25672   title =        "Storage Reorganization Techniques for Matrix Computation in a Paging Environment",
25697   title =        "The Control of Response Times in Multi-Class Systems by Memory Allocation",
25726   title =        "Algorithm = Logic + Control",
25746 …title =        "Self-Assessment Procedure {VI}: a self-assessment procedure dealing with queueing …
25766   title =        "The paradigms of programming",
25786   title =        "Computing Connected Components on Parallel Computers",
25809   title =        "Proving Termination with Multiset Orderings",
25831   title =        "Secure Personal Computing in an Insecure Network",
25852   title =        "Further remark on stably updating mean and standard deviation estimates",
25877 …title =        "Rejuvenating Experimental Computer Science --- {A} Report to the {National Science…
25897 …title =        "Addendum: An {ACM} Executive Committee Position on the Crisis in Experimental Comp…
25911 …title =        "On Improving the Worse Case Running Time of the {Boyer-Moore} String Matching Algo…
25935   title =        "An Optimal Insertion Algorithm for One-Sided Height-Balanced Binary Search Trees",
25964   title =        "Progressive acyclic digraphs --- a tool for database integrity",
25985   title =        "Approximation of Polygonal Maps by Cellular Maps",
26006   title =        "Computing standard deviations: accuracy",
26033   title =        "Updating mean and variance estimates: an improved method",
26061 …title =        "Comment on: {``An optimal evaluation of Boolean expressions in an online query sys…
26083 …title =        "A note on: {``An optimal evaluation of Boolean expressions in an online query syst…
26105 …title =        "Corrigendum: {``Comments on Perfect Hashing Functions: A Single Probe Retrieving M…
26121   title =        "On the Proof of Correctness of a Calendar Program",
26142   title =        "Line Numbers Made Cheap",
26161   title =        "An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles",
26182   title =        "On a Comparison of Garbage Collection Techniques",
26197   title =        "A psychology of learning {BASIC}",
26216   title =        "Password Security --- {A} Case History",
26237   title =        "Breaking Substitution Ciphers Using a Relaxation Algorithm",
26258   title =        "Storing a Sparse Table",
26280   title =        "How to Share a Secret",
26304   title =        "Costs of the current {US} payments system",
26323   title =        "Public protection and education with {EFT}",
26342   title =        "Vulnerabilities of {EFTs} to intentionally caused losses",
26361   title =        "Policy, values, and {EFT} research: anatomy of a research agenda",
26380   title =        "Measured Performance of an {ETHERNET} Local Network",
26400   title =        "A quadtree medial axis transform",
26415   title =        "Fast Hashing of Variable-Length Text Strings",
26435   title =        "A Very Fast Substring Search Algorithm",
26451   title =        "Note on Fast Hashing of Variable Length Text Strings",
26466   title =        "Note on Fast Hashing of Variable Length Text Strings",
26482   title =        "Note on Fast Hashing of Variable Length Text Strings",
26501   title =        "Note on Fast Hashing of Variable Length Text Strings",
26517   title =        "Structured Programming with {\bf go to} Statements",
26533   title =        "A Fast and Usually Linear Algorithm for Global Flow Analysis",
26553   title =        "Chromatic scheduling and the chromatic number problem",
26565   title =        "Fast pattern matching in strings",
26580   title =        "The practicality of text signatures for accelerating string searching",
26596   title =        "Remark on {``Algorithm 236: Bessel Functions of the First Kind [S17]''}",
26612   title =        "Remark on {``Algorithm 246: Graycode [Z]''}",
26628 …title =        "Remark on {``Algorithm 483: Masked Three-Dimensional Plot Program with Rotations […
26644 …title =        "Remark on {``Algorithm 434: Exact Probabilities for $R\times{C}$ Contingency Table…
26660   title =        "Remark on {``Algorithm 475: Visible Surface Plotting Program [J6]''}",
26676   title =        "Remark on {``Algorithm 479: A Minimal Spanning Tree Clustering Method [Z]''}",
26692 …title =        "Remark on {``Algorithm 487: Exact Cumulative Distribution of the Kolmogorov-Smirno…
26708   title =        "Remark on {``Algorithm 490: The Dilogarithm Function of a Real Argument [S22]''}",
26724   title =        "Remark on {``Algorithm 179: Incomplete Beta Ratio [S14]''}",
26740 …title =        "Remark on {``Algorithm 433: Interpolation and Smooth Curve Fitting Based on Local …
26756   title =        "Remark on {``Algorithm 450: Rosenbrock Function Minimization [E4]''}",
26772 …title =        "Remark on {``Algorithm 489: The Algorithm SELECT --- for Finding the $i$th Smalles…
26788   title =        "Remark on {``Algorithm 284: Interchange of Two Blocks of Data [K2]''}",
26804   title =        "Remark on {``Algorithm 299: Chi-Squared Integral [S15]''}",
26820   title =        "Remark on {``Algorithm 486: Numerical Inversion of Laplace Transform [D5]''}",
26836   title =        "Algorithm 513: Analysis of In-Situ Transposition [{F1}]",
26851   title =        "Remark on {``Algorithm 486: Numerical Inversion of Laplace Transform''}",
26867   title =        "Remark on {``Algorithm 259: Legendre Functions for Arguments Larger than One''}",
26883   title =        "Remark on {``Algorithm 408: A Sparse Matrix Package (Part I) [F4]''}",
26899   title =        "Remark on {``Algorithm 219: Topological Ordering for PERT Networks''}",
26915   title =        "Remark on {``Algorithm 149: Complete Elliptic Integral [S21]''}",
26931   title =        "Remark on {``Algorithm 49: Spherical Neumann Function''}",
26947   title =        "Remark on {``Algorithm 408: A Sparse Matrix Package (Part I) [F4]''}",
26963   title =        "Remark on {``Algorithm 435: Modified Incomplete Gamma Function [S14]''}",
26979 …title =        "Remark on {``Algorithm 395: Student's $t$-Distribution''} and Remark on {``Algorit…
26995   title =        "Remark on {``Algorithm 424: Clenshaw-Curtis Quadrature [O1]''}",
27011 …title =        "Remark on {``Algorithm 474: Bivariate Interpolation and Smooth Surface Fitting Bas…
27027 …title =        "Remark on {``Algorithm 513: Analysis of In-Situ Transposition [F1]''} and Remark o…
27043   title =        "Remark on {``Algorithm 475: Visible Surface Plotting Program''}",
27059   title =        "Remark on {``Algorithm 408: A Sparse Matrix Package (Part 1) [F4]''}",
27075   title =        "Remark on {``Algorithm 395: Student's $t$-Distribution''}",
27091   title =        "Remark on {``Algorithm 396: Student's $t$-Quantiles''}",
27107   title =        "Remark on {``Algorithm 299: Chi-Squared Integral''}",
27123   title =        "Remark on {``Algorithm 246: Graycode [Z]''}",
27138   title =        "{ANSI Fortran X3.9-1966}",
27149 …title =        "Computational Analysis of the Random Components Induced by a Binary Equivalence Re…
27166   title =        "The graph-colouring problem",
27176   title =        "The Art of Computer Programming, Sorting and Searching",
27193 …title =        "{Implementation eines Einschrittcompilers f{\"u}r die Progammiersprache PASCAL auf…
27208   title =        "Literate Programming",