Lines Matching full:techniques
622 classcodes = "C6130 (Data handling techniques)",
775 classcodes = "C6130 (Data handling techniques)",
793 classcodes = "C6130 (Data handling techniques)",
811 classcodes = "C6130 (Data handling techniques)",
950 …abstract = "Several specialized techniques are shown for efficiently incorporating spelling co…
1036 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
1231 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
1274 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
1529 …classcodes = "C6130 (Data handling techniques); C6150C (Compilers, interpreters and other proces…
1630 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
1708 classcodes = "C6100 (Software techniques and systems)",
1986 …cient tape algorithms to minimize the limitations of the small memory. Techniques developed for ha…
2007 …he features provided by STAGE 2 are summarized, and the implementation techniques which have made …
2031 classcodes = "C6130 (Data handling techniques)",
2236 title = "Normalization Techniques for Handprinted Numerals",
2247 …abstract = "A family of pattern standardization techniques based on geometrical projection is …
2270 classcodes = "C6130 (Data handling techniques)",
2291 classcodes = "C6130 (Data handling techniques)",
2310 …demand paging with multiprogramming are described in detail. Measuring techniques described here h…
2437 classcodes = "C6130 (Data handling techniques)",
2616 classcodes = "C6130 (Data handling techniques)",
2689 classcodes = "C6130 (Data handling techniques)",
2820 classcodes = "C6130 (Data handling techniques)",
2984 classcodes = "C6130 (Data handling techniques)",
3073 classcodes = "C6130 (Data handling techniques)",
3223 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
3260 classcodes = "C6130 (Data handling techniques)",
3262 …keywords = "construct; file; list processing; processing; programming; programming techniques;…
3279 classcodes = "C6130 (Data handling techniques)",
3358 classcodes = "C6130 (Data handling techniques)",
3360 …ss-; data handling; dummy variables; efficiency; programming; programming techniques; tabulations",
3411 classcodes = "B6120B (Codes); C6130 (Data handling techniques)",
3560 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
3704 title = "An analysis of some time-sharing techniques",
3715 …abstract = "The effectiveness of certain time-sharing techniques such as program relocation, d…
3720 …ulation; simulation model; swap volume minimization; systems analysis; techniques; time sharing; t…
3759 classcodes = "C6130 (Data handling techniques)",
3768 title = "Application of Game Tree Searching Techniques to Sequential Pattern Recognition",
3779 …person game played against nature (chance). Virtually all the powerful techniques developed for se…
3784 …tern recognition systems; recognition; sequential pattern recognition; techniques; trees; trees (m…
3932 …he solution of `stiff' differential equations. A program embodying the techniques discussed appear…
3995 …keywords = "development; education; programming; programming techniques; refinement; stepwise",
4001 …title = "Key-to-Address Transform Techniques: {A} Fundamental Performance Study on Large Ex…
4020 …; file organization; formatted files; information retrieval; key to address transform; techniques",
4122 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
4141 …uting education and training); C5600 (Data communication equipment and techniques); C7810C (Comput…
4165 …keywords = "artificial intelligence; assignment; CACMA; computer aided heuristic techniques; c…
4204 …classcodes = "C6130 (Data handling techniques); C6150C (Compilers, interpreters and other proces…
4291 classcodes = "C6130 (Data handling techniques)",
4374 …od. The second part of the paper is devoted to a comparison of the new techniques with the standar…
4514 …techniques are extendible to cover all of the LR(k) grammars of Knuth; they have been implemented …
4584 classcodes = "C6130 (Data handling techniques)",
4607 classcodes = "C5230 (Digital arithmetic methods); C6130 (Data handling techniques)",
4709 …abstract = "This paper surveys the applications of symbolic computation techniques to problems…
4711 classcodes = "C6130 (Data handling techniques)",
4757 classcodes = "C6130 (Data handling techniques)",
5000 classcodes = "C6130 (Data handling techniques)",
5218 classcodes = "C6130 (Data handling techniques)",
5304 …techniques; natural sciences; optical information; optimization; physics; picture compression; pic…
5322 …classcodes = "C6130 (Data handling techniques); C7890 (Other special applications of computing)",
5363 classcodes = "C6130 (Data handling techniques)",
5396 title = "New {LISP} Techniques for a Paging Environment",
5661 classcodes = "C6130 (Data handling techniques)",
5733 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
5829 classcodes = "C6130 (Data handling techniques)",
5887 classcodes = "C6130 (Data handling techniques)",
6167 classcodes = "C6130 (Data handling techniques)",
6190 …C5490 (Other aspects of analogue and digital computers); C5620 (Computer networks and techniques)",
6237 classcodes = "C6130 (Data handling techniques)",
6392 classcodes = "C6130 (Data handling techniques)",
6658 classcodes = "C6130 (Data handling techniques)",
6736 …bin cycle time selection; programs; sharing systems; simulation; slice techniques; store size; tim…
6791 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
6833 classcodes = "C6130 (Data handling techniques)",
6872 classcodes = "C6130 (Data handling techniques)",
7011 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
7186 …s. This allows not only the justification of all existing verification techniques, but also their …
7190 …mputer programs; semantics of programming languages; termination; theory; verification techniques",
7233 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
7256 classcodes = "C1100 (Mathematical techniques)",
7373 …eased interest in the development of system measurement and evaluation techniques,and increased us…
7434 classcodes = "C6130 (Data handling techniques)",
7590 classcodes = "C1100 (Mathematical techniques)",
7781 …classcodes = "C6120 (File organisation); C6130 (Data handling techniques); C6150E (General utili…
7909 classcodes = "C6130 (Data handling techniques)",
7984 …ays; data storage, digital; graph problems; graph theory; mathematical techniques --- Graph Theory…
8026 …classcodes = "C6130 (Data handling techniques); C7890 (Other special applications of computing)",
8055 …analysis; floating point arithmetic; interval arithmetic; mathematical techniques; precision; prec…
8305 …uations; integral equations of the first kind; inversion; mathematical techniques; medicine; nonne…
8370 classcodes = "C6130 (Data handling techniques)",
8427 …n methods; integration methods; mathematical techniques --- Differential Equations; mathematical t…
8451 …; digits; floating point arithmetic; Fortran subroutines; mathematical techniques --- Digital Arit…
8476 …on; guaranteed convergence; highly; mathematical techniques --- Poles and Zeros; mathematical tech…
8562 … a virtual memory computer system, proposes two new garbage collection techniques for virtual memo…
8627 …title = "Additional results on key-to-address transform techniques: a fundamental performan…
8640 …sation; fundamental performance; hash coding; key to address transform techniques; large existing …
8740 classcodes = "C6130 (Data handling techniques)",
8786 classcodes = "C6130 (Data handling techniques)",
8790 …rogramming; hash; information retrieval systems; information searching techniques; scatter tables;…
8832 … initial value problem; integral equation representation; mathematical techniques; parabolic; part…
9028 classcodes = "C6100 (Software techniques and systems)",
9133 …ter programming --- Subroutines; generalized eigenvalues; mathematical techniques; symmetric band …
9171 classcodes = "C6130 (Data handling techniques)",
9283 classcodes = "C6130 (Data handling techniques); C7400 (Engineering computing)",
9365 …tructures; error; interval arithmetic; iterative methods; mathematical techniques; Newton's method…
9371 title = "Reducing the Retrieval Time of Scatter Storage Techniques",
9388 …tient; linear quotient method; method; retrieval time; scatter storage techniques; storage managem…
9430 classcodes = "C6100 (Software techniques and systems); C6150J (Operating systems)",
9496 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C6120 (File orga…
9519 classcodes = "C5600 (Data communication equipment and techniques)",
9542 classcodes = "C5600 (Data communication equipment and techniques)",
9588 classcodes = "C6130 (Data handling techniques)",
9606 classcodes = "C6130 (Data handling techniques)",
9645 classcodes = "C6130 (Data handling techniques)",
10025 classcodes = "C6130 (Data handling techniques)",
10084 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
10103 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
10160 classcodes = "C6130 (Data handling techniques)",
10256 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
10277 …nagement program is described which uses linked lists along with other techniques to overcome a la…
10614 …ion retrieval systems; information structure; management; mathematical techniques --- Graph Theory…
10654 …ns to the deadlock problem than any one of these alone. The individual techniques can be tailored …
10802 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
10841 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
10953 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
11029 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
11086 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
11105 classcodes = "C6130 (Data handling techniques)",
11239 …d. The computational algorithms are based on two-dimensional iterative techniques which are highly…
11316 …rdinarily the optimal tree cannot be implemented by means of practical techniques. On the other ha…
11364 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
11414 …ariate cubatures; cubatures; error analysis; integration; mathematical techniques; numerical integ…
11542 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
11653 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
11743 …des = "B0260 (Optimisation techniques); B0290F (Interpolation and function approximation); C1180…
11838 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
11860 …0 (Systems analysis and programming); C6120 (File organisation); C6130 (Data handling techniques)",
11927 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
12438 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
12478 …ombinations; combinatorics; numbering system; programming; programming techniques; storage mapping…
12539 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
12639 …e assistance. This paper discusses techniques for mechanically synthesizing loop predicates. Two c…
12734 …classcodes = "C6130 (Data handling techniques); C6150G (Diagnostic, testing, debugging and evalu…
12757 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
12802 classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques)",
12825 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
12845 … (Combinatorial mathematics); C1160 (Combinatorial mathematics); C6130 (Data handling techniques)",
12873 … computer programming; least squares approximations; lsq; mathematical techniques --- Least Square…
12984 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
13007 classcodes = "C6130 (Data handling techniques)",
13087 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
13165 keywords = "contouring; curve fitting; interpolation; mathematical techniques; splines",
13241 …a general purpose language. This paper describes the use of simulation techniques to predict the s…
13247 …guage; language contraction; languages; programming; programming languages; simulation techniques",
13266 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
13289 classcodes = "C4210 (Formal logic); C6130 (Data handling techniques)",
13319 …ror analysis; floating point operations; logarithmic law; mathematical techniques; mean value; ran…
13342 …ly linked lists; factorization; integers; macro language; mathematical techniques; multiprecise; n…
13458 …lem of minimizing the storage needed to contain such tables. Reduction techniques are developed, a…
13460 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
13464 …ng the storage; parsing; reduction; scanning; spatial multiplexing; string processing; techniques",
13481 …des = "B0260 (Optimisation techniques); B0290F (Interpolation and function approximation); C1180…
13520 …classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques); C7310 (M…
13577 …classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques); C7310 (M…
13655 …ony); C5540 (Terminals and graphic displays); C5600 (Data communication equipment and techniques)",
13733 …antzig algorithm; directed graph; Floyd algorithm; graph; mathematical techniques; network; shorte…
13803 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C6150J (Operatin…
13827 …classcodes = "C0310 (EDP management); C6130 (Data handling techniques); C6150J (Operating system…
13876 … model of a third-generation-like computer system is developed. Formal techniques are used to deri…
13899 …techniques that can, in most cases, decrease storage size by a factor of from two to four. The tec…
13902 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
13906 …techniques; compression; data handling; data management; data storage; efficiency; encoding; file …
13926 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
13950 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
13973 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
14003 …ditions; graph theory; graphs; graphs with preconditions; mathematical techniques; necessary and; …
14136 …; harmonic interpolation; harmonic quadrature; interpolation; mathematical techniques; quadrature",
14156 keywords = "mathematical techniques",
14178 …keywords = "exponential integral; Fresnel integral; mathematical techniques; recurrence relati…
14203 …nitial value problem; integration; integration algorithm; mathematical techniques; ordinary differ…
14229 …r control; interval; interval arithmetic; list structure; mathematical techniques; methods; multip…
14249 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C5540 (Terminals…
14382 classcodes = "C6110 (Systems analysis and programming); C6130 (Data handling techniques)",
14527 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C6130 (Data hand…
14587 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
14606 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C7310 (Mathemati…
14690 …gram restructuring; program segmentation; restructuring; restructuring techniques; static; virtual…
14753 … allocation techniques, and presents evidence which shows that the usage count technique is signif…
14902 …esign; desirability; effects; feasibility; information services; side; techniques; users; world vi…
15004 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C1290F (Systems …
15008 …mination scheduling; graph; graph coloring; graph theory; mathematical techniques --- Graph Theory…
15034 …keywords = "boundary-value problems; initial; initial value problems; mathematical techniques;…
15202 …rchimedian vector lattice; contraction; L norms; M norms; mathematical techniques; matrices; matri…
15229 …n; function evaluation; lemniscate; lemniscate constants; mathematical techniques; mathematics; tr…
15256 …unds for error in solution; Gauss-Jordan algorithm; Gaussian elimination; mathematical techniques",
15284 …Hadamard numbers; Hadamard's determinant; linear systems; mathematical techniques; matrices; matri…
15311 …unctions; Frobenius norm; Gershgorin; Gershgorin circles; mathematical techniques; matrix algebra;…
15337 …consequence; elementary divisors; linear transformations; mathematical techniques; matrix algebra;…
15364 …on routines; conjugate gradients; ginv; hermitian matrix; mathematical techniques; matrices; matri…
15391 …r metatheory; computer programming; function expressions; mathematical techniques; program correct…
15414 classcodes = "C6130 (Data handling techniques)",
15418 keywords = "data storage units; mathematical techniques --- Digital Arithmetic",
15446 …ial equations; error analysis; linear multistep formulas; mathematical techniques; numerical; nume…
15476 …ds; least squares approximation; mathematical statistics; mathematical techniques; matrix formulat…
15610 …o use a more compact data representation and more efficient processing techniques; to take fuller …
15616 …el programming language; mathematical techniques; matrix algebra; matrix reduction; problems; proc…
15635 …classcodes = "C6130 (Data handling techniques); C6140D (High level languages); C7230 (Publishing…
15737 …ationships; elements of inverse; inverse; inverse matrix; mathematical techniques; matrix algebra;…
15763 …uares approximations; least squares polynomial fits; lud; mathematical techniques; orthogonal poly…
15799 …ns on the use of $P$ and $V$. These restrictions eliminate programming techniques used by Dijkstra…
15805 …computers); operators; process synchronization primitives; programming techniques; semaphore conce…
15908 …classcodes = "C5540 (Terminals and graphic displays); C6130 (Data handling techniques); C7440 (C…
15931 …classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques); C6130 (Data hand…
16004 classcodes = "C6130 (Data handling techniques); C7800 (Other computer applications)",
16065 classcodes = "C6130 (Data handling techniques)",
16174 …al mathematics); B0260 (Optimisation techniques); C1160 (Combinatorial mathematics); C1180 (Optimi…
16232 …rithm incorporating piecewise linear approximation and tabular parsing techniques. Several paramet…
16238 …techniques; pattern recognition systems; peak detection; piecewise linear approximation; piecewise…
16314 …dden surface removal are thus strongly interconnected. Several shading techniques corresponding to…
16460 classcodes = "C6130 (Data handling techniques)",
16484 classcodes = "C5230 (Digital arithmetic methods); C6130 (Data handling techniques)",
16488 …g; data handling; decimal arithmetic; digital arithmetic; mathematical techniques --- Digital Arit…
16509 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
16621 …classcodes = "C4210 (Formal logic); C6130 (Data handling techniques); C6140D (High level languag…
16670 classcodes = "B0260 (Optimisation techniques); C1180 (Optimisation techniques)",
16893 classcodes = "C6130 (Data handling techniques)",
16961 …abstract = "The techniques for minimizing logic circuits are applied to the simplification of …
17054 …ith differing operational characteristics is examined using analytical techniques. Using standard …
17056 …ith differing operational characteristics is examined using analytical techniques. Using standard …
17064 …keywords = "allocation; analytical techniques; balancing; characteristics; device assignment; …
17136 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
17184 …classcodes = "C6130 (Data handling techniques); C6140D (High level languages); C6150C (Compilers…
17260 classcodes = "C6130 (Data handling techniques); C7240 (Information analysis and indexing)",
17284 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
17328 … good diagnostic information at relatively low cost. Previous recovery techniques are summarized a…
17340 title = "Backtrack Programming Techniques",
17353 …classcodes = "C4240 (Programming and algorithm theory); C6100 (Software techniques and systems)",
17552 …techniques which allow relations of inclusion and membership to be established, the domains and ra…
17578 classcodes = "C5620 (Computer networks and techniques)",
17631 …scodes = "B6210Z (Other data transmission); C5600 (Data communication equipment and techniques)",
17665 keywords = "information retrieval systems; mathematical techniques",
17685 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
17777 …); C1160 (Combinatorial mathematics); C6120 (File organisation); C6130 (Data handling techniques)",
17824 … "B0260 (Optimisation techniques); B6140C (Optical information, image and video signal processing)…
17923 classcodes = "C1230 (Artificial intelligence); C6130 (Data handling techniques)",
18119 …ng invariants which express what is actually occurring in the program. Techniques for the automati…
18125 …correctness; incorrectness; invariants; logical analysis; mathematical techniques; program debuggi…
18238 …g extended proof rules for their wait and signal operations. These two techniques are defined, dis…
18265 …s as mutual exclusion, freedom from deadlock, and program termination. Techniques for verifying th…
18379 …tabases. Guidelines for selecting identifier transformations, overflow techniques, loading factors…
18451 …0 (Systems analysis and programming); C6120 (File organisation); C6130 (Data handling techniques)",
18478 …on; decision tables; decision trees; dynamic programming; mathematical techniques --- Combinatoria…
18497 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
18631 classcodes = "B6210L (Computer communications); C5620 (Computer networks and techniques)",
18942 …er which the list processor never need to wait on the collector. These techniques are shown to req…
19050 …; computer programming --- Subroutines; fixed weight; Gray code; mathematical techniques; subsets",
19115 …rror reflections. Several examples of images synthesized using these new techniques are included.",
19118 classcodes = "C5540 (Terminals and graphic displays); C6130B (Graphics techniques)",
19139 …on, or a geometric hierarchy, five significant improvements to current techniques of computer pict…
19141 classcodes = "C5540 (Terminals and graphic displays); C6130B (Graphics techniques)",
19145 … surface; hierarchical data structures; image processing; mathematical techniques --- Combinatoria…
19167 classcodes = "C5540 (Terminals and graphic displays); C6130B (Graphics techniques)",
19171 …cs; curves and surfaces; graphics; hidden; intersections; mathematical techniques --- Function Eva…
19177 …title = "Interactive Skeleton Techniques for Enhancing Motion Dynamics in Key Frame Animati…
19190 classcodes = "C5540 (Terminals and graphic displays); C6130B (Graphics techniques)",
19213 … statistics); C1140 (Probability and statistics); C6130 (Data handling techniques); C7310 (Mathema…
19346 classcodes = "C6130 (Data handling techniques)",
19532 …abstract = "Techniques for designing and writing Cobol programs are presented. Previous work i…
19608 …and algorithm theory); C6110 (Systems analysis and programming); C6130 (Data handling techniques)",
19668 classcodes = "C6130 (Data handling techniques)",
19690 classcodes = "C6130 (Data handling techniques); C6140D (High level languages)",
19718 classcodes = "C6130B (Graphics techniques)",
19768 classcodes = "C6130B (Graphics techniques)",
19772 …raphics; computer programming --- Subroutines; dot generation; imaging techniques; incremental dig…
19791 classcodes = "C1140C (Queueing theory); C1180 (Optimisation techniques)",
19831 …aximum probes needed to locate a record. The combined effects of these techniques lead to improved…
19931 classcodes = "C6130B (Graphics techniques)",
19935 …processing --- Natural Sciences Applications; image processing; mathematical techniques --- Trees",
20045 …ts but cannot be reshaped into a pair of precedence functions, several techniques for eliminating …
20094 …ous regions that result from an initial segmentation by region growing techniques. This paper desc…
20100 …keywords = "editing; graphs; image processing; local analysis; mathematical techniques --- Gra…
20117 …achine learning, large scale programming system, and novel programming techniques on the other. Th…
20250 classcodes = "C6130 (Data handling techniques)",
20261 title = "Proof Techniques for Hierarchically Structured Programs",
20352 classcodes = "C5620 (Computer networks and techniques); C6120 (File organisation)",
20380 …ion retrieval systems; information storage and retrieval; mathematical techniques --- Trees; path …
20399 classcodes = "C6120 (File organisation); C6130B (Graphics techniques)",
20617 …pes; development; functional types olit data abstraction; mathematical techniques --- Algebra; spe…
20706 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
20754 classcodes = "C5230 (Digital arithmetic methods); C6130 (Data handling techniques)",
20777 classcodes = "C5620 (Computer networks and techniques)",
20832 classcodes = "C5620 (Computer networks and techniques)",
20859 …scodes = "B6210L (Computer communications); C5600 (Data communication equipment and techniques)",
20882 classcodes = "C6130 (Data handling techniques); C7250 (Information storage and retrieval)",
21041 …techniques are extended from simple data representation and function definition to the iteration s…
21324 …er bound for sieve methods without preprocessing. Use of preprocessing techniques involving space-…
21330 …es; generation of prime numbers; mathematical techniques; methods; number theory; preprocessing te…
21353 …- Data Handling; data searching; information retrieval systems; mathematical techniques --- Trees",
21377 classcodes = "C6130B (Graphics techniques)",
21401 classcodes = "C6130B (Graphics techniques)",
21567 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
21634 classcodes = "C6130B (Graphics techniques)",
21659 …ead is repeated if it might have obtained an incorrect result, and two techniques for transmitting…
21811 …give minimal (or almost minimal) tables for every kind of set. The two techniques are applicable d…
21910 classcodes = "C6130 (Data handling techniques)",
21935 …classcodes = "C0310 (EDP management); C5620 (Computer networks and techniques); C6120 (File orga…
21996 …abstract = "Recent developments in optimizing techniques have allowed a new design for compile…
22068 …ance, instead of the more frequently used in ternal system measurement techniques. \par The NBS Ne…
22070 …mance, instead of the more frequently used internal system measurement techniques. The NBS Network…
22288 classcodes = "C6130 (Data handling techniques)",
22309 …x PL/I program. The aim is to demonstrate systematic recursion-removal techniques on something mor…
22337 …classcodes = "C1160 (Combinatorial mathematics); C1180 (Optimisation techniques); C4240 (Program…
22373 title = "A Comparison of Numerical Techniques in {Markov} Modeling",
22384 … by the different methods examined. A post mortem reveals why standard techniques often fail to yi…
22415 …ion method converges to the minimum norm solution. Previously proposed techniques are shown to be …
22417 …classcodes = "C1180 (Optimisation techniques); C1260 (Information theory); C4140 (Linear algebra…
22441 … that a proof of correctness or termination by any of the conventional techniques can be rephrased…
22467 …rocessing); C1250 (Pattern recognition); C1260 (Information theory); C6130B (Graphics techniques)",
22677 classcodes = "C4140 (Linear algebra); C6130 (Data handling techniques)",
22750 classcodes = "C6120 (File organisation); C6130 (Data handling techniques)",
22773 …asscodes = "C5600 (Data communication equipment and techniques); C6130 (Data handling techniques…
22846 classcodes = "C6130 (Data handling techniques)",
22897 classcodes = "C6130 (Data handling techniques)",
23064 classcodes = "C1180 (Optimisation techniques); C1290 (Applications of systems theory)",
23588 …techniques. A major purpose of this paper is to demonstrate that the difficulties of obtaining ana…
23676 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
23746 …ent). The model studies used both distribution-driven and trace-driven techniques. Even relatively…
23773 …title = "An algorithm using symbolic techniques for the {Bel-Petrov} classification of grav…
23784 …techniques); A0420C (Fundamental problems and general formalism in general relativity); A0430 (Gra…
23803 … simulation model in which both discrete-event simulation and analytic techniques are combined to …
23809 …keywords = "activation of jobs; analytic techniques; arrival; central server queueing; compute…
23992 classcodes = "C6130B (Graphics techniques); C7340 (Geophysics computing)",
24013 classcodes = "C6130 (Data handling techniques)",
24128 …r can be expected to be 24 percent or less 95 percent of the time. The techniques could be used to…
24130 classcodes = "C6130 (Data handling techniques)",
24173 …ts on real computers, including how to apply various code optimization techniques. A detailed impl…
24175 classcodes = "C6130 (Data handling techniques)",
24179 …keywords = "analysis of algorithms; code optimisation techniques; code optimization; computer …
24196 …techniques provide substantially improved tables that resemble exact-solution optimal packings. Th…
24198 classcodes = "C6130 (Data handling techniques)",
24244 classcodes = "C1290 (Applications of systems theory); C6130 (Data handling techniques)",
24293 classcodes = "C6130B (Graphics techniques); C6150E (General utility programs)",
24314 …er, it appears that many of the sophisticated pipelining and buffering techniques implemented in t…
24337 …th the effects of varying sun angle and surface slope. Even inspection techniques for certain indu…
24339 classcodes = "C6130B (Graphics techniques)",
24343 …sed picture processing; image processing; industrial parts; inspection techniques; real images; re…
24462 … file organisation; height balance; IP0 trees; IPk trees; mathematical techniques --- Trees; node …
24482 …r English is presented, and the performance obtained is contrasted with that of other techniques.",
24488 … organisation; frequently occurring keys; lexical median; mathematical techniques --- Trees; media…
24591 classcodes = "C5620 (Computer networks and techniques); C6130 (Data handling techniques)",
24640 classcodes = "C6130D (Document processing techniques); C6130 (Data handling techniques)",
24709 …thod is introduced that combines the positive aspects of the above two techniques. Compressed tabl…
24734 classcodes = "C5620 (Computer networks and techniques)",
24781 …s helpful in the construction of large programs. Users of hierarchical techniques claim or predict…
24820 classcodes = "C6130B (Graphics techniques); C7440 (Civil and mechanical engineering computing)",
24824 …lanar surfaces; polyhedra; potential interference problems; product; solids; surfaces; Techniques",
25054 classcodes = "C6130 (Data handling techniques)",
25146 …techniques of structuring data on bulk storage devices; (2) to provide experience in the use of bu…
25168 classcodes = "C5230 (Digital arithmetic methods); C5250 (Microcomputer techniques)",
25347 classcodes = "C1180 (Optimisation techniques)",
25378 …s; cliques; colouring; graph; graph colouring; heuristic; mathematical techniques --- Graph Theory…
25661 classcodes = "C6130B (Graphics techniques)",
25672 title = "Storage Reorganization Techniques for Matrix Computation in a Paging Environment",
25687 …asscodes = "C4140 (Linear algebra); C6120 (File organisation); C6130 (Data handling techniques)",
25844 classcodes = "C6130 (Data handling techniques)",
25927 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
25951 classcodes = "C4240 (Programming and algorithm theory); C6130 (Data handling techniques)",
26182 title = "On a Comparison of Garbage Collection Techniques",
26228 classcodes = "C6130 (Data handling techniques); C6150J (Operating systems)",
26295 classcodes = "C6130 (Data handling techniques)",