Lines Matching full:abstract
421 …abstract = "A brief study is made of the propagation of errors in linear first-order differenc…
497 …abstract = "A method for extracting a smooth polygonal contour from a digitized image is illus…
715 …abstract = "Input limited transduction expressions, or translation equations, are used to desc…
754 …abstract = "A parsing algorithm which seems to be the most efficient general context-free algo…
950 …abstract = "Several specialized techniques are shown for efficiently incorporating spelling co…
968 …abstract = "The TEACH system was developed at MIT to ease the cost and improve the results of …
989 …abstract = "The M \& N procedure is an improvement to the mini-max backing-up procedure widely…
1010 …abstract = "Distributions of segment sizes measured under routine operating conditions on a co…
1034 …abstract = "Certain nonlinear minimax approximation problems are characterized by properties w…
1058 …abstract = "Various simple choices of error improvement estimates for the trapezoid rule are s…
1079 …abstract = "The question-answering aspects of the Protosynthex III prototype language processi…
1102 …abstract = "Conventional computer methods available to solve continuous system problems charac…
1229 …abstract = "A method is described for the definition of a user's COMMON structure and the auto…
1250 …abstract = "The language PL360, together with its phrase structure grammar, is used as a concr…
1271 …abstract = "A matrix calculus is introduced with the intention of developing data structures s…
1293 …abstract = "The philosophy and structure is described of a multiprogramming system that can be…
1315 …abstract = "Problems involving the arrangement of objects in two-or three-space where the obje…
1336 …abstract = "The unsolved combinational problem of the cyclical majority is presented and some …
1360 …abstract = "A very simple procedure is presented for constructing cubic splines, periodic or n…
1506 …abstract = "A preliminary description of the software for a computer-display system is given w…
1527 …abstract = "Operations on vectors, matrices, and higher dimensional storage arrays are standar…
1564 …abstract = "Four different sequential sampling procedures are applied to the analysis of data …
1585 …abstract = "An algorithm is described which accepts an arbitrary context-free grammar and cons…
1606 …abstract = "In this experimental programming language, any value which is permitted in some co…
1628 …abstract = "A language for the representation of graphs is described, and the formulation of g…
1685 …abstract = "An on-line digital computer processing system is considered in which an ordinary t…
1706 …abstract = "The use of execution time diagnostics in pinpointing ambiguities in decision table…
1727 …abstract = "Conflicts in scheduling can be treated as defining an undirected linear graph inde…
1766 …abstract = "Although automatic syntactic and semantic analysis is not yet possible for all of …
1790 …abstract = "This paper describes an alternate method for summing a set of floating-point numbe…
1813 …abstract = "It is shown, by numerical experiment only, that there are certain quadratures for …
1834 …abstract = "The QR iteration for the eigenvalues of a symmetric tridiagonal matrix can be acce…
1942 …abstract = "Future users of large data banks must be protected from having to know how the dat…
1965 …abstract = "A facility to permit conversationally controlled tasks to be executed in a noninte…
1986 …abstract = "LAP6 is an on-line system running on 2048- word LINC which provides full facilitie…
2007 …abstract = "STAGE 2 is the second level of a bootstrap sequence which is easily implemented on…
2028 …abstract = "Trade-offs among certain computational factors in hash coding are analyzed. The pa…
2050 …abstract = "A general method of file structuring is proposed which uses a hashing function to …
2075 …abstract = "A new version of the Euclidean algorithm for finding the greatest common divisor o…
2096 …abstract = "This paper presents a canonical form for context-sensitive derivations and a parsi…
2226 …abstract = "The extent to which a pricing mechanism fits the mold is discussed. Inasmuch as pr…
2247 …abstract = "A family of pattern standardization techniques based on geometrical projection is …
2268 …abstract = "The quadratic residue search method for hash tables avoids much of the clustering …
2289 …abstract = "This sorting study was part of an extensive measurement project undertaken on the …
2310 …abstract = "An array of measuring tools devised to aid in the implementation of a prototype co…
2454 …abstract = "A description is given of an algorithm for producing computer generated halftone p…
2475 …abstract = "Characteristics of an interactive software system, intended to constitute an inter…
2496 …abstract = "System described is hardware independent. Elements common to all types of data plo…
2520 …abstract = "Differential equation of the $(y')^2 = f(y)$ are difficult to integrate numericall…
2544 …abstract = "A recently published method for the interpolative solution of nonlinear equations …
2569 …abstract = "On computing machines with slow or no division, it is preferable to use an iterati…
2593 …abstract = "A comparison of complex matrix with real matrix inversion is made. It is shown tha…
2614 …abstract = "The average asymptotic number of comparisons needed is shown to be $! n log_2 (n)$…
2743 …abstract = "A formalism is presented for describing the actions of processors for programming …
2908 …abstract = "An interactive program with a graphical display has been developed for the approxi…
2963 …abstract = "NEATER2 accepts a PL/I source program and operates on it to produce a reformatted …
3184 …abstract = "A theoretically most efficient search algorithm is presented which uses an exhaust…
3317 …abstract = "A study of multiaccess computer communications has characterized the distributions…
3409 …abstract = "Three cyphers allegedly authored by Thomas Jefferson Beale in 1822 have been the s…
3451 …abstract = "Given the horizontal and vertical projections of a finite binary pattern $f$, can …
3473 …abstract = "In this paper CADEP, a problem-oriented language for positioning geometric pattern…
3514 …abstract = "A. N. Habermann's method of deadlock prevention is discussed, where deadlock is de…
3536 …abstract = "An informal description is given of the purpose of the program and the method used…
3558 …abstract = "The purpose of this note is to report computational experience additional to that …
3655 …abstract = "S. Pollack has proposed an algorithm for converting decision tables into flowchart…
3693 …abstract = "A scheduling and swapping algorithm which keeps the resource count of each process…
3715 …abstract = "The effectiveness of certain time-sharing techniques such as program relocation, d…
3736 …abstract = "An automatic learning capability has been developed and implemented for use with t…
3757 …abstract = "\ldots{}unction for binary tree values, the values reflecting sorting effort. The …
3779 …abstract = "A sequential pattern recognition (SPR) procedure does not test all the features of…
3801 …abstract = "Complex interval arithmetic is defined using real interval arithmetic. Complex int…
3842 …abstract = "A television-like scanned-display system has been successfully implemented on a Ho…
3864 …abstract = "An elementary outline of the theorem-proving approach to automatic program synthes…
3886 …abstract = "This paper presents the scheduling algorithm used in the Computer Assisted Registr…
3908 …abstract = "The utilization of storage is studied in a two-level memory hierarchy. The first s…
3932 …abstract = "A criterion for the selection of the order of approximation is proposed. The objec…
4013 …abstract = "The results of a study of eight different keyto-address transformation methods app…
4037 …abstract = "A microassembly language is developed and the overhead involved in subroutine link…
4078 …abstract = "The division algorithm theorem is expressed in a form that permits it to serve as …
4120 …abstract = "This introduction gives a review of the current state of the art in the systems an…
4139 …abstract = "One of the suggested means for stimulating the spread of computing capabilities in…
4160 …abstract = "This paper describes a computer aided heuristic technique which uses only a modest…
4202 …abstract = "This paper demonstrates that a wide class of problems can be formulated as coverin…
4224 …abstract = "Variables of label mode are conventionally implemented with a technique which fail…
4249 …abstract = "An inductive method for proving things about recursively defined functions is desc…
4312 …abstract = "Systematic generation of a specific class of permutations fundamental to schedulin…
4351 …abstract = "Two views of computer science are considered: a global view which attempts to capt…
4374 …abstract = "In this paper the Ritz-Trefftz algorithm is applied to the computer solution of th…
4394 …abstract = "An algorithm is developed for compiling, as a sequence of shifts, additions,and su…
4514 …abstract = "A class of context-free grammars, called the ``Simple LR(k)'' or SLR(k) grammars i…
4562 …abstract = "An efficient method is presented for finding blocks and cutnodes of an arbitrary u…
4582 …abstract = "A fixed buffer allocation for merge-sorting is presented here which minimizes the …
4605 …abstract = "An arithmetic expression can often be broken down into its component subexpression…
4628 …abstract = "The original work of Gale and Shapley on an assignment method using the stable mar…
4709 …abstract = "This paper surveys the applications of symbolic computation techniques to problems…
4828 …abstract = "The paper describes some applications of symbolic algebra systems to problems of g…
4854 …abstract = "Three approaches to symbolic integration in the 1960's are described. The first, f…
4897 …abstract = "An efficient bit table technique for dynamic storage allocation of $2^n$-word bloc…
5111 …abstract = "A general discussion of the measurement of software systems is followed by a descr…
5216 …abstract = "Various dispersion algorithms for the polyphase sorting procedure are examined.The…
5300 …abstract = "There are situations in the natural sciences and medicine (e.g. in electron micros…
5320 …abstract = "The best of a dozen different methods for compressing map data is illustrated. The…
5385 …abstract = "A language, BLISS, is described. This language is designed so as to be especially …
5469 …abstract = "The assignment problem, together with Munkres proposed algorithm for its solution …
5619 …abstract = "A parallel processing algorithm for shrinking binary patterns to obtain single iso…
5640 …abstract = "Hough has proposed an interesting and computationally efficient procedure for dete…
5787 …abstract = "Because of the problems created by the explosion of papers in the mathematical sci…
6141 …abstract = "A program's working set $W(t,T)$ at time $t$ is the set of distinct pages among th…
6187 …abstract = "A system of communication between processes in a time-sharing system is described …
6235 …abstract = "A method is presented of determining which parts of three-dimensional objects are …
6274 …abstract = "The purpose of this paper is to describe a course concerned with both the effects …
6513 …abstract = "Clenshaw-Curtis quadrature is a particularly important automatic quadrature scheme…
6536 …abstract = "In a companion paper to this, ``I Methodology and Experiences,'' the automatic Cle…
6558 …abstract = "Setting the Reynolds number equal to zero, in a method for solving the Navier-Stro…
6870 …abstract = "A technique for proving min-max norms of sorting algorithms is given. One new algo…
7186 …abstract = "Following the fix point theory of Scott, the semantics of computer programs are de…
7293 abstract = "Reproduced in Advances in Computer Commun., Chu,W.W (Ed.), (1974), 246-253.",
7373 …abstract = "In spite of impressive gains by PL/I, Fortran and Cobol remain the languages in wh…
7393 …abstract = "This paper discusses both the history and future of programming languages (= highe…
7733 …abstract = "Koster, the inventor of affix grammars, suggests a top-down scheme for parsing the…
7756 …abstract = "Criteria for acceptable redistricting are discussed, including population equality…
7779 …abstract = "A design philosophy for developing a sophisticated utility program is illustrated …
7802 …abstract = "The development of the research project in microprogramming and emulation at State…
7828 …abstract = "In the model presented, the number of page-frames of main memory allocated to a pr…
7978 …abstract = "Several parallelized algorithms are presented for the solution of certain spanning…
8001 …abstract = "Some important theorems on the consecutive retrieval property are proved. Conditio…
8024 …abstract = "The structure of a general contour map is analyzed, and its topological properties…
8049 …abstract = "The problem considered is that of evaluating a rational expression to within any d…
8102 …abstract = "Three thinning algorithms are developed: one each for use with rectangular, hexago…
8226 …abstract = "We shall do a much better programming job, provided that we approach the task with…
8242 …abstract = "A hardware implementation on the Maniac II computer of the working set model for d…
8268 …abstract = "Various methods are known for transforming uniformly distributed random numbers in…
8299 …abstract = "The inversion of a particular integral equation of the first (Fredholm) kind is th…
8322 …abstract = "A system is described for generating English sentences from a form of semantic net…
8345 …abstract = "Two algorithms for generating computer programs from decision tables are described…
8368 …abstract = "A family of sorting algorithms is proposed, the members of which make fuller use o…
8421 …abstract = "The integration methods represented include multistep methods (predictor-corrector…
8445 …abstract = "Two algorithms are presented in the form of Fortran subroutines. Each subroutine c…
8470 …abstract = "An algorithm is described based on Newton's method which simultaneously approximat…
8493 …abstract = "This paper attempts to isolate the notion of type checking and presents a partial …
8516 …abstract = "The constructs of a simple programming language are introduced and described infor…
8539 …abstract = "The algorithms are first derived for treating decision tables not containing an EL…
8562 …abstract = "In list processing there is typically a growing demand for space during program ex…
8585 …abstract = "A method for generating values of continuous symmetric random variables that is re…
8715 …abstract = "The classical process of partitioning an array into subarrays is extended to a mor…
8738 …abstract = "The paper describes a scheme for symbolic manipulation of index expressions which …
8761 …abstract = "The method permits editing of the source language using a general purpose text edi…
8784 …abstract = "A new linear search for hash tables whose increment step is a function of the key …
8826 …abstract = "An integral equation representation is given for parabolic partial differential eq…
8849 …abstract = "This paper discusses modularization as a mechanism for improving the flexibility a…
8872 …abstract = "An increasing amount of software is being implemented in a portable form. A popula…
8895 …abstract = "The scheduling methods tested included the best possible and worst possible method…
8978 …abstract = "The results are presented of an analysis of a probabilistic model of a multiprogra…
9001 …abstract = "When the space allocation for a hash-coded table is altered, the table entries mus…
9026 …abstract = "Linguistic mechanisms which can be used to protect one subprogram from another's m…
9052 …abstract = "This paper discusses the multiplication of conformable sequences of row vectors, c…
9075 …abstract = "A method of analyzing statements in a programming language which can tolerate a co…
9101 …abstract = "A previous paper presented an efficient algorithm, called the Recomputation Algori…
9127 …abstract = "An algorithm is described for reducing a generalized eigenvalue problem to an ordi…
9281 …abstract = "A novel computer-searchable representation for the three basic pictorial features,…
9307 …abstract = "Both in designing a new programming language and in extending an existing language…
9333 …abstract = "The notion of a discrete pattern is formalized and certain properties deduced. A p…
9359 …abstract = "The Cauchy-Ostrowski theorem on convergence of Newton iterates for an analytic fun…
9383 …abstract = "A new method for entering and retrieving information in a hash table is described.…
9405 …abstract = "A critical failure of current software system design and implementation methodolog…
9428 …abstract = "This paper explores the advantages of the concurrent design of the language, opera…
9470 …abstract = "This report gives recommendations for the content, implementation, and operation o…
9494 …abstract = "A method for saving storage space for text strings, such as compiler diagnostic me…
9517 …abstract = "The use of a front-end minicomputer to provide varied remote terminal access to a …
9540 …abstract = "A study is made of the way in which asynchronous time division multiplexing change…
9563 …abstract = "PL/C is a compiler for a dialect for PL/I. The design objective was to provide a m…
9702 …abstract = "Computing machines which directly execute the statements of a high level language …
9728 …abstract = "A study is presented of some of the system implications of memory hierarchies in w…
9754 …abstract = "This paper presents the statistical results of tests of the accuracy of certain ar…
9777 …abstract = "The problem of searching the set of keys in a file to find a key which is closest …
9800 …abstract = "A method of converting a picture into a ``cartoon'' or ``map'' whose regions corre…
9823 …abstract = "The behavior of a computer system is largely dependent upon the algorithm employed…
9884 …abstract = "The nature of the difficulty involved in communicating mathematical results betwee…
9907 …abstract = "Programming by questionnaire combines aspects of decision table programming and ge…
9930 …abstract = "This paper comments upon recently published work on decision table translation usi…
9953 …abstract = "A probabilistic analysis is employed to determine the effect of hierarchical stora…
9977 …abstract = "A procedure for constructing a minimal event-node network to represent a set of pr…
10000 …abstract = "A package of Fortran programs has been developed that permits a user to interactiv…
10023 …abstract = "An efficient, nonrecursive algorithm is given for moving any LIST-type list. In pa…
10254 …abstract = "WYLBUR is a comprehensive system for manipulating all kinds of text, such as compu…
10277 …abstract = "Resource scheduling and allocation can be expensive with regard to time and space …
10456 …abstract = "The concept of ``threaded code'' is presented as an alternative to machine languag…
10518 …abstract = "The matrices involved in a linear least squares formulation are determined for the…
10540 …abstract = "The cubic spline approximation to the fourth-order differential equation $y''''+p(…
10561 …abstract = "In computer assisted typesetting by means of photocomposition, special problems ar…
10582 …abstract = "Based on the study of expenditures for data processing, a descriptive stage hypoth…
10608 …abstract = "Since the logical structure of a data base can be represented by a tree or graph, …
10631 …abstract = "COKO III is a chess player written entirely in Fortran. On the IBM 360-65, COKO II…
10654 …abstract = "Mixtures of detection, avoidance, and prevention provide more effective and practi…
10677 …abstract = "A virtual memory computer system with a fast buffer (cache) memory between primary…
10699 …abstract = "This paper presents the goals and organization of a course about programming desig…
10721 …abstract = "An addendum to the Report of the ACM Curriculum Committee on Computer Education fo…
10879 …abstract = "A learning program has been written in BASIC to play four-player partnership domin…
10905 …abstract = "The notions of data item, function, and relation. It is argued that the system is …
10929 …abstract = "Petri nets are investigated as one method of modeling speed independent asynchrono…
11165 …abstract = "There are two main purposes in this paper: first, clarification and extension of k…
11191 …abstract = "A well-formed program is defined as a program in which loops and if statements are…
11214 …abstract = "A generalization of AVL trees is proposed in which imbalances up to (triangle shap…
11239 …abstract = "Methods are presented for computing the equilibrium distribution of customers in c…
11269 …abstract = "Using ideas from information theory, this paper develops a heuristic algorithm tha…
11292 …abstract = "This work first discusses the factors that affect file (data base) organization pe…
11316 …abstract = "This paper poses an optimization problem in the design of such trees to serve a we…
11339 …abstract = "The working set model for program behavior has been proposed in recent years as a …
11362 …abstract = "A simple technique for the symbol-table lookup of structured variables based on si…
11408 …abstract = "An error analysis for some bivariate cubatures is given. The remainders are obtain…
11580 …abstract = "User-written programs on the Dartmouth Time-Sharing System can communicate with ma…
11603 …abstract = "This paper presents an implementation technique using a single stack to hold proce…
11615 …eral Performance Analysis of Key-to-Address Transformation Methods Using an Abstract File Concept",
11626 …abstract = "This paper presents a new approach to the analysis of performance of the various k…
11633 …keywords = "abstract file concept; access; direct addressing; file organisation; hashing; info…
11650 …abstract = "This note explores the problem of confining a program during its execution so that…
11674 …abstract = "A new dynamic memory allocation algorithm, the Fibonacci system, is introduced. Th…
11697 …abstract = "Denning's method for selecting the working set parameter, which uses interreferenc…
11720 …abstract = "As part of an effort to design and implement a Fortran compiler on the ILLIAC IV, …
11879 …abstract = "Dynamic verification of a decision implies that every time the decision is made th…
11902 …abstract = "This paper describes a parser-generating system (PGS) currently in use on the CDC-…
11925 …abstract = "The scan conversion algorithm that is described uses a linked list data structure …
11948 …abstract = "This paper presents a detailed description of the program and a comprehensive acco…
12089 …abstract = "A counterexample to the supposed optimality of an algorithm for generating schedul…
12189 …abstract = "Two methods for solving the biharmonic equation are compared. One method is direct…
12211 …abstract = "The need for education related to information systems in organizations is discusse…
12331 …abstract = "The solution of linear systems having real, symmetric, diagonally dominant,tridiag…
12377 …abstract = "Tridiagonalizing a matrix by similarity transformations is an important computatio…
12514 …abstract = "This article analyzes the high cost of page accessing and proposes a method called…
12537 …abstract = "Raster scan computer graphics displays with ``real time'' character generators hav…
12563 …abstract = "Tukey's lambda distribution is generalized to provide an algorithm for generating …
12590 …abstract = "Methods are developed for the parallel execution of different iterations of a DO l…
12613 …abstract = "Since the development of BNF, the definition of the syntax of programming language…
12639 …abstract = "Current methods for mechanical program verification require a complete predicate s…
12662 …abstract = "A general method of constructing a drive workload representative of a real workloa…
12685 …abstract = "A probabilistic model of a multiprogramming system is exercised in order to determ…
12708 …abstract = "When the amount of space required for file storage exceeds the amount which can be…
12732 …abstract = "Detailed performance evaluations are presented for six ACM algorithms: quicksort (…
12800 …abstract = "Raster scan computer graphics with ``real time'' character generators have previou…
12867 …abstract = "Nonlinear least squares problems frequently arise for which the variables to be so…
12890 …abstract = "This paper proposes and analyzes a demand paged virtual memory computer system. Th…
12913 …abstract = "An algorithm is given for calculating page fault probability in a virtual memory s…
12936 …abstract = "Data are presented which show the execution characteristics of two types of common…
12959 …abstract = "The timetable problem is an essentially discrete problem. Although the discrete pr…
12982 …abstract = "Two new algorithms are presented for list structure copying using bounded workspac…
13005 …abstract = "Two methods for employing parallelism in tape-sorting are presented. Method A is t…
13128 …abstract = "An improved program-synthesizing algorithm based on the algorithm proposed by Wald…
13155 …abstract = "The spline under tension was introduced by Schweikert in an attempt to imitate cub…
13241 …abstract = "Programming languages tailored to particular groups of users can often be construc…
13264 …abstract = "In constructing a general purpose programming language, a key issue is providing a…
13287 …abstract = "A method is presented for calculating a string B, belonging to a given regular lan…
13313 …abstract = "Generalized logarithmic law is derived for the distribution of the first t signifi…
13336 …abstract = "A number theory package is described which uses doubly linked list structures for …
13379 …abstract = "This paper presents the background and algorithms for masking the rotational laten…
13403 …abstract = "Two languages enabling their users to estimate the efficiency of computer programs…
13434 …abstract = "Because of the large number of strategies and inference rules presently under cons…
13458 …abstract = "The paper describes a technique for compacting character sets in a digital compute…
13653 …abstract = "Methods for the compact representation of contour plots are described and tested. …
13676 …abstract = "This paper describes the design philosophy of HYDRA the kernel of an operating sys…
13700 …abstract = "Using direct access computer files of bibliographic information, an attempt is mad…
13727 …abstract = "Two algorithms are presented that construct the $k$ shortest paths between every p…
13750 …abstract = "This paper discusses the nature and implementation of the file system and of the u…
13774 …abstract = "This article investigates the application of minimal-total-processing-time (MTPT) …
13801 …abstract = "A deterministic model of independent tasks is introduced and new results are deriv…
13825 …abstract = "The design of mechanisms to control the sharing of information in the Multics syst…
13848 …abstract = "Various addressing schemes making use of segment tables are examined. The inadequa…
13876 …abstract = "A model of a third-generation-like computer system is developed. Formal techniques…
13882 …keywords = "abstract model; architectures; computer architecture; computer operating systems; …
13899 …abstract = "This paper describes techniques that can, in most cases, decrease storage size by …
13923 …abstract = "In many computer operating systems a user authenticates himself by entering a secr…
13947 …abstract = "The protection of time sharing systems from unauthorized users is often achieved b…
13971 …abstract = "The time taken to decipher 20,000 words of data by four additive methods on a Cont…
13997 …abstract = "A necessary and sufficient condition is presented for the existence of a solution …
14023 …abstract = "A simple solution to the mutual exclusion problem is presented which allows the sy…
14046 …abstract = "The problems of converting programs to decision tables are investigated. Objective…
14132 …abstract = "Let $R$ be an open, bounded, simply connected region in the $(x,y)$-plane and let …
14152 …abstract = "A new interpolation function is introduced. It has infinitely many continuous deri…
14174 …abstract = "The class of functions defined by $\int_0^\infty[\exp(- cX)dt/(1+Y)(t^{1/2})^k]$ w…
14197 …abstract = "A new integration algorithm is found, and an implementation is compared with other…
14220 …abstract = "A description is given of a program for computing the solution to a small number o…
14247 …abstract = "Using linear programming, an interactive graphic display system has been implement…
14272 …abstract = "The class of reducing transition languages introduced by Eickel, Paul, Bauer, and …
14380 …abstract = "This paper modifies an earlier algorithm for converting decision tables into flowc…
14404 …abstract = "This paper develops Brinch-Hansen's concept of a monitor as a method of structurin…
14430 …abstract = "An extension of the buddy method, called the weighted buddy method, for dynamic st…
14453 …abstract = "Finite-length reference string of arbitrary structure are considered, and an exact…
14476 …abstract = "Programming systems which permit arbitrary linked list structures enable the user …
14500 …abstract = "It is proposed that the data base management function be placed on a dedicated bac…
14525 …abstract = "This paper presents a theoretical justification and an illustrative implementation…
14641 …abstract = "Data from the 1970 Census and the Department of Labor's Area Wage Surveys are used…
14661 …abstract = "This report is the result of an intensive analysis of conditions that may humanize…
14684 …abstract = "A new approach to program locality improvement via restructuring is described. The…
14707 …abstract = "This paper describes LPARS, a locally-organized parsing system, designed for use i…
14730 …abstract = "A method is described for composing musical rounds by computer. This method uses s…
14753 …abstract = "This paper introduces the notion of usage counts, shows how usage counts can be de…
14873 abstract = "Discussion emphasizes that computer programming is an art as well as a science.",
14896 …abstract = "In this article the author urges a prudent and decentralized approach to the quest…
14919 …abstract = "A simple analytic model has been developed for investigating the effects of the HA…
14942 …abstract = "The problem of scheduling two or more processors to minimize the execution time of…
14968 …abstract = "When the shape parameter, alpha, is integral, generating gamma random variables wi…
15002 …abstract = "The problem classically titled ``The Examination Schedule Problem'' takes various …
15028 …abstract = "An explicit, coupled, single-step method for the numerical solution of initial val…
15098 …abstract = "Heuristic procedures are presented which have been developed to perform inferences…
15151 …abstract = "This paper describes a high level and nonprocedural translation definition languag…
15170 …abstract = "Each of the four types of institutions --- academic, industry, government, and the…
15196 …abstract = "Following some lines of joint work with A. S. Householder, the character and use o…
15223 …abstract = "The lemniscate constants, and indeed some of the methods used for actually computi…
15250 …abstract = "The stability of the Gauss-Jordan algorithm with partial pivoting for the solution…
15278 …abstract = "A discussion is given of two functions of the entries of a square matrix, both rel…
15305 …abstract = "The problem considered is to give bounds for finite perturbations of simple and mu…
15331 …abstract = "The elementary divisors of a tensor product of linear transformations have been kn…
15358 …abstract = "This paper is devoted to the study of connections between pseudoinverses of matric…
15385 …abstract = "Structured programming has proved to be an important methodology for systematic pr…
15412 …abstract = "Usually n decimal digits are represented by 4n bits in computers. Actually, two BC…
15440 …abstract = "This paper is concerned with stability and accuracy of families of linear $k$-step…
15467 …abstract = "By considering the (sample) mean of a set of data as a fit to this data by a const…
15511 …abstract = "A model of interleaved memory systems is presented, and the analysis of the model …
15534 …abstract = "A model of natural language generation based on an underlying language-free repres…
15560 …abstract = "This paper suggests a bidirectional relationship between state-space and problem-r…
15584 …abstract = "An efficient procedure for detecting approximate circles and approximately circula…
15610 …abstract = "The paper describes an efficient method for reduction of the binary matrices which…
15633 …abstract = "This paper describes the design and implementation of a system for typesetting mat…
15662 …abstract = "GLYPNIR is one of the earliest existing languages designed for programming the Ill…
15685 …abstract = "A new selection algorithm is presented which is shown to be very efficient on the …
15731 …abstract = "A recursive algorithm for computing the inverse of a matrix from the LU factors ba…
15757 …abstract = "The recurrence relation between orthogonal polynomials is widely used for discrete…
15799 …abstract = "This report discusses a problem first introduced by Patil, who has claimed that th…
15822 …abstract = "This study presents the results of a nationwide survey of computer networks in hig…
15883 …abstract = "One of the principal components of procedures for the solution of class-teacher ti…
15906 …abstract = "A technique is presented which allows a class of solid objects to be synthesized a…
15929 …abstract = "Previous work on quadratic hash methods is limited mainly to the case where the ta…
15955 …abstract = "An algorithm is given for computing the transitive closure of a binary relation th…
15978 …abstract = "A simple scheme for the determination of the location of a block of storage relati…
16002 …abstract = "Four algorithms are considered which can be used to schedule events in a general p…
16063 …abstract = "A bounded workspace copying algorithm for arbitrary list structures is given. This…
16086 …abstract = "The need to envision and architecture data base systems in a hierarchical level by…
16109 …abstract = "The paper describes a working analysis and generation program for natural language…
16232 …abstract = "Peaks in a digitized waveform are detected by an algorithm incorporating piecewise…
16255 …abstract = "The Designer Problem Solver (DPS) demonstrates that the computer can perform simpl…
16314 …abstract = "The quality of computer generated images of three-dimensional scenes depends on th…
16337 …abstract = "The trend in computer systems is toward the use of multilevel storage hierarchy sy…
16360 …abstract = "This paper compares a new method of simulation organization, called the significan…
16383 …abstract = "An efficient arrangement for interpretive code is described. It is related to Bell…
16406 …abstract = "A simplified recombination scheme for the Fibonacci buddy system which requires ne…
16432 …abstract = "This paper describes a simple, efficient algorithm to locate all occurrences of an…
16458 …abstract = "The problem of finding a longest common subsequence of two strings has been solved…
16482 …abstract = "This paper presents a generalization of an old programming technique; using it, on…
16529 …abstract = "Simulation models of large, complex ``real-world'' applications have occasionally …
16573 …abstract = "A step-by-step approach to model the dynamic behavior and evaluate the performance…
16596 …abstract = "The paper describes the internal structure of a large operating system as a set of…
16619 …abstract = "This paper presents a programming language designed specifically for the compact a…
16642 …abstract = "This paper deals with the design of hierarchically structured programming systems.…
16668 …abstract = "This paper describes a method for finding the rectangle of minimum area in which a…
16692 …abstract = "Hash searching is a technique in which a key is mapped into a unique address assoc…
16734 …abstract = "Report on some experiments whose results have helped to understand differences in …
16760 …abstract = "Methods of describing the syntax of programming languages in ways that are more fl…
16786 …abstract = "So-called ``guarded commands'' are introduced as a building block for alternative …
16839 …abstract = "Interactive programming systems often contain help commands to give the programmer…
16915 …abstract = "This paper studies the properties of a new class of file organizations (CRWR) wher…
16938 …abstract = "A method is described which allows parallel processing of packed data items using …
16961 …abstract = "The techniques for minimizing logic circuits are applied to the simplification of …
16985 …abstract = "Algorithms for a multiprocessing compactifying garbage collector are presented and…
17008 …abstract = "This paper develops the multidimensional binary search tree (or k-d tree, where k …
17031 …abstract = "This paper deals with the development of a mathematical model for and the digital …
17054 …abstract = "Determining a policy for efficient allocation and utilization of a set of disk dri…
17086 …abstract = "One means of analyzing program performance is by deriving closed-form expressions …
17109 …abstract = "The functional approach to database design is introduced. In this approach the goa…
17134 …abstract = "This paper describes a high level and nonprocedural translation definition languag…
17157 …abstract = "A relational algebra interface, called SQUIRAL, is described in detail. SQUIRAL se…
17181 …abstract = "SEQUEL is a nonprocedural language which does not make use of quantifiers or other…
17205 …abstract = "Consider two linearly ordered sets A, B, vertical A vertical equals m, vertical B …
17228 …abstract = "The solution of separable closed queueing networks requires the evaluation of homo…
17257 …abstract = "In a document retrieval, or other pattern matching environment where stored entiti…
17282 …abstract = "This paper presents a data sublanguage called SQUARE, intended for use in ad hoc, …
17305 …abstract = "The classic result of Bohm and Jacopini on the theoretical completeness of if-then…
17328 …abstract = "This paper describes a recovery scheme for syntax errors which provides automatica…
17351 …abstract = "The purpose of this paper is twofold. First, a brief exposition of the general bac…
17377 …abstract = "This note discusses the reduction of the set basis problem to the clique cover pro…
17403 …abstract = "Some social aspects of programming are illuminated through analogies with similar …
17409 …keywords = "abstract constructs; artificial; auxiliary languages; computer programming languag…
17426 …abstract = "This paper defines exception conditions, discusses the requirements exception hand…
17453 …abstract = "Attribute grammars are an extension of context-free grammars devised by Knuth as a…
17480 …abstract = "The problem of determining whether an arbitrary context-free grammar is a member o…
17504 …abstract = "A new algorithm for global flow analysis on reducible graphs is presented. The alg…
17529 …abstract = "When proving that a parallel program has a given property it is often convenient t…
17552 …abstract = "SETL is a set-theoretically oriented language of very high level whose repertoire …
17575 …abstract = "The form, extent, and effect of the communication line overhead in the ARPANET are…
17605 …abstract = "A model for disk accesses based on published measurements is developed. The model …
17628 …abstract = "Two analytic models of a store-and-forward communications network are constructed,…
17657 …abstract = "This paper presents the results of simulations that investigate the performance of…
17682 …abstract = "Items in business systems have to be identified by reference codes, which can late…
17706 …abstract = "This paper provides data on Cobol error frequency for correction of errors in stud…
17749 …abstract = "This paper describes attribute grammars and their use for the definition of progra…
17775 …abstract = "This paper examines a class of heuristics for maintaining a sequential list in app…
17799 …abstract = "Classical permutation enumeration algorithms encounter special cases requiring add…
17822 …abstract = "This paper presents a method for detecting edges and contours in noisy pictures. T…
17845 …abstract = "This paper discusses a simulation model of a data retrieval system which has the e…
17872 …abstract = "A counterexample is exhibited to a natural conjecture concerning the optimal way t…
17898 …abstract = "A fast algorithm for division by constant divisors is presented. The method has pr…
17945 …abstract = "A multipriority batch computer system which users from several different classes m…
17968 …abstract = "The global data relationships in a program can be exposed and codified by the stat…
17991 …abstract = "This paper is concerned with the control over what a user is allowed to do with a …
18049 …abstract = "From its inception, the BASIC language has grown in terms of its usage, scope of u…
18075 …abstract = "A conversational programming language for analytic geometry is described, together…
18119 …abstract = "Most present systems for verification of computer programs are incomplete in that …
18146 …abstract = "Mechanisms that guarantee secure information flow in a computer system are discuss…
18169 …abstract = "A security kernel is a software and hardware mechanism that enforces access contro…
18192 …abstract = "The main features of a general purpose multiaccess operating system developed for …
18215 …abstract = "This paper describes the design philosophy used in the construction of a family of…
18238 …abstract = "Monitors are devices for defining shared abstract objects in a multiprogramming sy…
18265 …abstract = "An axiomatic method for proving a number of properties of parallel programs is pre…
18288 …abstract = "The term ``locality'' is used to denote that subset of a program's segments which …
18311 …abstract = "A criterion for comparing variable space page replacement algorithms is presented.…
18337 …abstract = "An analytical model is presented to estimate the performance of the Page Fault Fre…
18379 …abstract = "This paper consolidates a number of popular rules of thumb which have been suggest…
18403 …abstract = "The memory interference caused by several processors simultaneously using several …
18426 …abstract = "An algorithm is presented for the assignment of instruction addresses and formats …
18449 …abstract = "An edge reference into a list structure is a pair of pointers to adjacent nodes. S…
18472 …abstract = "Previous approaches to the problem of automatically converting decision tables to …
18495 …abstract = "An efficient algorithm is presented for moving arbitrary list structures, using no…
18554 …abstract = "This paper is a report on a course entitled, ``The Technology of Computer Center M…
18580 …abstract = "Two formal models for parallel computation are presented: an abstract conceptual m…
18606 …abstract = "This paper describes the symbolic execution of programs. Instead of supplying the …
18629 …abstract = "Ethernet is a branching broadcast communication system for carrying digital data p…
18652 …abstract = "Decision tables can be used as an effective tool during an interview to record the…
18678 …abstract = "This paper describes a new technique for sampling from the gamma distribution on a…
18709 …abstract = "This paper presents a new data structure, called a compressed trie or C-trie, to b…
18732 …abstract = "A generalization of the buddy system for storage allocation is described. It is sh…
18780 …abstract = "This paper describes a set of tools and a philosophy for teaching software that ha…
18806 …abstract = "This paper is a tutorial introduction to the theory of programming language semant…
18832 …abstract = "An experimental system for computer-aided design of free-form surfaces in three di…
18858 …abstract = "A model of protection mechanisms in computing systems is presented and its appropr…
18882 …abstract = "A restriction on height-balanced binary trees is presented. It is seen that this r…
18942 …abstract = "List processing systems often use a method called garbage collection for reclaimin…
18969 …abstract = "The worst-case, minimum number of comparisons complexity V//i (n) of the i-th sele…
18995 …abstract = "The nodes of a weighted derivation tree are associated with weighting functions ov…
19018 …abstract = "A relatively simple method for the detection of recursive use of procedures is pre…
19044 …abstract = "Algorithms are presented to generate the n-bit binary reflected Gray code and code…
19067 …abstract = "This paper describes a new way of solving the storage reclamation problem for a sy…
19092 …abstract = "Context trees provide a convenient way of storing data which is to be viewed as a …
19115 …abstract = "In 1974 E. A. Catmull developed a new algorithm for rendering images of bivariate …
19139 …abstract = "By using an extension of traditional structure information, or a geometric hierarc…
19165 …abstract = "An algorithm for drawing pictures of three-dimensional objects, with surfaces made…
19188 …abstract = "A significant increase in the capability for controlling motion dynamics in key fr…
19211 …abstract = "The BMD and BMDP series are the results of methodological research and programming…
19256 …abstract = "The results of a survey concerning women and minority students and faculty in comp…
19298 …abstract = "A sample set of Cobol programming standards is offered. These standards constrain …
19321 …abstract = "CAPS is a highly interactive diagnostic compiler\slash interpreter that allows beg…
19344 …abstract = "A system for the compression of data files, viewed as strings of characters, is pr…
19371 …abstract = "In database systems, users access shared data under the assumption that the data s…
19395 …abstract = "A basic problem in database maintenance is to establish the proper tradeoff betwee…
19418 …abstract = "An easy to implement scheme is described by which a compiler can enforce agreement…
19441 …abstract = "This roster contains a list of 167 currently existing higher-level languages which…
19464 …abstract = "The Computer Science and Engineering Research Study (COSERS) is briefly described.…
19487 …abstract = "This paper describes the use of computer-aided analysis for the design and develop…
19510 …abstract = "A general waveform parsing system (WPS) with application to structural pattern rec…
19532 …abstract = "Techniques for designing and writing Cobol programs are presented. Previous work i…
19560 …abstract = "A bibliography of approximately two hundred references in computer science educati…
19583 …abstract = "This paper presents a model in which several requests access a file system, and ea…
19606 …abstract = "In this paper it is supposed that the variables x//1,\ldots{},x//n each have finit…
19629 …abstract = "The characteristics of the virtual memory requirements of a sample of Algol 60 pro…
19635 …keywords = "abstract; ALGOL; ALGOL 60; computer operating systems --- Storage Allocation; comp…
19666 …abstract = "Attention is first given to some of the general problems of multidimensional table…
19688 …abstract = "Static measurements of the list structure of five large Lisp programs are reported…
19715 …abstract = "The convex hulls of sets of n points in two and three dimensions can be determined…
19742 …abstract = "Transient free-average working-set size and transient-free missing-page rate for a…
19766 …abstract = "Circular arcs can be drawn on an incremental display device such as a cathode ray …
19789 …abstract = "An investigation into the average queue size for a certain class of queues has res…
19831 …abstract = "Clustering in the key set is decreased by smoothing the key-to-address transformat…
19857 …abstract = "Evaluation of a retrieval system in this study is based on optimizing the performa…
19880 …abstract = "This paper presents methods for empirical evaluation of features of Instruction Se…
19906 …abstract = "This paper presents a methodology for including the effects of finite memory size …
19929 …abstract = "A representation for polygons and polygonal lines is described which allows sets o…
19956 …abstract = "Various computations on relations, Boolean matrices, or directed graphs, such as t…
19979 …abstract = "The relationship of internal pricing systems for computer services (chargeout syst…
20002 …abstract = "A method is presented for evaluating computer system performance in terms of a cos…
20045 …abstract = "Precedence tables and linear precedence functions have been used and extensively s…
20071 …abstract = "A proof method, subgoal induction, is presented as an alternative or supplement to…
20094 …abstract = "A major problem in picture processing is the elimination of the large number of sp…
20117 …abstract = "A progress report is presented of on-going research efforts concerning human decis…
20140 …abstract = "A class of index structures modeled after the structure of VSAM --- similar to B-t…
20163 …abstract = "The s-shaped budget curve of R. Nolan's stage model of computer development in an …
20248 …abstract = "Two algorithms are presented for sorting n**2 elements on an n multiplied by n mes…
20275 …abstract = "A method for describing and structuring programs that simplifies proofs of their c…
20298 …abstract = "SP/k, a compatible subset of the PL/I language, is a sequence of language subsets …
20322 …abstract = "This paper extends the use of the regenerative property of queueing systems in the…
20350 …abstract = "An optimization procedure for the allocation of program and data files in a comput…
20373 …abstract = "Several algorithms-height-balance (i.e. AVL and extensions), weight-balance (i.e. …
20397 …abstract = "The Associative Processing of Line Drawings (APLD) System utilizes a hardware asso…
20420 …abstract = "Improvements to the exhaustive search method of best-match file searching have pre…
20446 …abstract = "In the system discussed, in a response to a query, the entire file containing hund…
20472 …abstract = "Storage and response-time requirements are contradictory in nature, and in any rea…
20498 …abstract = "Previously published algorithms for handling the longest common subsequence of two…
20522 …abstract = "Statistics are presented on the production and employment of Ph. D's in computer s…
20545 …abstract = "This paper describes previous research on flowcharts and a series of controlled ex…
20588 …abstract = "The system for business automation (SBA) is a system within which application expe…
20600 title = "Abstract Data Types and the Development of Data Structures",
20611 …abstract = "Abstract data types can play a significant role in the development of software tha…
20617 …keywords = "abstract data types; algebraic technique; computer metatheory; computer programmin…
20634 …abstract = "A new data type, called aggregate, is developed which, under certain criteria of `…
20658 …abstract = "A number of issues are explored concerning the notion that a data type is a set of…
20681 …abstract = "Two algorithms are presented for implementing any of a class of buddy systems for …
20704 …abstract = "A new algorithm is presented which copies cyclic list structures using bounded wor…
20727 …abstract = "Various methods of recursion elimination are applied to the schematic recursive pr…
20752 …abstract = "A theorem is given for deducing whether or not a given function can be computed th…
20775 …abstract = "Five interactive systems currently available on the ARPA network are compared. A s…
20798 …abstract = "This paper presents a scheme for classifying scheduling algorithms based on an abs…
20829 …abstract = "One of the major constraints on a topology information scheme is that it may not i…
20857 …abstract = "This paper describes a system for full-duplex communication between a time-shared …
20880 …abstract = "SITAR, a System for Interactive Text-editing, Analysis, and Retrieval, is in many …
20903 …abstract = "In the monitor concept, as proposed by Brinch Hansen and Hoare, event queues are u…
20926 …abstract = "An information flow policy specifies a set of security classes for information, a …
20949 …abstract = "The paper assumes a transaction oriented collection scheme, as proposed by Deutsch…
20972 …abstract = "Lucid is a formal system in which programs can be written and proofs of programs c…
20995 …abstract = "When a string appears as the subject of a SNOBOL4 statement, it may be scanned to …
21018 …abstract = "The experiences of Mesa's first users --- primarily its implementors --- are discu…
21041 …abstract = "The Alphard ``form'' provides the programmer with a great deal of control over the…
21047 …keywords = "abstract data types; abstraction and representation; Alphard; assertions; computer…
21065 …abstract = "CLU is a new programming language designed to support the use of abstractions in p…
21088 …abstract = "Programming is divided into three major categories with increasing complexity of r…
21111 …abstract = "This paper discusses an experiment that compares the programming reliability of su…
21134 …abstract = "A new event scheduling algorithm is presented which improves on two aspects of the…
21203 …abstract = "The framework for research in the theory of complexity of computations is describe…
21229 …abstract = "Logic has been long interested in whether answers to certain questions are computa…
21252 …abstract = "This report describes the Advanced Test in Computer Science which was recently int…
21275 …abstract = "An optimization technique known as inline substitution is analyzed. The optimizati…
21298 …abstract = "A minor hardware extension to the Honeywell 6180 processor is demonstrated to allo…
21324 …abstract = "Given an integer N, what is the computational complexity of finding all the primes…
21347 …abstract = "A strategy is presented for pagination of B*-trees with variable-length records. I…
21374 …abstract = "This paper presents a general solution to the problem of constructing a surface ov…
21398 …abstract = "An interactive computer graphics method has been developed for the rapid generatio…
21423 …abstract = "In contrast to the predominant use of low-level in termediate text, high-level dat…
21447 …abstract = "The basic ideas of nondeterministic programming are critically reconsidered to sin…
21472 …abstract = "Regular right part (RRP) grammars, which resemble PASCAL syntax diagrams, describe…
21495 …abstract = "The deadlock avoidance problem may be defined informally as the determination, fro…
21518 …abstract = "In this paper it is suggested that there are many situations where it would be adv…
21541 …abstract = "The structure of shared memory in a multiprocessor computer system is examined wit…
21565 …abstract = "An algorithm is presented that searches for the location, ``i,'' of the first occu…
21608 …abstract = "Two families of probability distributions are needed for use by a virtual memory s…
21631 …abstract = "Certain defects, such as jagged edges and disappearing detail, have long been an a…
21659 …abstract = "The problem of sharing data among asynchronous processes is considered. It is assu…
21682 …abstract = "Simulation data are reported showing that, in dynamic memory allocation, the avera…
21784 …abstract = "The structure of a very high level language designed for use in business data proc…
21811 …abstract = "A refinement of hashing which allows retrieval of an item in a static table with a…
21834 …abstract = "A simple algorithm which uses an indexed temporary table to perform reduction of o…
21860 …abstract = "A new technique of program transformation, called ``recursion introduction,'' is d…
21883 …abstract = "Investigation is made of the performance of 35 dynamic memory allocation algorithm…
21907 …abstract = "The efficient retrieval from a database of records that satisfy an expression invo…
21973 …abstract = "A sequential programming language forces the programmer to prescribe explicitly th…
21996 …abstract = "Recent developments in optimizing techniques have allowed a new design for compile…
22044 …abstract = "A language for specifying the intended behavior of communicating parallel processe…
22068 …abstract = "A measurement methodology applicable to in teractive computer service is described…
22150 …abstract = "Following a brief outline of the background of the MU5 project, the aims and ideas…
22173 …abstract = "The 1100 series systems are Sperry Univac's large-scale mainframe computer systems…
22196 …abstract = "The DECsystem 10, also known as the PDP-10, evolved from the PDP-6 (circa 1963) ov…
22219 …abstract = "This paper describes the CRAY-1, discusses the evolution of its architecture, and …
22221 …EN: CACMA2 ISSN: 0001-0782 Language: ENGLISH Journal Announcement: 7804 Abstract: The CRAY-1 is de…
22286 …abstract = "An encryption method is presented with the novel property that publicly revealing …
22309 …abstract = "The recursion removal algorithm presented by Strong and Walker is amplified and ap…
22335 …abstract = "E. Kellerman has presented a method for determining keyword conflicts and describe…
22359 …abstract = "The B-tree and its variants have, with increasing frequency, been proposed as a ba…
22384 …abstract = "Presentation of several numerical methods which may be used to obtain the stationa…
22415 …abstract = "It is shown that, for a consistent system of linear inequalities, any sequence of …
22441 …abstract = "This paper explores a technique for proving the correctness and termination of pro…
22465 …abstract = "Description of two operators that respond to step edges, but not to ramps. The fir…
22505 …abstract = "Results of a study of the use of an interactive computerized storage and retrieval…
22528 …abstract = "Traditional concepts of management information systems (MIS) bear little relation …
22573 …abstract = "D. S. Hischberg has established that insertions into one-sided height-balanced tre…
22600 …abstract = "Programmers and data structure designers are often forced to choose between altern…
22626 …abstract = "Five types of anomalous behavior which may occur in paged virtual memory operating…
22649 …abstract = "Based on an empirical study of more than 10,000 lines of program text written in a…
22675 …abstract = "Nonsingular binary matrices of order N, i.e., nonsingular over the field left brac…
22698 …abstract = "A simple algorithm is described for isolating the differences between two files. O…
22724 …abstract = "A general dynamic programming algorithm for converting limited extended, or mixed …
22748 …abstract = "A real-time list processing system is one in which the time required by the elemen…
22771 …abstract = "According to traditional conceptions of cryptographic security, it is necessary to…
22820 …abstract = "A data structure is described which can be used for representing a collection of p…
22895 …abstract = "An algorithm is presented for copying an arbitrarily linked list structure into a …
22918 …abstract = "Controlled sharing of information is needed and desirable for many applications an…
22924 …keywords = "abstract data types; access control; computer programming languages; constraints; …
22944 …abstract = "Proofs of program correctness tend to be long and tedious, whereas testing, though…
22967 …abstract = "In the past, programming systems have provided only a single general purpose imple…
22973 …keywords = "abstract data types; automatic programming; automatically; computer programming; d…
22990 …abstract = "The issues of how a programming language might aid in keeping track of physical un…
23013 …abstract = "Description of an integrated procedure mechanism that permits procedures to be use…
23036 …abstract = "A method for inducing knowledge by abstraction from a sequence of training example…
23062 …abstract = "Report on a new class of sufficient optimality conditions for pure and mixed integ…
23088 …abstract = "A new method for generating random variables from the gamma distribution with noni…
23118 …abstract = "It is shown that the optimal shift strategy for an electronic paging drum with var…
23144 …abstract = "A one-sided height-balanced tree is a binary tree in which every mode's right subt…
23167 …abstract = "The problem of selecting data items from a binary search tree according to a list …
23193 …abstract = "An approach is presented for determining the minimum, maximum, and average times t…
23216 …abstract = "A scheme is given for detecting and recovering from syntax errors in programs. The…
23239 …abstract = "Maintenance and enhancement of application software consume a major portion of the…
23262 …abstract = "Examination of the relationship between processing characteristics of programs and…
23285 …abstract = "The impact of an automated client-tracking system on the clients, caseworkers, adm…
23311 …abstract = "A mathematical model of a transaction-oriented system under intermittent failures …
23337 …abstract = "General equations are derived for estimating the maximum possible utilization of m…
23360 …abstract = "By typing requests in English, casual users will be able to obtain explicit answer…
23388 …abstract = "The decision tree complexity of computing the measure of the union of $n$ (possibl…
23414 …abstract = "Discussion of the computation of matrix chain products of the form M//1 multiplied…
23440 …abstract = "Interpolation search is a method of retrieving a desired record by key in an order…
23466 …abstract = "Presentation of pseudochaining as a new collision-resolution method. Pseudochainin…
23489 …abstract = "The concept of one event happening before another in a distributed system is exami…
23512 …abstract = "Shallow binding is a scheme which allows the value of a variable to be accessed in…
23535 …abstract = "A system for proving that programs written in a high level language are correctly …
23562 …abstract = "A simple technique for reasoning about equalities that is fast and complete for gr…
23588 …abstract = "Analytical results, related to the availability of a computer system constructed o…
23627 …abstract = "Conventional programming languages are growing ever more enormous, but not stronge…
23674 …abstract = "A parallel bucket-sort algorithm is presented that requires time O(log n) and the …
23698 …abstract = "Given an area of storage containing scattered, marked nodes of differing sizes, on…
23722 …abstract = "This paper suggests that input and output are basic primitives of programming and …
23746 …abstract = "Model studies of some integrated, feedback-driven scheduling systems for multiprog…
23803 …abstract = "A description is given of the structure and operation of a hybrid simulation model…
23826 …abstract = "A new interprocedural data flow analysis algorithm is presented and analyzed. The …
23849 …abstract = "Program verification applied to kernel architectures forms a promising method for …
23872 …abstract = "The working-set concept is extended for programs that reference segments of differ…
23896 …abstract = "An experiment in program testing is described that employs 59 highly experienced d…
23941 …abstract = "An event-manipulation system is presented consisting of two parts. The first part …
23990 …abstract = "For output to a character-oriented device, it is generally preferable to plot a co…
24032 …abstract = "A compiler for Fortran 77 may be larger than one for the 1966 standard Fortran, bu…
24056 …abstract = "Approximate queueing models for internal parallel processing by individual program…
24081 …abstract = "When sequential file structures must be used and binary searching is not feasible,…
24105 …abstract = "Investigation of the problem of optimal histogram matching using monotone gray lev…
24128 …abstract = "It is possible to use a small counter to keep approximate counts of large numbers.…
24151 …abstract = "Solutions to the Dutch National Flag Problem have been given by Dijkstra [1] and M…
24173 …abstract = "This paper is a practical study of how to implement the Quicksort sorting algorith…
24196 …abstract = "Scatter tables for open addressing benefit from recursive entry displacements, cut…
24219 …abstract = "In a two-level computer storage hierarchy, miss ratio measurements are often made …
24268 …abstract = "One of the problems facing managers of computer installations is the problem of co…
24291 …abstract = "SEMBEGS is a complete batch environment graphical system containing components for…
24314 …abstract = "Simulation is presented as a practical technique for performance evaluation of alt…
24337 …abstract = "A number of image analysis tasks can benefit from registration of the image with a…
24385 …abstract = "A simple method is described enabling simple precedence parsers to recover from sy…
24408 …abstract = "Evaluation of a conditional expression may succeed even when the ``deciding predic…
24429 …abstract = "A language concept for concurrent processes without common variables is introduced…
24456 …abstract = "The new class of PK trees is presented, where height balance is maintained for the…
24482 …abstract = "Split trees are a new technique for searching sets of keys with highly skewed freq…
24523 …abstract = "A constraint network representation is presented for a combinatorial search proble…
24547 …abstract = "As an example of cooperation between sequential processes with very little mutual …
24589 …abstract = "Use of encryption to achieve authenticated communication in computer networks is d…
24615 …abstract = "A new algorithm is presented for finding all primes between 2 and n. The algorithm…
24638 …abstract = "A new generation of computer terminals allows tab settings to be selected and set …
24661 …abstract = "The findings of a study designed to address the pressing problems associated with …
24684 …abstract = "An algorithm to detect logical errors in a limited-entry decision table and in loo…
24709 …abstract = "Optimal decision table conversion has been tackled in the literature using two app…
24732 …abstract = "A broadcast packet is for delivery to all nodes of a network. Algorithms for accom…
24744 title = "Abstract Data Types and Software Validation",
24758 …abstract = "A data abstraction can be naturally specified using algebraic axioms. The virtue o…
24764 …keywords = "abstract data type; algebraic axiomatizations; algebraic axioms; computer programm…
24781 …abstract = "Hierarchical programming is being increasingly recognized as helpful in the constr…
24818 …abstract = "In many industrial environments it is necessary to determine whether there is inte…
24841 …abstract = "Over the past decade there has been a significant growth in the use of computer te…
24866 …abstract = "A common internal organization of bubble memories consists of a set of (minor) loo…
24889 …abstract = "Simple queueing models are used to study the performance tradeoffs of multiple pro…
24918 …abstract = "Due to the linear structure of source text, difficulties may arise in a one-pass c…
24941 …abstract = "Syntactic transforms are the source to source program transformations which preser…
25004 …abstract = "A mathematical study of three approaches for defining nested array in APL is prese…
25030 …abstract = "The elimination of redundant computations and the moving of invariant computations…
25073 …abstract = "Thoth is a real-time operating system which is designed to be portable over a larg…
25096 …abstract = "Synchronization of concurrent processes requires controlling the relative ordering…
25122 …abstract = "A computer system uses several serial files. The files reside on a direct-access s…
25166 …abstract = "FOCUS is a number system and supporting computational algorithms especially useful…
25189 …abstract = "In two-class pattern recognition, it is a standard technique to have an algorithm …
25212 …abstract = "An extended form of semantic network is defined, which can be regarded as a syntac…
25218 …keywords = "abstract data; computer metatheory; formal logic; inference rules; logic; semantic…
25235 …abstract = "A method is described for the organization and retrieval of attribute based inform…
25273 …abstract = "An algorithm for detecting occurrences of a three-dimensional pattern of objects w…
25296 …abstract = "Econometric models of the U. S. computer market have been developed to study the r…
25320 …abstract = "A macro model of a distributed information system is presented. The model describe…
25345 …abstract = "An efficient and numerically stable method is presented for the problem of updatin…
25371 …abstract = "Efficient new heuristic methods to color the vertices of a graph are described whi…
25395 …abstract = "It is argued that formal verifications of programs, no matter how obtained, will n…
25419 …abstract = "An improvement is presented of LeLann's algorithm for finding the largest (or smal…
25443 …abstract = "Results show that with the present state of the art, approximately 40 percent of i…
25468 …abstract = "A variety of concepts, laws, and notations are presented which facilitate reasonin…
25492 …abstract = "A multi-interpreter system is a system in which programs execute by virtue of bein…
25553 …abstract = "A model is discussed for finding an efficient implementation of a business applica…
25576 …abstract = "An approach to distributed computing at the level of general purpose programming l…
25615 …abstract = "A cyclic-order property is defined for bodies bounded by smooth-curved faces. The …
25636 …abstract = "As computer technology matures, our growing ability to create large systems is lea…
25659 …abstract = "An algorithm is described for the construction in real-time of the convex hull of …
25685 …abstract = "In order to multiply matrices while minimizing the number of page fetches required…
25708 …abstract = "The possibility of giving different quality of service to jobs of different classe…
25799 …abstract = "We present a parallel algorithm which uses $n^2$ processors to find the connected …
25887 …abstract = "This report is based on the results of an NSF sponsored workshop held in Washingto…
25948 …abstract = "An algorithm for inserting an element into a one-sided height-balanced (OSHB) bina…
26017 …abstract = "Four algorithms for the numerical computation of the standard deviation of (unweig…
26044 …abstract = "A method of improved efficiency is given for updating the mean and variance of wei…
26426 …abstract = "Tailored to variable-length text strings, this hashing function uses very little a…
26544 …abstract = "A new algorithm for global flow analysis on reducible graphs is presented. The alg…
27157 …abstract = "The problem of partitioning into classes by means of a binary equivalence relation…
27159 annote = "Abstract in Dissertation Abstracts, v30 n2 p645b 1969.",