Lines Matching full:presented
497 … takes into account the weak bonds between variables. Some examples are presented, and the corresp…
950 …pelling errors. Sample 360 coding for performing spelling correction is presented. By using system…
1079 …ormance and of the limitations of its question-answering capability are presented and discussed. I…
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…
1685 …is technique \ldots{} between each input word. Experimental results are presented giving error rat…
1706 …ty of implementation and detection of ambiguities at execution time are presented. The first algor…
1834 …reby retard the convergence. A new method which has neither drawback is presented. Both the algori…
1965 … time-sharing commands and receive the corresponding output response is presented. The commands wi…
2075 …presented. The number of arithmetic operations and the number of storage locations are linear in $…
2096 …e derivation. In addition, a modified version of the basic algorithm is presented which blocks inf…
2268 …plus a separate access for the original entry point. A search method is presented which is computa…
2289 …d analysis of the performance measurement results obtained for them are presented. The insight gai…
2454 …hm development and then the algorithm itself are described. Results are presented and are compared…
2475 …n designer and computer during various steps of the design process, are presented. Main emphasis i…
2544 … problems in the Euler-Lagrange formulation. Quantitative estimates are presented which indicate t…
2614 …n of the `bound' of a partition. Another generalization of quicksort is presented which uses a bou…
2743 …presented for describing the actions of processors for programming languages-compilers, interprete…
3184 …presented which uses an exhaustive search to find all of the elementary circuits of a graph. The a…
3473 …guage for positioning geometric patterns in a two-dimensional space, is presented. Although the la…
3715 …presented, and the findings are discussed. The vehicle for this investigation was a SI-MULA based …
3779 …. \par Some computer simulated experiments in character recognition are presented. The results ind…
3886 …ment educational policy is described. Results from the first term's implementation are presented.",
4013 …o-address transformation methods applied to a set of existing files are presented. As each method …
4312 …E[k]\}$. Two algorithms treating the same example for five vertices are presented. It is very easy…
4351 …presented in terms of the kinds of knowledge, problems, and activities that exist within the disci…
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 …
5216 …ral other new dispersion algorithms with more straightforward logic are presented. Of the simple d…
5469 …with Munkres proposed algorithm for its solution in square matrices, is presented first. Then the …
5619 …presented. This procedure may be used for counting patterns on a matrix, and a hardware implementa…
6235 …abstract = "A method is presented of determining which parts of three-dimensional objects are …
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…
8102 …m is the same. Pictorial results produced by each of the algorithms are presented and the relative…
8299 …\par A number of test cases are presented. One set of actual experimental data is analyzed with th…
8368 … and thus yield longer sorted strings. Extensive simulation results are presented, and various imp…
8445 …abstract = "Two algorithms are presented in the form of Fortran subroutines. Each subroutine c…
8715 … to be of value in the design of other array languages. The description presented in this paper is…
8784 …tables whose increment step is a function of the key being addressed is presented. Comparisons wit…
8849 …teria used in dividing the system into modules. A system design problem presented and both a conve…
8978 …abstract = "The results are presented of an analysis of a probabilistic model of a multiprogra…
9001 … over the new space. A technique for accomplishing this rescattering is presented. The technique i…
9052 …al computers as well as parallel computers is discussed. Algorithms are presented which properly p…
9075 …ating the principles is described and preliminary operating results are presented. A final section…
9101 …abstract = "A previous paper presented an efficient algorithm, called the Recomputation Algori…
9494 …hrases which overlap exist. However, a dynamic programming algorithm is presented which solves the…
9728 …abstract = "A study is presented of some of the system implications of memory hierarchies in w…
9777 …presented together with their corresponding search algorithms, which are intended to reduce the nu…
9977 …presented. A minimal even-node network is an event-node network in which both the number of nodes …
10456 …abstract = "The concept of ``threaded code'' is presented as an alternative to machine languag…
10582 … of expenditures for data processing, a descriptive stage hypothesis is presented. It is suggested…
10608 …rmulating algorithms under a given set of constraints. \par The results presented may be valuable …
10905 … nature of recursive functions is briefly discussed, and a technique is presented by which they ca…
10906 …presented which abstracts the notions of data item, function, and relation. It is shown how the sy…
11239 …abstract = "Methods are presented for computing the equilibrium distribution of customers in c…
11241 …annote = "Methods are presented for computing the equilibrium distribution of customers in c…
11362 …table lookup of structured variables based on simple automata theory is presented. The technique o…
11720 … optimization problem. A satisfactory method of data allocation is then presented. Language struct…
12089 …generating schedules for trees of tasks with unequal execution times is presented. A comparison wi…
12211 …courses incorporating it are specified.Detailed course descriptions are presented. Program organiz…
12708 …es to disk packs, and packs to either resident or nonresident status is presented. Heuristics are …
12732 …abstract = "Detailed performance evaluations are presented for six ACM algorithms: quicksort (…
12800 …ersion algorithms which have been developed to support this display are presented. One is most sui…
12913 … system based on memory states, control states, and memory substates is presented. The algorithm i…
12936 …presented which show the execution characteristics of two types of commonly used programs in a lar…
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…
13155 …id the spurious critical points they induce. The defining equations are presented here, together w…
13287 …presented for calculating a string B, belonging to a given regular language L, which is ``nearest'…
13403 …nabling their users to estimate the efficiency of computer programs are presented. The program who…
13676 …urce,'' both physical and virtual, called an ``object.'' Mechanisms are presented for dealing with…
13700 … the greater part of which is used only infrequently. A novel method is presented, which maps the …
13727 …abstract = "Two algorithms are presented that construct the $k$ shortest paths between every p…
13774 …rst (SLTF) scheduling discipline. The results of the simulation studies presented show that neithe…
13923 …depends on keeping the table secret. In this paper a password scheme is presented which does not r…
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…
14430 …presented. The weighted buddy method allows block sizes of $2^k$ and $3(2^k)$, whereas the origina…
14661 …dehumanize participants in various computerized systems. The guidelines presented here were genera…
14730 …veral rounds generated by the computer implementation of the method are presented. Generally, the …
14942 …mic programming solution for the case in which execution times are random variables is presented.",
15002 …akes various forms in the literature. Most of these formulations can be presented in the terminolo…
15028 …nitial value problems for systems of ordinary differential equations is presented. \par The method…
15098 …abstract = "Heuristic procedures are presented which have been developed to perform inferences…
15467 …f the data. Methods for dealing with weighted data and data removal are presented. When updating t…
15511 …abstract = "A model of interleaved memory systems is presented, and the analysis of the model …
15560 … of clauses is interpreted in the state-space mode or in the problem-reduction mode is presented.",
15685 …abstract = "A new selection algorithm is presented which is shown to be very efficient on the …
15757 …ant of the classical algorithm which has better numerical properties is presented and the reason f…
15906 …abstract = "A technique is presented which allows a class of solid objects to be synthesized a…
16086 …ntified as having a first-order effect on performance. The formulations presented are necessary to…
16314 …ethods of object modeling and the related hidden surface algorithms are presented here. Human visu…
16406 …her tables nor repetitive calculations and uses only two additional bits per buffer is presented.",
16458 …wo strings has been solved in quadratic time and space. An algorithm is presented which will solve…
16529 …future event lists in discrete event simulations. \par There models are presented, all of which im…
16985 …presented and discussed. \par The simple case of two processors, one performing LISP-like list ope…
17157 …s for implementing the operators of E. F. Codd's relational algebra are presented, and a methodolo…
17504 …abstract = "A new algorithm for global flow analysis on reducible graphs is presented. The alg…
17575 …se is studied. Some measurements of line efficiency for the ARPANET are presented and by extrapola…
17605 …ean queue length. A simple example of an arrival sequence illustrating this anomaly is presented.",
17628 …e routing table maintained at each network node. Simulation results are presented which confirm th…
17898 …presented. The method has proved very useful implemented as microcode on a binary machine, and can…
18192 …multiaccess operating system developed for the CDC 6400 at Berkeley are presented, and its good an…
18265 …presented. A deductive system which is in some sense complete for partial correctness is defined. …
18311 …presented. An optimum page replacement algorithm, called VMIN, is described and shown to be optimu…
18337 …abstract = "An analytical model is presented to estimate the performance of the Page Fault Fre…
18379 … of design parameters on overall system costs. A specific design example is presented and solved.",
18426 …abstract = "An algorithm is presented for the assignment of instruction addresses and formats …
18495 …abstract = "An efficient algorithm is presented for moving arbitrary list structures, using no…
18580 …presented: an abstract conceptual model and a parallel-program model. The former model does not 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 … Algorithms for recovering discarded list structures in this manner are presented and analyzed to …
18995 …unctions over the vocabulary of a context-free grammar. An algorithm is presented for constructing…
19018 …ively simple method for the detection of recursive use of procedures is presented for use in compi…
19044 …abstract = "Algorithms are presented to generate the n-bit binary reflected Gray code and code…
19139 …imit. Second, a meaningful way is provided to vary the amount of detail presented in a scene. Thir…
19256 …dents and faculty in computer science during the years 1971 to 1975 are presented. Analysis of the…
19344 … for the compression of data files, viewed as strings of characters, is presented. \par The method…
19532 …abstract = "Techniques for designing and writing Cobol programs are presented. Previous work i…
19560 …earing in the literature since the publication of ``Curriculum '68'' is presented. The bibliograph…
19583 …nent information is not stored in the primary record. The model that is presented in this paper, b…
19629 …presented for the sizes of memory requests and for their holding times (lifetimes). The results ar…
19715 … and three dimensions can be determined with O(n log n) operations. The presented algorithms use t…
19880 …uctions. Other problems are briefly discussed. Experimental results are presented, obtained by ana…
20002 …abstract = "A method is presented for evaluating computer system performance in terms of a cos…
20071 …abstract = "A proof method, subgoal induction, is presented as an alternative or supplement to…
20117 …abstract = "A progress report is presented of on-going research efforts concerning human decis…
20248 …abstract = "Two algorithms are presented for sorting n**2 elements on an n multiplied by n mes…
20275 …and structuring programs that simplifies proofs of their correctness is presented. The method form…
20350 …e for the allocation of program and data files in a computer network is presented. This algorithm …
20373 …dependent measures (e.g. run time). A detailed analysis of code is also presented at a level belie…
20446 …ed, and the Boolean expression is evaluated for each record. The method presented improves the per…
20498 …d a best-case running time of O(n//2). An algorithm for this problem is presented which has a runn…
20502 …a best--case running time of $O(n^2)$. An algorithm for this problem is presented which has a runn…
20522 …abstract = "Statistics are presented on the production and employment of Ph. D's in computer s…
20611 …hnique for the specification of abstract data types. Among the examples presented is a top-down de…
20681 …presented for implementing any of a class of buddy systems for dynamic storage allocation. Each bu…
20704 …abstract = "A new algorithm is presented which copies cyclic list structures using bounded wor…
20829 …presented and explained; this protocol is quite general and could be implemented on any computer n…
20857 …arge number of terminals of various types. The overall system design is presented along with the a…
20903 …operations is given together with a correctness proof. Two examples are presented: the readers and…
20926 …he analysis phase of most existing compilers. Appropriate semantics are presented and proved corre…
21134 …abstract = "A new event scheduling algorithm is presented which improves on two aspects of the…
21347 …presented for pagination of B*-trees with variable-length records. If records of each length are u…
21423 …ysis problems. An illustrative application to live variable analysis is presented. \par Many of th…
21565 …abstract = "An algorithm is presented that searches for the location, ``i,'' of the first occu…
21631 …s prefiltering as a recognized cure. A method for evaluating filters is presented, the application…
21659 … is permitted. Two general theorems are proved, and some algorithms are presented to illustrate th…
21811 …presented for building, in a mechanical way, perfect hashing functions, i.e. functions transformin…
21834 …perform reduction of operator strength in strongly connected regions is presented. Several extensi…
22150 …array element accessing. An overall view of the complete MU5 complex is presented together with a …
22285 …cs of trap-door functions and the famous RSA public key cryptosystem are presented in this paper.",
22286 …abstract = "An encryption method is presented with the novel property that publicly revealing …
22309 …presented by Strong and Walker is amplified and applied to a relatively complex PL/I program. The …
22335 …abstract = "E. Kellerman has presented a method for determining keyword conflicts and describe…
22384 …ly, a means of estimating the error inherent in the decomposition of certain models is presented.",
22441 … to the more conventional methods. The intermittent-assertion method is presented with a number of…
22600 …rays cannot be stored as linear lists with bounded loss of proximity is presented. Average loss of…
22626 …presented. Two paging algorithm properties, the inclusion property and the generalized inclusion p…
22649 …mplemented efficiently. A highly compact instruction encoding scheme is presented, which can reduc…
22724 …d extended, or mixed entry decision tables to optimal decision trees is presented which can take i…
22748 …ional to the heap size to finish. A real-time list processing system is presented which continuous…
22895 …abstract = "An algorithm is presented for copying an arbitrarily linked list structure into a …
23036 …ks solved by a program that uses an interference-matching algorithm are presented. Several problem…
23062 …integer programming problems. Some of the sets of sufficient conditions presented can be thought o…
23167 …eve data satisfying the range conditions is called selective traversal. Presented in this paper is…
23193 …presented for determining the minimum, maximum, and average times to parse sentences acceptable by…
23414 …is presented. An O(n) algorithm to find an order of computation which takes less than 25 percent l…
23512 …unt of computation. An elegant model for shallow binding in Lisp 1.5 is presented in which context…
23562 … and complete for ground formulas with function symbols and equality is presented. A proof of corr…
23588 …lability of a computer system constructed of unreliable processors, are presented in this paper. T…
23674 …presented that requires time O(log n) and the use of n processors. The algorithm makes use of a te…
23678 …presented that requires time $O(\log n)$ and the use of $n$ processors. The algorithm makes use of…
23746 …eduling systems for multiprogrammed-multiprocessor computer systems are presented. The basic contr…
23826 …abstract = "A new interprocedural data flow analysis algorithm is presented and analyzed. The …
23941 …abstract = "An event-manipulation system is presented consisting of two parts. The first part …
24105 …this problem. A tree search algorithm for optimal histogram matching is presented which has time c…
24268 …mix of jobs that the computer center must service. A management game is presented that allows the …
24314 …abstract = "Simulation is presented as a practical technique for performance evaluation of alt…
24456 …abstract = "The new class of PK trees is presented, where height balance is maintained for the…
24482 …cussion of the application of MST's to dictionary lookup for English is presented, and the perform…
24523 …abstract = "A constraint network representation is presented for a combinatorial search proble…
24551 …comment = "much overlooked algorithm, presented as more of a concurrency exercise than a garb…
24589 … communication in computer networks is discussed. Example protocols are presented for the establis…
24615 …presented for finding all primes between 2 and n. The algorithm executes in time proportional to n…
24661 … the strategic planning of the computing effort in higher education are presented here. A planning…
24818 … which carry out interference checking among objects so represented are presented. Objects are rep…
24918 …tions ask for data structures appropriate for each case. A technique is presented which uses inste…
24941 …of derivation of more complex source to source transformations are also presented. Two case studie…
25004 …hematical study of three approaches for defining nested array in APL is presented. Theorems exhibi…
25273 …nsional pattern of objects within a larger structure is presented. The search technique presented …
25320 …abstract = "A macro model of a distributed information system is presented. The model describe…
25345 …presented for the problem of updating an orthogonal decomposition of a matrix of column (or row) v…
25419 …abstract = "An improvement is presented of LeLann's algorithm for finding the largest (or smal…
25468 …abstract = "A variety of concepts, laws, and notations are presented which facilitate reasonin…
25553 …d for each dataset-computation pair. Although computational results are presented for a sample pro…
25948 …n element into a one-sided height-balanced (OSHB) binary search tree is presented. The algorithm o…
25950 …n element into a one-sided height-balanced (OSHB) binary search tree is presented. The algorithm o…
26044 … data when an additional data value is included in the set. Evidence is presented that the method …
26046 … data when an additional data value is included in the set. Evidence is presented that the method …
26544 …abstract = "A new algorithm for global flow analysis on reducible graphs is presented. The alg…
27157 …oncerning the general behavior of the expected number of components are presented also. Finally, s…