Lines Matching +full:25 +full:a
21 %%% docstring = "This is a bibliography of the journal
60 %%% articles yearly, so a complete bibliography
73 %%% that citing a paper will automatically
85 %%% There is a World Wide Web search facility
125 %%% year is a 4-digit number, and abbrev is a
135 %%% The checksum field above contains a CRC-16
144 …ols para-digm pat-ent-ed Phi-lo-kyp-rou Prep-a-ra-ta pseu-do-chain-ing QUIK-SCRIPT Rad-e-mach-er r…
191 % inclusion of a few additional entries published elsewhere):
353 bibdate = "Mon Aug 29 18:26:25 1994",
399 bibdate = "Tue Mar 25 13:26:09 MST 1997",
408 title = "Recursive computation of certain derivatives --- {A} study of error propagation",
420 bibdate = "Tue Mar 25 13:26:09 MST 1997",
421 …abstract = "A brief study is made of the propagation of errors in linear first-order differenc…
429 author = "A. P. Mullery and G. C. Driscoll",
430 title = "A processor allocation method for time-sharing",
439 bibdate = "Tue Mar 25 13:26:09 MST 1997",
457 bibdate = "Tue Mar 25 13:26:09 MST 1997",
476 bibdate = "Tue Mar 25 13:26:09 MST 1997",
485 title = "A note on minimal length polygonal approximation to a digitized contour",
496 bibdate = "Tue Mar 25 13:26:09 MST 1997",
497 …A method for extracting a smooth polygonal contour from a digitized image is illustrated. The orde…
515 bibdate = "Tue Mar 25 13:26:09 MST 1997",
533 bibdate = "Tue Mar 25 13:26:09 MST 1997",
551 bibdate = "Tue Mar 25 13:26:09 MST 1997",
554 corpsource = "Texas A and M Univ., College Station, TX, USA",
569 bibdate = "Tue Mar 25 13:26:09 MST 1997",
587 bibdate = "Tue Mar 25 13:26:09 MST 1997",
595 author = "R. Griffin and K. A. Redich",
620 bibdate = "Tue Mar 25 13:26:09 MST 1997",
637 bibdate = "Tue Mar 25 13:26:09 MST 1997",
654 bibdate = "Tue Mar 25 13:26:09 MST 1997",
663 title = "A Formal System for Information Retrieval from Files",
672 bibdate = "Tue Mar 25 13:26:09 MST 1997",
692 bibdate = "Tue Mar 25 13:26:09 MST 1997",
713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
715 …A formal procedure is given for deriving from a set of translation equations the specifications fo…
733 bibdate = "Tue Mar 25 13:26:09 MST 1997",
752 bibdate = "Tue Mar 25 13:26:09 MST 1997",
754 …A parsing algorithm which seems to be the most efficient general context-free algorithm known is d…
773 bibdate = "Tue Mar 25 13:26:09 MST 1997",
782 title = "A Variation on Sorting by Address Calculation",
791 bibdate = "Tue Mar 25 13:26:09 MST 1997",
800 title = "The Quadratic Quotient Method: {A} Hash Code Eliminating Secondary Clustering",
809 bibdate = "Tue Mar 25 13:26:09 MST 1997",
817 author = "D. N. Ness and R. S. Green and W. A. Martin and G. A. Moulton",
818 title = "Computer education in a graduate school of management",
827 bibdate = "Tue Mar 25 13:26:09 MST 1997",
845 bibdate = "Tue Mar 25 13:26:09 MST 1997",
863 bibdate = "Tue Mar 25 13:26:09 MST 1997",
881 bibdate = "Tue Mar 25 13:26:09 MST 1997",
889 author = "H. Sp{\"{a}}th",
913 bibdate = "Tue Mar 25 13:26:09 MST 1997",
921 author = "H. Sp{\"{a}}th",
922 title = "{ACM} Algorithm 376: Least Squares Fit by {$f(x)=A\cos(Bx+C)$}",
931 bibdate = "Tue Mar 25 13:26:09 MST 1997",
950 …anization of restricted keyword and symbol tables, and the consideration of a limited class of spe…
957 title = "A Program to Teach Programming",
966 bibdate = "Tue Mar 25 13:26:09 MST 1997",
968 …a conversational language which was designed with teaching in mind. Faculty involvement is limited…
987 bibdate = "Tue Mar 25 13:26:09 MST 1997",
989 …a MAX (MIN) node the value of the highest (lowest) valued successor to that node. The M \& N proce…
998 author = "A. Batson and Shy-Ming M. Ju and D. C. Wood",
1008 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1010 …abstract = "Distributions of segment sizes measured under routine operating conditions on a co…
1019 author = "G. A. Watson",
1032 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1034 …n. The application to problems of this type of a general nonlinear algorithm due to M. R. Osborne …
1044 title = "A Comparison of Error Improvement Estimates for Adaptive Trapezoid Integration",
1056 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1058 …a comparison procedure which is relatively independent of the profusion of adaptive search and sto…
1068 title = "A Deductive Question Answerer for Natural Language Inference",
1077 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1079 …n in deductive question answering greatly facilitates the process, and that a top-down procedure w…
1090 author = "A. F. Cardenas and W. J. Karplus",
1091 title = "{PDEL}, a Language for Partial Differential Equations",
1100 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1102 …A convenient, easy to learn and to use, high level problem oriented language to solve and study pa…
1121 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1141 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1149 title = "A number system for the permutations",
1158 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1167 title = "Comment on a Paging Anomaly",
1176 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1184 author = "H. A. Maurer",
1185 title = "A Note on the Complement of Inherently Ambiguous Context-Free Languages",
1194 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1203 title = "Corrigenda: {``A Formal System for Information Retrieval from Files''}",
1217 author = "A. J. DeSalvio and J. G. Purdy and J. Rau",
1218 …title = "Creation and Control of Internal Data Bases Under a {Fortran} Programming Environm…
1227 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1229 …abstract = "A method is described for the definition of a user's COMMON structure and the auto…
1248 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1250 …a concrete basis for illustrating an idea called syntax-directed documentation. This idea is-to us…
1269 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1271 …A matrix calculus is introduced with the intention of developing data structures suitable for a hi…
1282 title = "The Nucleus of a Multiprogramming System",
1291 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1293 …a multiprogramming system that can be extended with a hierarchy of operating systems to suit diver…
1296 corpsource = "A/S Regnecentralen, Copenhagen, Denmark",
1313 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1334 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1357 mrreviewer = "C. A. Hall",
1358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1360 …A very simple procedure is presented for constructing cubic splines, periodic or nonperiodic, on u…
1370 …title = "{ACM} Algorithm 378: Discretized {Newton}-like Method for Solving a System of Simu…
1379 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1396 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1405 title = "Comments on a paper by {Wallace} and {Mason}",
1414 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1422 title = "Comment on multiprogramming under a page on demand strategy",
1431 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1452 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1471 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1504 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1506 …A preliminary description of the software for a computer-display system is given with special emph…
1515 author = "G. A. Sitton",
1525 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1527 …is system was developed from a storage structure in which the location, length, and content of eac…
1552 author = "W. E. Sasser and D. S. Burdick and D. A. Graham and T. H. Naylor",
1562 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1564 …cedures are applied to the analysis of data generated by a computer simulation experiment with a m…
1583 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1585 …a bounded-context parser for it whenever such a parser exists. The definition of a context-free gr…
1595 …title = "{GEDANKEN} --- {A} Simple Typeless Language Based on the Principle of Completeness…
1604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1606 …outines, quasi-parallel processes, and other unorthodox control mechanisms. A variety of programmi…
1617 title = "A language for treating graphs",
1626 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1628 …A language for the representation of graphs is described, and the formulation of graph operations …
1637 author = "S. Laflin and M. A. Brebner",
1638 title = "{ACM} Algorithm 380: In-situ Transposition of a Rectangular Matrix",
1647 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1665 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1673 author = "H. A. Elder",
1683 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1685 …a sequence of spoken words, and output to the user being audio responses from the machine. The fea…
1704 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1706 …a consequence, three methods of converting decision tables to programs are inadequate in regard to…
1725 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1727 …cted component of such a graph, which can be found by an algorithm described by S. C. Gotlieb and …
1737 title = "A {PL\slash} 1 program to assist the comparative linguist",
1746 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1764 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1766 …a stringent coverage requirement. Preliminary studies show that the Harvard Syntactic Analyzer can…
1788 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1790 …abstract = "This paper describes an alternate method for summing a set of floating-point numbe…
1811 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1813 …a nonadaptive rule in approximating integrals having peaked integrands is demonstrated. The perfor…
1832 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1834 …a symmetric tridiagonal matrix can be accelerated by incorporating a sequence of origin shifts. Th…
1854 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1863 title = "{ACM} Algorithm 383: Permutations of a Set with Repetitions",
1872 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1881 …title = "{ACM} Algorithm 384: Eigenvalues and Eigenvectors of a Real Symmetric Matrix [{F2}…
1890 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1901 …title = "Certification of Algorithm 245 ({M1}) Treesort 3: Proof of Algorithms --- {A} New …
1930 title = "A Relational Model of Data for Large Shared Data Banks",
1939 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1942 …A prompting service which supplies such information is not a satisfactory solution. Activities of …
1944 …annote = "Shows problems of hierarchical data organization, presents a non-hierarchical `nor…
1953 author = "C. A. Grant",
1963 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1965 …A facility to permit conversationally controlled tasks to be executed in a noninteractive environm…
1974 author = "M. A. Wilkes",
1975 title = "Conversational Access to a 2048-Word Machine",
1984 bibdate = "Tue Mar 25 13:26:09 MST 1997",
1986 …a uniform command set which itself can be augmented by the user. The machine, although small, aids…
2005 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2007 …a bootstrap sequence which is easily implemented on any computer. It is a flexible, powerful macro…
2026 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2028 …a series of messages one-by-one for membership in a given set of messages. Two new hash-coding met…
2030 annote = "Phantom use of a direct access list.",
2048 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2050 …abstract = "A general method of file structuring is proposed which uses a hashing function to …
2072 mrreviewer = "A. M. Cohen",
2073 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2075 …A new version of the Euclidean algorithm for finding the greatest common divisor of $n$ integers $…
2084 author = "W. A. Woods",
2094 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2096 …a canonical form for context-sensitive derivations and a parsing algorithm which finds each contex…
2106 author = "K. A. Paciorek",
2116 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2134 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2143 title = "Comments on a paper by {Lowe}",
2152 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2161 title = "A note on data base deadlocks",
2170 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2188 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2197 title = "A Comment on Axiomatic Approaches to Programming",
2206 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2224 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2226 …a pricing mechanism fits the mold is discussed. Inasmuch as pricing must serve as a rationing mech…
2245 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2247 …A family of pattern standardization techniques based on geometrical projection is applied to a fil…
2256 author = "A. C. Day",
2266 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2268 …a linear search method. The simple quadratic search only accesses half the table. It has been show…
2278 title = "Sorting in a Paging Environment",
2287 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2289 …om the experimental effort is used to arrive at a set of broad guidelines for writing sort program…
2308 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2310 …a prototype computer utility is discussed. These tools include special hardware clocks and data ch…
2312 …a prototype computer utility is discussed. These tools include (1) a hardware calendar clock (52 b…
2321 …title = "A technique for generating almost optimal {Floyd-Evans} productions for precedence…
2330 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2348 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2366 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2383 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2400 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2417 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2435 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2443 …title = "A Procedure for Generation of Three-Dimensional Half-Toned Computer Graphics Prese…
2452 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2454 …abstract = "A description is given of an algorithm for producing computer generated halftone p…
2473 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2475 …erall and control functions of the software system. The second one is COIF, a circuit oriented gra…
2485 title = "{AMESPLOT}, a Higher Level Data Plotting Software System",
2494 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2496 …elements may be combined into a system based on simple modules is demonstrated. Basic syntax of AM…
2518 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2520 …ate numerically because of the singularity at points where $f(y)$ vanishes. A technique is describ…
2530 …title = "A Variation of the {Goodman-Lance} Method for the Solution of Two-Point Boundary V…
2542 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2544 …abstract = "A recently published method for the interpolative solution of nonlinear equations …
2567 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2591 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2593 …abstract = "A comparison of complex matrix with real matrix inversion is made. It is shown tha…
2612 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2614 …A formula is derived expressing $!$ in terms of the probability distribution of the `bound' of a p…
2633 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2651 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2669 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2687 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2695 title = "On the Number of Automorphisms of a Singly Generated Automaton",
2704 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2712 author = "W. A. Woods",
2722 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2732 title = "A formalism for translator interactions",
2741 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2743 …A formalism is presented for describing the actions of processors for programming languages-compil…
2762 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2781 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2790 author = "S. K. Chang and A. Gill",
2800 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2808 author = "R. A. Stone",
2818 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2826 author = "J. J. Sepp{\"{a}}nen",
2836 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2854 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2887 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2907 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2908 …= "An interactive program with a graphical display has been developed for the approximation of…
2926 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2935 title = "A multiple-precision division algorithm",
2944 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2953 title = "{NEATER2}: {A PL/I} Source Statement Reformatter",
2962 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2963 …a PL/I source program and operates on it to produce a reformatted version. When in the LOGICAL mod…
2981 bibdate = "Tue Mar 25 13:26:09 MST 1997",
2991 title = "A Nonrecursive List Compacting Algorithm",
3000 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3019 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3036 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3053 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3071 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3080 title = "A generalized method for generating argument\slash function values",
3089 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3107 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3115 author = "A. Bernstein",
3125 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3143 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3152 title = "{GROOVE-A} program to compose, store, and edit functions of time",
3161 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3171 title = "An Efficient Search Algorithm to Find the Elementary Circuits of a Graph",
3182 mrreviewer = "J. Mor{\'a}vek",
3183 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3184 …A theoretically most efficient search algorithm is presented which uses an exhaustive search to fi…
3203 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3221 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3239 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3249 title = "The list set generator: a construct for evaluating set expressions",
3258 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3267 author = "N. A. Black",
3277 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3287 …title = "Errata: {ACM} Algorithm 384: Eigenvalues and Eigenvectors of a Real Symmetric Matr…
3304 author = "E. A. Fuchs and P. E. Jackson",
3314 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3317 …abstract = "A study of multiaccess computer communications has characterized the distributions…
3328 title = "On decomposing a {Boolean} function and simplifying the components separately",
3337 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3356 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3365 author = "Robert A. Wagner",
3375 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3408 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3409 …a superb, imaginative, and grandiose hoax perpetrated ages ago for whatever reasons. Modern comput…
3413 treatment = "A Application",
3417 author = "A. Klinger",
3418 title = "Pattern width at a given angle",
3427 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3441 pages = "21--25",
3449 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3451 …a finite binary pattern $f$, can we construct the original pattern $f$? In this paper we give a ch…
3462 title = "Language for Treating Geometric Patterns in a Two-Dimensional Space",
3471 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3473 …abstract = "In this paper CADEP, a problem-oriented language for positioning geometric pattern…
3483 author = "R. A. Broucke",
3484 title = "Construction of rational and negative powers of a formal series",
3493 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3512 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3514 …A. N. Habermann's method of deadlock prevention is discussed, where deadlock is defined as a syste…
3524 author = "C. A. R. Hoare",
3525 title = "Proof of a Program: {FIND}",
3534 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3536 …A systematic technique is described for constructing and the program proof during the process of c…
3556 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3558 … error in Gue's paper is corrected. The utility of one of the algorithms as a suboptimizer is indi…
3579 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3599 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3608 author = "K. A. Redish",
3634 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3644 …title = "Conversion of Limited-Entry Decision Tables to Computer Programs. a Proposed Modif…
3655 …a computer program. Two modifications to this algorithm are proposed. The first relies on Shannon'…
3663 …title = "Conversion of limited-entry decision tables to computer programs-a proposed modifi…
3672 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3681 author = "A. J. Bernstein and J. C. Sharp",
3682 title = "A policy-driven scheduler for a time-sharing system",
3691 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3693 …A scheduling and swapping algorithm which keeps the resource count of each process above its polic…
3713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3715 …a SI-MULA based simulation model reflecting an early framework for a planned Burroughs B6500 time-…
3726 title = "Experiments in Automatic Learning for a Multipurpose Heuristic Program",
3735 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3736 …a proof of whether or not a particular goal is achievable. Thirteen general features of predicate …
3755 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3757 …sume uniformly distributed branching ratios, and therefore is applicable to a family of sorting al…
3777 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3779 …A sequential pattern recognition (SPR) procedure does not test all the features of a pattern at on…
3799 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3811 author = "A. M. Dell and R. L. Weil and G. L. Thompson",
3821 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3830 author = "A. M. Noll",
3840 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3842 …A television-like scanned-display system has been successfully implemented on a Honeywell DDP-224 …
3848 treatment = "A Application; P Practical",
3862 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3864 …a program satisfying certain specifications a theorem induced by those specifications is proved, a…
3875 title = "Scheduling Algorithm for a Computer Assisted Registration System",
3884 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3892 treatment = "A Application; P Practical",
3897 …title = "Storage Utilization in a Memory Hierarchy When Storage Assignment is Performed by …
3906 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3908 …a two-level memory hierarchy. The first storage level, which is the fast store, is divided into a …
3914 treatment = "A Application; P Practical",
3930 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3932 …A criterion for the selection of the order of approximation is proposed. The objective of the crit…
3942 author = "J. A. Howell",
3952 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3971 bibdate = "Tue Mar 25 13:26:09 MST 1997",
3990 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4001 …title = "Key-to-Address Transform Techniques: {A} Fundamental Performance Study on Large Ex…
4010 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4013 …a study of eight different keyto-address transformation methods applied to a set of existing files…
4025 author = "A. B. Tucker and M. J. Flynn",
4035 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4037 …A microassembly language is developed and the overhead involved in subroutine linkages is analyzed…
4047 author = "P. A. Talbot and J. W. Carr and R. R. {Coulter, Jr.} and R. C. Hwang",
4057 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4076 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4078 …abstract = "The division algorithm theorem is expressed in a form that permits it to serve as …
4089 title = "{ACM} Algorithm 408: {A} Sparse Matrix Package (Part {I})",
4098 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4118 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4120 …a review of the current state of the art in the systems and discusses the differences and similari…
4137 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4149 title = "A Man-Machine Approach Toward Solving the Traveling Salesman Problem",
4158 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4160 …a computer aided heuristic technique which uses only a modest amount of computer time in real-time…
4180 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4200 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4202 …hat a wide class of problems can be formulated as covering problems solvable by means of elementar…
4222 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4224 …a technique which fails to trap certain programming errors. Fine-grained calender clocks have rece…
4247 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4269 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4288 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4311 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4312 …a specific class of permutations fundamental to scheduling problems is described. In a nonoriented…
4331 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4341 title = "Computer Science: {A} Conceptual Framework for Curriculum Planning",
4350 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4351 … are considered: a global view which attempts to capture broad characteristics of the field and it…
4372 mrreviewer = "A. Pasquali",
4373 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4374 …a modification of the Ritz direct method and is designed to improve the speed of solution and the …
4384 title = "A Note on Compiling Fixed Point Binary Multiplications",
4393 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4394 …veloped for compiling, as a sequence of shifts, additions,and subtractions, many fixed point binar…
4403 author = "A. G. Fraser",
4413 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4433 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4452 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4471 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4481 author = "A. J. Bernstein",
4482 title = "A programmer training project",
4491 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4513 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4514 …abstract = "A class of context-free grammars, called the ``Simple LR(k)'' or SLR(k) grammars i…
4525 title = "A Language Extension for Graph Processing, and Its Formal Semantics",
4536 mrreviewer = "A. D. Booth",
4537 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4548 title = "An algorithm for the blocks and cut nodes of a graph",
4560 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4562 …a packed adjacency matrix. If $w$ denotes the word length of the machine employed, the storage (in…
4581 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4582 …A fixed buffer allocation for merge-sorting is presented here which minimizes the number of input-…
4603 mrreviewer = "A. D. Booth",
4604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4605 …a combination of these modes. This paper shows that expression execution time can be minimized onl…
4627 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4647 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4656 author = "J. {\v{C}}erm{\'{a}}k",
4666 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4686 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4689 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4707 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4712 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4722 author = "A. D. {Hall, Jr.}",
4723 title = "The {Altran} system for rational function manipulation --- a survey",
4732 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4735 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4754 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4758 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4768 title = "Algebraic Simplification: {A} Guide for the Perplexed",
4779 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4783 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4802 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4805 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4827 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4828 …tions, the Petrov classification of a metric, and the solution of the field equations in the prese…
4831 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4836 treatment = "A Application; T Theoretical or Mathematical",
4853 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4854 …a large degree to Moses' SIN. The second, from algebraic manipulation, led to Manove's implementat…
4857 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4876 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4896 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4897 …a minimized amount of memory for bookkeeping purposes, is described. The technique has been tested…
4907 title = "Corrigendum: ``{An algorithm for the blocks and cutnodes of a graph}''",
4932 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4945 title = "A note on best one-sided approximations",
4957 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4967 …title = "A stopping criterion for the {Newton-Raphson} method in implicit multistep integra…
4978 bibdate = "Tue Mar 25 13:26:09 MST 1997",
4997 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5032 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5052 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5061 author = "A. E. Oldehoeft and S. D. Conte",
5071 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5090 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5099 author = "A. G. Nemeth and P. D. Rovner",
5100 title = "User program measurement in a time-shared environment",
5109 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5111 …A general discussion of the measurement of software systems is followed by a description of a hard…
5113 …A general discussion of the measurement of software systems is followed by a description of a hard…
5136 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5157 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5176 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5195 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5214 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5216 …um Algorithm. This algorithm is relatively straightforward, but it requires a fairly close estimat…
5235 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5244 author = "Michael A. Malcolm",
5257 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5269 …title = "{ACM} Algorithm 414: {Chebyshev} Approximation of Continuous Functions by a {Cheby…
5278 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5298 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5300 …a digital picture at the individual points from the sums of the gray levels along straight lines (…
5319 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5320 …abstract = "The best of a dozen different methods for compressing map data is illustrated. The…
5339 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5360 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5370 author = "W. A. Wulf and D. B. Russell and A. N. Habermann",
5371 title = "{BLISS}: {A} language for systems programming",
5383 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5385 …A language, BLISS, is described. This language is designed so as to be especially suitable for use…
5395 author = "A. Rochfeld",
5396 title = "New {LISP} Techniques for a Paging Environment",
5405 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5416 title = "A note on `a modification of {Nordsieck}'s method using an ``off-step'' point'",
5425 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5434 author = "Sven-{\AA}ke A. Gustafson",
5445 MRnumber = "46 10167a",
5447 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5468 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5469 …permits a solution for rectangular matrices. Timing results obtained by using an adapted version o…
5488 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5510 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5532 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5540 author = "A. V. Aho and P. J. Denning and J. D. Ullman",
5589 author = "A. M. Lesk",
5599 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5618 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5619 …A parallel processing algorithm for shrinking binary patterns to obtain single isolated elements, …
5638 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5650 title = "A {CRT} editing system",
5659 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5664 treatment = "A Application; E Economic; P Practical",
5668 author = "T. A. Dwyer",
5678 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5683 treatment = "A Application; P Practical",
5703 title = "{MUSE}: {A Model to Understand Simple English}",
5712 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5731 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5750 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5767 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5777 title = "A Proposal for a Computer-Based Interactive Scientific Community",
5786 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5787 …a tree of all mathematical results and terminology be maintained in a multiterminal computer syste…
5798 title = "Preliminary report on a system for general space planning",
5807 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5816 author = "W. A. Martin and D. N. Ness",
5817 title = "Optimizing Binary Trees Grown with a Storing Algorithm",
5826 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5832 treatment = "A Application; T Theoretical or Mathematical",
5836 author = "A. E. Oldehoeft and M. H. Halstead",
5846 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5855 author = "M. A. Jenkins and J. F. Traub",
5856 title = "{ACM} Algorithm 419: Zeros of a Complex Polynomial",
5865 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5884 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5895 author = "J. A. Moorer",
5905 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5954 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5966 title = "{TENEX}, {A} Paged Time-Sharing System for the {PDP-10}",
5975 bibdate = "Tue Mar 25 13:26:09 MST 1997",
5999 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6013 title = "An operating system based on the concept of a supervisory computer",
6022 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6035 title = "A Hardware Architecture for Implementing Protection Rings",
6044 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6057 author = "A. Nico Habermann",
6067 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6080 title = "A Comparative Analysis of Disk Scheduling Policies",
6089 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6103 author = "E. G. {Coffman, Jr.} and T. A. {Ryan, Jr.}",
6104 title = "A study of storage partitioning using a mathematical model of locality",
6113 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6138 mrreviewer = "A. D. Booth",
6139 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6141 …abstract = "A program's working set $W(t,T)$ at time $t$ is the set of distinct pages among th…
6164 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6170 treatment = "A Application; T Theoretical or Mathematical",
6175 title = "A system for interprocess communication in a resource sharing computer network",
6184 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6187 …A system of communication between processes in a time-sharing system is described and the communic…
6189 …A system of communication between processes in a time-sharing system is described and the communic…
6212 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6217 treatment = "A Application; X Experimental",
6222 title = "Hidden lines elimination for a rotating object",
6234 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6235 …A method is presented of determining which parts of three-dimensional objects are visible and whic…
6240 treatment = "A Application; T Theoretical or Mathematical",
6254 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6263 author = "E. Horowitz and H. L. Morgan and A. C. Shaw",
6264 title = "Computers and Society: {A} Proposed Course for Computer Scientists",
6273 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6274 …a course concerned with both the effects of computers on society and the responsibilities of compu…
6293 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6312 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6335 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6353 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6372 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6381 title = "A Note on {Cheney}'s Nonrecursive List-Compacting Algorithm",
6390 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6393 corpsource = "A/S Norsk Data-Elektronikk, Oslo, Norway",
6401 title = "A Comment on the Double-Chained Tree",
6410 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6429 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6439 author = "A. Bensoussan and C. T. Clingen and R. C. Daley",
6449 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6460 title = "{MUX}, a simple approach to on-line computing",
6469 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6479 title = "A technique for software module specification with examples",
6488 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6511 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6513 …a particularly important automatic quadrature scheme for a variety of reasons, especially the high…
6535 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6536 …a companion paper to this, ``I Methodology and Experiences,'' the automatic Clenshaw-Curtis quadra…
6557 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6558 …a method for solving the Navier-Strokes equations numerically, results in a fast numerical method …
6578 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6599 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6617 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6637 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6656 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6675 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6694 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6704 …title = "A report of the {ACM} curriculum committee on computer education for management. C…
6713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6722 author = "J. Blatny and S. R. Clark and T. A. Rourke",
6732 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6742 title = "A proposal to establish a pseudo virtual memory via writable overlays",
6751 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6769 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6780 title = "Blocks-a new datatype for {SNOBOL} 4",
6789 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6799 title = "A {Boolean} matrix method for the computation of linear precedence functions",
6811 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6830 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6841 …title = "A starting method for solving nonlinear {Volterra} integral equations of the secon…
6850 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6860 title = "A Sorting Problem and Its Complexity",
6869 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6870 … = "A technique for proving min-max norms of sorting algorithms is given. One new algorithm fo…
6889 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6899 title = "Remark on algorithm 343 (Eigenvalues and eigenvectors of a real general matrix)",
6908 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6927 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6952 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6957 treatment = "A Application",
6961 author = "A. H. J. Sale",
6971 bibdate = "Tue Mar 25 13:26:09 MST 1997",
6976 treatment = "A Application",
6990 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7009 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7014 treatment = "A Application",
7019 title = "Computer Science --- {A} Vicious Circle",
7028 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7038 title = "Individualizing instruction in a generative {CAI} tutor",
7047 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7052 treatment = "A Application; P Practical",
7088 author = "Eric A. Weiss",
7100 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7109 author = "A. P. Ershov",
7119 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7139 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7147 author = "Michael A. Arbib",
7160 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7183 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7186 …sting verification techniques, but also their extension to the handling, in a uniform manner of va…
7208 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7219 title = "Management science: a view from nonlinear programming",
7230 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7241 title = "Toward a General Theory of Special Functions",
7253 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7263 title = "A view of computer architecture",
7272 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7281 author = "A. G. Fraser",
7291 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7312 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7315 …a proposal for structured representation of multiprogramming in a high level language. Shared vari…
7334 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7353 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7372 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7373 …a great deal of theoretical interest in Algol 68 and in extensible languages, but so far at least …
7392 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7393 …a history are indicated. A key part of the paper is a tree showing the chronological development o…
7412 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7431 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7450 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7471 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7481 title = "A generational perspective of information system development",
7490 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7510 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7529 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7548 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7567 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7587 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7598 …title = "The ``Plankalk{\"u}l'' of {Konrad Zuse}: a forerunner of today's programming langu…
7609 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7620 title = "A {Western} View of Computer History",
7631 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7653 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7663 author = "A. Borodin and C. C. Gotlieb",
7673 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7731 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7733 …a top-down scheme for parsing them, based on recursive procedures. This paper presents a bottom-up…
7754 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7756 … of the algorithm indicate the feasibility of political redistricting with the aid of a computer.",
7763 treatment = "A Application",
7768 title = "Extensible Editor for a Small Machine with Disk Storage",
7777 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7779 …A design philosophy for developing a sophisticated utility program is illustrated by the actual de…
7800 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7814 title = "A Model of Memory Contention in a Paging Machine",
7825 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7828 …a problem program varies in time. These changes in memory configuration are represented explicitly…
7849 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7868 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7878 title = "A Bonus from {van Wijngaarden}'s Device",
7887 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7907 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7916 title = "A note on the generation of rosary permutations. With a response by {K. Harada}",
7928 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7939 title = "{ACM} Algorithm 429: Localization of the Roots of a Polynomial",
7953 title = "{ACM} Algorithm 430: Immediate Predominators in a Directed Graph",
7976 bibdate = "Tue Mar 25 13:26:09 MST 1997",
7978 …of many types of networks. These algorithms exhibit a computation time that in many cases grows at…
7985 treatment = "A Application",
7999 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8013 title = "A New Approach to Automatic Scanning of Contour Maps",
8022 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8024 …a general contour map is analyzed, and its topological properties are utilized in developing a new…
8047 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8049 …a rational expression to within any desired tolerance on a computer which performs variable-precis…
8060 author = "A. Ravindran",
8061 …title = "{ACM} Algorithm 431: {A} Computer Routine for Quadratic and Linear Programming Pro…
8075 …title = "{ACM} Algorithm 432: Solution of the Matrix Equation ${\bf{A}}x+x{\bf{B}}={\bf{C}}…
8100 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8102 …a thinned image with an overall reduced number of points. It is concluded that the algorithm opera…
8114 title = "A Comparison of Floating Point Summation Methods",
8123 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8146 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8155 author = "D. L. Parnas and A. N. Habermann and R. C. Holt",
8165 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8175 title = "A controller for a {Braille} terminal",
8184 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8203 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8226 …abstract = "We shall do a much better programming job, provided that we approach the task with…
8240 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8242 …A hardware implementation on the Maniac II computer of the working set model for demand paging, as…
8266 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8268 …A number of procedures convert Taylor series expansions directly into sampling steps, an approach …
8297 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8299 …a particular integral equation of the first (Fredholm) kind is the basic problem considered. The s…
8320 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8322 …A system is described for generating English sentences from a form of semantic nets in which the n…
8343 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8345 …cable or conditions which are already tested. The new algorithms combine to a certain degree the a…
8366 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8368 …abstract = "A family of sorting algorithms is proposed, the members of which make fuller use o…
8379 author = "A. P. Ershov",
8419 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8421 …A set of test problems on which the programs were tested is included in appendix. For the particul…
8432 author = "Michael A. Malcolm",
8442 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8457 …title = "A Highly Parallel Algorithm for Approximating All Zeros of a Polynomial with Only …
8468 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8470 …bed based on Newton's method which simultaneously approximates all zeros of a polynomial with only…
8491 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8493 …a partial solution to the type checking problem based on the notions of abstraction and applicatio…
8514 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8516 …a simple programming language are introduced and described informally in terms of values and side-…
8537 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8539 … including such a rule. Both algorithms are compared with existing ones and are applied to a somew…
8560 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8562 …e is typically a growing demand for space during program execution. This paper examines the practi…
8583 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8585 …A method for generating values of continuous symmetric random variables that is relatively fast, r…
8627 …title = "Additional results on key-to-address transform techniques: a fundamental performan…
8636 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8646 title = "A note on optimal doubly-chained trees",
8655 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8664 author = "Murray A. Eisenberg and Michael R. McGuire",
8674 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8694 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8715 …a more useful array language operation. Various modes of partitioning are defined for different ty…
8736 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8738 …a scheme for symbolic manipulation of index expressions which arise as a by-product of the symboli…
8759 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8761 …a general purpose text editor, and incremental processing of changes without frequent recompilatio…
8782 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8784 …A new linear search for hash tables whose increment step is a function of the key being addressed …
8796 title = "A comparison of multivariate normal generators",
8805 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8824 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8847 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8849 …a mechanism for improving the flexibility and comprehensibility of a system while allowing the sho…
8870 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8872 …a portable form. A popular way of accomplishing this is to encode the software in a specially desi…
8884 …title = "Trace-Driven Modeling and Analysis of {CPU} Scheduling in a Multiprogramming Syste…
8893 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8895 …s concluded that a successful CPU scheduling method must be preemptive and must prevent a given jo…
8964 title = "A Queuing Model of a Multiprogrammed Computer with a Two-Level Storage System",
8976 bibdate = "Tue Mar 25 13:26:09 MST 1997",
8978 …The results are presented of an analysis of a probabilistic model of a multiprogrammed computer sy…
8999 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9001 …a hash-coded table is altered, the table entries must be rescattered over the new space. A techniq…
9003 …annote = "Algorithm to handle increase or decrease within a direct access table containing e…
9024 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9038 title = "On the Time Required for a Sequence of Matrix Products",
9050 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9073 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9075 …A method of analyzing statements in a programming language which can tolerate a considerable inacc…
9099 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9101 …A previous paper presented an efficient algorithm, called the Recomputation Algorithm, for evaluat…
9113 title = "Reduction of a Band-Symmetric Generalized Eigenvalue Problem",
9125 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9127 …a generalized eigenvalue problem to an ordinary problem, in case A and B are symmetric band matric…
9150 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9160 title = "A note on when to chain overflow items within a direct-access table",
9169 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9188 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9198 …title = "{ACM} Algorithm 440: {A} Multidimensional {Monte} {Carlo} Quadrature with Adaptive…
9207 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9226 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9241 author = "G. W. Hill and A. W. Davis",
9251 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9279 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9281 …A novel computer-searchable representation for the three basic pictorial features, contour maps, r…
9292 author = "S. Crespi-Reghizzi and M. A. Melkanoff and L. Lichten",
9305 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9307 …a new programming language and in extending an existing language, the designer is faced with the p…
9319 title = "A Theory of Discrete Patterns and Their Implementation in {SNOBOL4}",
9331 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9333 …a discrete pattern is formalized and certain properties deduced. A pattern is shown to be a genera…
9357 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9380 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9382 …en addressing with double hashing to reduce the average number of probes for a successful search.",
9383 …A new method for entering and retrieving information in a hash table is described. The method is i…
9394 title = "A software design and evaluation system",
9403 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9405 …A critical failure of current software system design and implementation methodology is that the pe…
9426 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9448 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9459 title = "A Computer Science Course Program for Small Colleges",
9468 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9470 …a program of computer science courses specifically directed to small colleges. Implementation prob…
9482 author = "Robert A. Wagner",
9492 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9494 …A method for saving storage space for text strings, such as compiler diagnostic messages, is descr…
9506 title = "Telecommunications Using a Front-End Minicomputer",
9515 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9517 …a front-end minicomputer to provide varied remote terminal access to a large scale computer is con…
9529 title = "The Effects of Multiplexing on a Computer-Communications System",
9538 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9540 …A study is made of the way in which asynchronous time division multiplexing changes the stochastic…
9561 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9563 …a compiler for a dialect for PL/I. The design objective was to provide a maximum degree of diagnos…
9571 xxtitle = "Design and implementation of a diagnostic compiler for {PL/I}",
9585 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9623 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9633 author = "R. A. Wagner",
9634 …title = "{ACM} Algorithm 444: An Algorithm for Extracting Phrases in a Space-Optimal Fashio…
9643 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9662 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9681 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9690 author = "A. Hassitt and J. W. Lageschulte and L. E. Lyon",
9691 title = "Implementation of a High Level Language Machine",
9700 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9702 …atements of a high level language have been proposed in the past. This report describes the actual…
9726 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9728 …A study is presented of some of the system implications of memory hierarchies in which the backing…
9740 title = "A Statistical Study of the Accuracy of Floating Point Number Systems",
9752 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9754 …hmetic with various numbers of guard digits, and with a modified round mode with guard digits. In …
9765 author = "W. A. Burkhard and R. M. Keller",
9775 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9777 …hing the set of keys in a file to find a key which is closest to a given query key is discussed. A…
9789 title = "A region coloring technique for scene analysis",
9798 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9800 …A method of converting a picture into a ``cartoon'' or ``map'' whose regions correspond to differe…
9812 title = "The design, implementation, and evaluation of a working set dispatcher",
9821 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9823 …a computer system is largely dependent upon the algorithm employed to allocate the system resource…
9845 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9863 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9882 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9884 …a computer based information retrieval system is examined. The problem is analyzed in terms of psy…
9905 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9907 …rom a predefined file. It is proposed that programming by questionnaire is a useful compromise bet…
9928 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9930 …tions on overall table meaning is discussed, and it is argued that there is a place both for the m…
9951 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9953 …A probabilistic analysis is employed to determine the effect of hierarchical storage organizations…
9975 bibdate = "Tue Mar 25 13:26:09 MST 1997",
9977 …A procedure for constructing a minimal event-node network to represent a set of precedence relatio…
9998 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10000 …A package of Fortran programs has been developed that permits a user to interactively design and t…
10007 treatment = "A Application; T Theoretical or Mathematical",
10012 title = "A Nonrecursive List Moving Algorithm",
10021 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10044 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10049 treatment = "A Application; T Theoretical or Mathematical",
10063 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10072 author = "B. Holmgren and A. Kolm and D. Obradovic",
10082 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10101 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10110 author = "J. A. Howell",
10120 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10129 author = "A. H. J. Sale",
10130 title = "A sparse matrix package",
10139 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10158 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10177 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10196 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10215 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10225 title = "A comment on the practical aspects of computer science education",
10234 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10252 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10254 …a comprehensive system for manipulating all kinds of text, such as computer programs, letters, and…
10266 title = "A Practical Approach to Managing Resources and Avoiding Deadlocks",
10275 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10277 …A resource management program is described which uses linked lists along with other techniques to …
10279 annote = "Description of a limited implementation and good overview.",
10299 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10308 author = "E. Gelenbe and J. C. A. Boekhorst and J. L. W. Kessels",
10318 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10337 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10356 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10377 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10387 title = "A computer generated aid for cluster analysis",
10396 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10415 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10436 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10455 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10475 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10495 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10504 author = "J. Ferguson and P. A. Staley",
10517 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10518 …es involved in a linear least squares formulation are determined for the problem of fitting piecew…
10539 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10540 …a five-term recurrence relationship. For some special cases the approximation is shown to be simpl…
10559 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10580 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10582 …a descriptive stage hypothesis is presented. It is suggested that the planning, organizing, and co…
10590 xxtitle = "Managing the computer resource: a stage hypothesis",
10595 title = "A Note on Information Organization and Storage",
10606 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10608 …a data base can be represented by a tree or graph, it is quite natural for us to view the process …
10629 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10631 …a chess player written entirely in Fortran. On the IBM 360-65, COKO III plays a minimal chess game…
10638 treatment = "A Application",
10652 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10654 …cation and still operate together to prevent deadlocks. This paper presents a method, based on the…
10666 title = "Distribution of a Program in Primary and Fast Buffer Storage",
10675 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10677 …A virtual memory computer system with a fast buffer (cache) memory between primary memory and cent…
10682 …keywords = "cache; computer systems programming; cost time integral; distribution of a program…
10697 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10699 …a course about programming designed to provide entering students in a graduate program with a cult…
10719 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10721 …nagement is proposed. The proposed addendum is to include in the curriculum a course on Informatio…
10732 author = "A. Kandel",
10742 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10753 title = "Multiple Exits from a Loop Without the {GOTO}",
10762 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10771 author = "Patrick A. V. Hall",
10781 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10800 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10819 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10829 author = "I. D. G. Macleod and A. M. Collins",
10839 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10858 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10868 title = "A learning program which plays partnership dominoes",
10877 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10879 …A learning program has been written in BASIC to play four-player partnership dominoes. Because dom…
10903 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10905 … a data item and how imperative statements can be considered functions on the environment. The nat…
10906 …A formal system is presented which abstracts the notions of data item, function, and relation. It …
10927 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10929 …A study of circuit realization of Petri nets leads to a demonstration of their usefulness in model…
10940 author = "M. MacHura and A. Mulawa",
10950 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10970 bibdate = "Tue Mar 25 13:26:09 MST 1997",
10989 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11008 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11017 author = "J. A. Richardson and J. L. Kuester",
11027 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11046 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11065 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11084 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11103 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11112 author = "A. J. Good",
11122 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11132 title = "Localization of the roots of a polynomial",
11141 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11145 keywords = "algorithm; localization; polynomials; roots of a polynomial",
11163 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11189 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11191 …A well-formed program is defined as a program in which loops and if statements are properly nested…
11203 title = "A Generalization of {AVL} Trees",
11212 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11214 …A generalization of AVL trees is proposed in which imbalances up to (triangle shape) is a small in…
11237 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11267 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11269 …a heuristic algorithm that converts a limited entry decision table to a tree structured computer p…
11281 title = "Evaluation and Selection of File Organization --- {A} Model and a System",
11290 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11292 …a methodology, a model and a programmed system to estimate primarily total storage costs and avera…
11314 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11316 …a well-specified application. The problem is academic in the sense that ordinarily the optimal tre…
11337 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11339 …a basis for the design of scheduling and paging algorithms. Although the words ``working set'' are…
11350 author = "Geoffrey W. Gates and David A. Poplawski",
11351 title = "A simple technique for structured variable lookup",
11360 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11362 …A simple technique for the symbol-table lookup of structured variables based on simple automata th…
11383 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11406 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11429 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11448 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11467 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11470 …annote = "An implicit enumeration algorithm for listing all cliques in a graph. Includes eas…
11488 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11512 title = "A sparse matrix package. {I}",
11521 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11540 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11550 title = "Localization of the roots of a polynomial",
11559 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11569 title = "Multiple Terminals Under User Program Control in a Time-Sharing Environment",
11578 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11592 title = "A Model and Stack Implementation of Multiple Environments",
11601 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11603 …a single stack to hold procedure activation storage which allows retention of that storage for dur…
11624 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11626 …a new approach to the analysis of performance of the various key-to-address transformation methods…
11634 treatment = "A Application; T Theoretical or Mathematical",
11639 title = "A Note on the Confinement Problem",
11648 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11650 …a program during its execution so that it cannot transmit information to any other program except …
11663 title = "A Class of Dynamic Memory Allocation Algorithms",
11672 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11674 …A new dynamic memory allocation algorithm, the Fibonacci system, is introduced. This algorithm is …
11695 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11718 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11720 …a Fortran compiler on the ILLIAC IV, an extended Fortran, called IVTRAN, has been developed. This …
11741 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11751 title = "{ACM} Algorithm 459: The Elementary Circuits of a Graph",
11760 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11779 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11789 …title = "{ACM} Algorithm 461: Cubic Spline Solutions to a Class of Functional Differential …
11798 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11817 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11836 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11855 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11859 …annote = "Turing award acceptance speech-general view of the state of database work from a D…
11877 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11879 …a decision implies that every time the decision is made there is a consistency check performed on …
11900 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11902 …a parser-generating system (PGS) currently in use on the CDC-6500 computer at Purdue University. T…
11909 treatment = "A Application; T Theoretical or Mathematical",
11923 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11925 …a linked list data structure to process the lines of the drawing in strips corresponding to groups…
11946 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11948 …abstract = "This paper presents a detailed description of the program and a comprehensive acco…
11960 title = "{ACM} Algorithm 464: Eigenvalues of a Real Symmetric Tridiagonal Matrix",
11969 bibdate = "Tue Mar 25 13:26:09 MST 1997",
11988 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12007 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12026 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12037 …title = "{ACM} Algorithm 468: Algorithm for Automatic Numerical Integration Over a Finite I…
12046 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12055 title = "{ACM} Algorithm 469: Arithmetic Over a Finite Field",
12064 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12074 title = "A Note on Subexpression Ordering in the Execution of Arithmetic Expressions",
12086 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12089 … "A counterexample to the supposed optimality of an algorithm for generating schedules for trees o…
12100 author = "Jerome A. Feldman and James R. Low and R. P. Brent",
12110 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12129 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12139 title = "A recurrence scheme for converting from one orthogonal expansion into another",
12150 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12168 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12178 title = "Solving the Biharmonic Equation in a Square: a Direct Versus a Semidirect Method",
12187 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12189 …igenvalue-eigenvector decomposition. The other method is iterative, solving a Poisson equation dir…
12210 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12211 …a curriculum is proposed for an undergraduate program. Material necessary for such programs is ide…
12220 title = "A Data Definition and Mapping Language",
12229 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12236 treatment = "A Application; T Theoretical or Mathematical",
12250 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12255 treatment = "A Application; T Theoretical or Mathematical",
12269 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12274 treatment = "A Application; T Theoretical or Mathematical",
12288 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12293 treatment = "A Application; T Theoretical or Mathematical",
12298 …title = "Syntax-directed least-errors analysis for context-free languages: a practical appr…
12307 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12316 author = "Michael A. Malcolm and John Palmer",
12317 title = "A Fast Method For Solving a Class of Tridiagonal Systems of Linear Equations",
12329 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12331 …ploited to reduce the number of floating-point operations required to solve a linear system from $…
12338 xxtitle = "A fast method for solving a class of tridiagonal linear systems",
12343 …title = "A method of bivariate interpolation and smooth surface fitting based on local proc…
12352 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12375 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12377 …a matrix by similarity transformations is an important computational tool in numerical linear alge…
12392 pages = "25--25",
12397 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12402 treatment = "A Application; T Theoretical or Mathematical",
12416 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12422 treatment = "A Application; T Theoretical or Mathematical",
12436 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12441 treatment = "A Application; T Theoretical or Mathematical",
12455 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12465 title = "A Numbering System for Combinations",
12474 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12479 treatment = "A Application; T Theoretical or Mathematical",
12484 title = "A {CRT} report generating system",
12493 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12503 title = "Attribute Based File Organization in a Paged Memory Environment",
12512 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12514 …a method called multiple key hashing which attempts to minimize it. since this approach is not alw…
12521 treatment = "A Application; E Economic; T Theoretical or Mathematical",
12526 title = "A cell organized raster display for line drawings",
12535 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12537 …A display is described which extends the capabilities of this organization to include general grap…
12561 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12563 … another parameter complicates the problem of finding the parameter values to fit a distribution.",
12588 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12590 …abstract = "Methods are developed for the parallel execution of different iterations of a DO l…
12597 treatment = "A Application; T Theoretical or Mathematical",
12611 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12613 …a formal notation called Production Systems in providing a readable and complete formal definition…
12620 treatment = "A Application; T Theoretical or Mathematical",
12637 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12639 …gram verification require a complete predicate specification on each loop. Because this is tedious…
12646 treatment = "A Application; T Theoretical or Mathematical",
12650 author = "K. Sreenivasan and A. J. Kleinman",
12651 title = "On the Construction of a Representative Synthetic Workload",
12660 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12662 …A general method of constructing a drive workload representative of a real workload is described. …
12683 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12685 …A probabilistic model of a multiprogramming system is exercised in order to determine the conditio…
12692 treatment = "A Application; T Theoretical or Mathematical",
12706 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12708 …the number of mount requests issued to the operators. This is often a bottleneck in a computing fa…
12730 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12753 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12779 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12789 title = "Scan Conversion Algorithms for a Cell Organized Raster Display",
12798 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12800 …A display has been described which extends the capabilities of this organization to include genera…
12807 treatment = "A Application; P Practical",
12811 author = "A. Frank Ackerman",
12823 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12832 title = "A note on a combinatorial problem of {Burnett} and {Coffman}",
12843 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12853 …title = "Efficient Implementation of a Variable Projection Algorithm for Nonlinear Least Sq…
12864 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12867 …a linear and a nonlinear part. A variable projection algorithm has been developed recently which i…
12879 title = "A Simple Linear Model of Demand Paging Performance",
12888 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12890 …a demand paged virtual memory computer system. The simple model combines the effect of the informa…
12897 treatment = "A Application; X Experimental",
12901 author = "M. A. Franklin and R. K. Gupta",
12911 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12913 …a virtual memory system operating under demand paging with various memory sizes and replacement ru…
12925 title = "Execution Characteristics of Programs in a Page-On-Demand System",
12934 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12936 …a large-scale, time-shared computer system. A software monitoring facility built into the supervis…
12943 treatment = "A Application; P Practical",
12957 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12959 …e may exist a solution to the equivalent continuous problem. An example is given, for which the no…
12966 treatment = "A Application; T Theoretical or Mathematical",
12980 bibdate = "Tue Mar 25 13:26:09 MST 1997",
12982 … n. No foreknowledge of cycle absence is necessary to achieve linear speed. A variation of the sec…
13003 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13005 …ed. Method A is the natural way to use parallelism. Method B is new. Both approximately achieve th…
13013 treatment = "A Application; T Theoretical or Mathematical",
13018 title = "A study of computer use in a graduate school of business",
13027 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13036 author = "Peter Freeman and Michael A. Malcolm and William H. Payne",
13046 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13057 title = "Ideal teaching machines --- a solution to the pedagogic language problem",
13066 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13071 treatment = "A Application; G General Review; P Practical",
13085 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13094 author = "A. Balfour",
13104 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13126 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13128 …a theorem-proving problem, and a program is obtained by analyzing a proof. \par For the improved a…
13140 author = "A. K. Cline",
13153 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13172 author = "A. K. Cline",
13182 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13187 treatment = "A Application; T Theoretical or Mathematical",
13201 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13206 treatment = "A Application; T Theoretical or Mathematical",
13220 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13239 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13241 …a general purpose language. This paper describes the use of simulation techniques to predict the s…
13248 treatment = "A Application; T Theoretical or Mathematical",
13262 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13264 …a general purpose programming language, a key issue is providing a sufficient set of data types an…
13271 treatment = "A Application; T Theoretical or Mathematical",
13275 author = "Robert A. Wagner",
13285 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13287 …A method is presented for calculating a string B, belonging to a given regular language L, which i…
13311 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13313 … of a random digital integer. This result is then used to determine the distribution of the roundo…
13325 title = "Design for a Number Theory Package with an Optimized Trial Division Routine",
13334 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13336 …abstract = "A number theory package is described which uses doubly linked list structures for …
13357 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13368 title = "A Model for Masking Rotational Latency by Dynamic Disk Allocation",
13377 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13379 …a disk or drum. It discusses the anticipatory input and output of blocks of data to buffer and pri…
13387 treatment = "A Application; T Theoretical or Mathematical",
13401 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13403 …a go-to-less programming language which includes most of the features of Algol 60. The second lang…
13415 treatment = "A Application; P Practical",
13419 author = "L. Henschen and Ross A. Overbeek and L. Wos",
13420 title = "A Theorem-Proving Language for Experimentation",
13432 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13434 …ently under consideration in automated theorem proving, there is a need for developing a language …
13456 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13458 …a technique for compacting character sets in a digital computer while retaining fast access to ind…
13479 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13484 treatment = "A Application; T Theoretical or Mathematical",
13489 title = "{ACM} Algorithm 479: {A} Minimal Spanning Tree Clustering Method",
13498 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13518 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13537 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13556 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13575 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13594 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13613 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13632 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13637 treatment = "A Application; P Practical",
13651 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13664 …author = "W. Wulf and E. Cohen and W. Corwin and A. Jones and R. Levin and C. Pierson and F.…
13665 title = "{HYDRA}: The Kernel of a Multiprocessor Operating System",
13674 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13676 …a generalized notion of ``resource,'' both physical and virtual, called an ``object.'' Mechanisms …
13684 treatment = "A Application; P Practical",
13698 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13700 …A novel method is presented, which maps the hyperbolic frequency distribution. This is more suited…
13713 title = "On Computing Sets of Shortest Paths in a Graph",
13725 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13727 …a directed graph. These algorithms generalize the Floyd algorithm and the Dantzig algorithm for fi…
13734 treatment = "A Application; P Practical",
13748 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13750 …a general-purpose, multi-user, interactive operating system for the Digital Equipment Corporation …
13752 …annote = "Interactive operating system for PDP-11, VAX with a hierarchical file system incor…
13758 treatment = "A Application; P Practical",
13772 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13782 treatment = "A Application; P Practical",
13799 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13801 …A deterministic model of independent tasks is introduced and new results are derived which extend …
13809 treatment = "A Application; T Theoretical or Mathematical",
13823 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13825 …authentication of users, and primary memory protection. The paper ends with a discussion of severa…
13832 treatment = "A Application; P Practical",
13846 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13848 …a capability as an address is shown to overcome these difficulties because it provides the needed …
13850 …annote = "The direct use of a capability as an address is shown to be useful when dealing wi…
13857 treatment = "A Application; P Practical",
13874 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13876 …abstract = "A model of a third-generation-like computer system is developed. Formal techniques…
13883 treatment = "A Application; P Practical",
13888 title = "A New Technique for Compression and Storage of Data",
13897 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13899 …aper describes techniques that can, in most cases, decrease storage size by a factor of from two t…
13901 annote = "Generation of a character dictionary and its use to minimize space.",
13907 treatment = "A Application; P Practical",
13912 title = "A User Authentication Scheme Not Requiring Secrecy in the Computer",
13921 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13923 …a user authenticates himself by entering a secret password known solely to himself and the system.…
13931 treatment = "A Application; T Theoretical or Mathematical",
13936 title = "A High Security Log-in Procedure",
13945 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13947 …e avoided. The selection of a suitable one-way cipher is discussed. It is suggested that for this …
13955 treatment = "A Application; T Theoretical or Mathematical",
13969 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13971 …abstract = "The time taken to decipher 20,000 words of data by four additive methods on a Cont…
13978 treatment = "A Application; T Theoretical or Mathematical; X Experimental",
13982 author = "G. A. Neufeld and J. Tartar",
13995 bibdate = "Tue Mar 25 13:26:09 MST 1997",
13997 …A necessary and sufficient condition is presented for the existence of a solution to the Gotlieb c…
14004 treatment = "A Application; T Theoretical or Mathematical",
14009 title = "A New Solution of {Dijkstra}'s Concurrent Programming Problem",
14021 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14023 …abstract = "A simple solution to the mutual exclusion problem is presented which allows the sy…
14025 annote = "A solution which is more failure proof.",
14030 treatment = "A Application; T Theoretical or Mathematical",
14044 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14067 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14072 treatment = "A Application; T Theoretical or Mathematical",
14086 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14091 treatment = "A Application; T Theoretical or Mathematical",
14105 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14117 author = "A. H. Stroud",
14132 …a point in $R$. Assuming R is starlike with respect to $(x*,y*)$, we discuss a method for computin…
14152 …A new interpolation function is introduced. It has infinitely many continuous derivatives and is a…
14183 …title = "A New Integration Algorithm for Ordinary Differential Equations Based on Continued…
14195 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14197 …A new integration algorithm is found, and an implementation is compared with other programmed algo…
14209 title = "A Precise Numerical Analysis Program",
14218 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14220 …A description is given of a program for computing the solution to a small number of standard numer…
14224 corpsource = "Texas A and M Univ., College Station, TX, USA",
14245 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14247 …a region into N nonoverlapping subregions in such a way that their areas are in specified proporti…
14254 treatment = "A Application; T Theoretical or Mathematical",
14270 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14272 …s introduced by Eickel, Paul, Bauer, and Samelson was shown by Morris to be a proper superclass of…
14293 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14306 treatment = "A Application",
14320 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14325 treatment = "A Application; T Theoretical or Mathematical",
14330 title = "{ACM} Algorithm 485: Computation of $g$-Splines via a Factorization Method",
14339 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14344 treatment = "A Application; T Theoretical or Mathematical",
14349 title = "A First Order Approximation to the Optimum Checkpoint Interval",
14358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14364 treatment = "A Application; T Theoretical or Mathematical",
14378 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14380 …into flowcharts which minimize subsequent execution time when compiled into a computer program. Th…
14387 treatment = "A Application; T Theoretical or Mathematical",
14391 author = "C. A. R. Hoare",
14401 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14404 …a monitor as a method of structuring an operating system. It introduces a form of synchronization,…
14413 treatment = "A Application; P Practical",
14418 title = "A Weighted Buddy Method for Dynamic Storage Allocation",
14427 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14430 … compare this method with the buddy method. These results indicate that for a uniform request dist…
14437 treatment = "A Application; T Theoretical or Mathematical",
14442 title = "A note on the calculation of average working set size",
14451 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14453 …efficiently obtained for a set of page sizes, in a single pass of the reference string. This work …
14460 treatment = "A Application; T Theoretical or Mathematical",
14474 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14476 …a data structure description and manipulation language which provides for the creation of a restri…
14484 treatment = "A Application; P Practical",
14488 author = "R. H. Canaday and R. D. Harrison and E. L. Ivie and J. L. Ryder and L. A. Wehr",
14489 title = "A Back-end Computer for Data Base Management",
14498 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14500 …a dedicated back-end computer which accepts commands (in a relatively high level language such as …
14509 treatment = "A Application; P Practical",
14513 author = "A. Charnes and W. M. Raike and J. D. Stutz and A. S. Walters",
14523 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14525 …a theoretical justification and an illustrative implementation of a method for generating linear p…
14532 treatment = "A Application; T Theoretical or Mathematical",
14546 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14552 treatment = "A Application; T Theoretical or Mathematical",
14566 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14576 title = "A computer routine for quadratic and linear programming problems",
14585 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14614 …title = "Errata: ``{Efficient Implementation of a Variable Projection Algorithm for Nonline…
14641 …sider whether the many courses aimed at training programmers are justified on a vocational basis.",
14650 …title = "Guidelines for Humanizing Computerized Information Systems, {A} Report from Stanle…
14659 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14661 …s computerized systems. The guidelines presented here were generated during a week-long workshop s…
14682 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14684 …A new approach to program locality improvement via restructuring is described. The method is parti…
14696 title = "A locally-organized parser for spoken input",
14705 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14707 … paper describes LPARS, a locally-organized parsing system, designed for use in a continuous speec…
14728 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14730 …A method is described for composing musical rounds by computer. This method uses some music theory…
14737 treatment = "A Application; P Practical",
14741 author = "R. A. Freiburghouse",
14751 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14774 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14784 author = "J. A. Brown and B. Werner",
14794 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14799 treatment = "A Application; P Practical",
14804 title = "A simple technique for representing strings in {Fortran IV}",
14813 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14832 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14842 title = "Multiple exits from a loop using neither {GO TO} nor labels",
14851 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14870 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14873 abstract = "Discussion emphasizes that computer programming is an art as well as a science.",
14885 …title = "Arguments for a Moratorium on the Construction of a Community Information Utility",
14894 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14896 …a prudent and decentralized approach to the question of the design and desirability of computerize…
14917 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14919 …A simple analytic model has been developed for investigating the effects of the HASP Execution Tas…
14926 treatment = "A Application; T Theoretical or Mathematical",
14931 title = "A Comparison of List Schedules for Parallel Processing Systems",
14940 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14942 …a program which consists of a set of partially ordered tasks is studied. Cases where task executio…
14949 treatment = "A Application; T Theoretical or Mathematical",
14966 bibdate = "Tue Mar 25 13:26:09 MST 1997",
14968 …a digital computer is straightforward. There is no simple method for generating gamma random varia…
14982 treatment = "A Application; T Theoretical or Mathematical",
14986 author = "A. Salazar and R. V. Oakford",
14987 title = "A Graph Formulation of a School Scheduling Algorithm",
14999 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15002 …Network Theory. \par One such formulation is: Given a nondirected network, partition its nodes int…
15009 treatment = "A Application; T Theoretical or Mathematical",
15026 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15028 …a linear system with constant coefficients and linear forcing terms; in that case, the method is t…
15049 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15055 treatment = "A Application; T Theoretical or Mathematical",
15060 title = "{ACM} Algorithm 488: {A} {Gaussian} pseudo-random number generator [{G5}]",
15069 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15082 treatment = "A Application; T Theoretical or Mathematical",
15096 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15098 …a similarity structure which is imposed on the data base using nonnumerical clustering algorithms.…
15105 treatment = "A Application; T Theoretical or Mathematical",
15140 …title = "{\em CONVERT\/}: {A} High Level Translation Definition Language for Data Conversio…
15151 …a high level and nonprocedural translation definition language, CONVERT, which provides very power…
15152 …nnote = "A full description of the CONVERT language is given. It is fairly complete, and dea…
15168 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15193 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15196 …abstract = "Following some lines of joint work with A. S. Householder, the character and use o…
15220 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15247 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15250 …ian elimination with partial pivoting plus back substitution. However, when A is ill conditioned, …
15267 pages = "25--29",
15275 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15278 …abstract = "A discussion is given of two functions of the entries of a square matrix, both rel…
15289 author = "A. {van der Sluis}",
15300 MRnumber = "51 9457a",
15302 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15329 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15331 … "The elementary divisors of a tensor product of linear transformations have been known for 40 yea…
15355 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15380 MRnumber = "51 2333a",
15382 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15385 …a nested subexpression independently of its environment, thus modeling what is known as stepwise p…
15409 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15412 …a very simple algorithm based on the fixed-length combination of two variable field-length encodin…
15437 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15440 …A(\infty)$-stable formulas. Three criteria are given for A$(0)$-stability. It is shown that (1) fo…
15446 …keywords = "A(0)-stability; A(inf)-stability; accuracy; differential equations; error analysis…
15464 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15467 …ing the (sample) mean of a set of data as a fit to this data by a constant function, a computation…
15484 title = "Proposed Criterion for a Cipher to be Probable-Word Proof",
15509 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15511 …A model of interleaved memory systems is presented, and the analysis of the model by Monte Carlo s…
15523 title = "Sentence Paraphrasing from a Conceptual Base",
15532 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15534 …A model of natural language generation based on an underlying language-free representation of mean…
15558 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15560 …a bidirectional relationship between state-space and problem-reduction representations. It present…
15582 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15595 author = "H. C. Johnston and C. A. R. Hoare",
15608 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15610 …a development of that described by John Lions. It has been generalized and adapted to fit into the…
15617 treatment = "A Application; T Theoretical or Mathematical",
15622 title = "A System for Typesetting Mathematics",
15631 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15633 …a system for typesetting mathematics. \par The language has been designed to be easy to learn and …
15646 treatment = "A Application; P Practical",
15651 title = "{GLYPNIR} --- {A} programming language for {Illiac IV}",
15660 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15683 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15685 …A new selection algorithm is presented which is shown to be very efficient on the average, both th…
15706 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15716 author = "A. M. Erisman and W. F. Tinney",
15717 title = "On Computing Certain Elements of the Inverse of a Sparse Matrix",
15729 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15731 …abstract = "A recursive algorithm for computing the inverse of a matrix from the LU factors ba…
15755 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15757 …hogonal polynomials is widely used for discrete least squares data fitting. A variant of the class…
15768 author = "A. {van der Sluis}",
15788 title = "On a Solution to the Cigarette Smoker's Problem (Without Conditional Statements)",
15797 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15799 …a problem first introduced by Patil, who has claimed that the cigarette smoker's problem cannot be…
15810 author = "Jack A. Chambers and Ray V. Poore",
15820 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15822 …a nationwide survey of computer networks in higher education conducted during 1971-73. Five major …
15834 title = "{ACM} Algorithm 490: The Dilogarithm Function of a Real Argument",
15843 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15849 treatment = "A Application; T Theoretical or Mathematical",
15854 title = "Corrigendum: ``{A Weighted Buddy Method for Dynamic Storage Allocation}''",
15863 bibdate = "Sat Jan 18 15:14:25 1997",
15881 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15883 …enance methods are based on necessary conditions for the existence of a solution. A general framew…
15890 treatment = "A Application; T Theoretical or Mathematical",
15904 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15906 …A technique is presented which allows a class of solid objects to be synthesized and stored using …
15913 treatment = "A Application; T Theoretical or Mathematical",
15918 title = "Quadratic Hash Method When the Table Size is not a Prime Number",
15927 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15929 …uadratic hash methods is limited mainly to the case where the table size is a prime number. Here, …
15941 …title = "A Modification of {Warshall}'s Algorithm for the Transitive Closure of Binary Rela…
15953 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15955 …a binary relation that is represented by a Boolean matrix. The algorithm is similar to Warshall's …
15966 author = "James A. Hinds",
15976 bibdate = "Tue Mar 25 13:26:09 MST 1997",
15978 …abstract = "A simple scheme for the determination of the location of a block of storage relati…
15990 title = "A Comparison of Simulation Event List Algorithms",
15999 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16002 …a general purpose discrete simulation system. Two of the algorithms are new, one is based on an en…
16051 author = "David A. Fisher",
16061 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16063 …A bounded workspace copying algorithm for arbitrary list structures is given. This algorithm opera…
16084 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16086 …a hierarchical level by level framework is stressed. The inverted data base (file) organization is…
16107 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16109 …he paper describes a working analysis and generation program for natural language, which handles p…
16130 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16140 title = "A note on the {LU} factorization of a symmetric matrix",
16152 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16172 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16182 author = "A. I. Wasserman",
16183 title = "A problem-list of public policy issues concerning computers and health care",
16192 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16197 treatment = "A Application; E Economic; G General Review",
16230 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16232 …abstract = "Peaks in a digitized waveform are detected by an algorithm incorporating piecewise…
16239 treatment = "A Application",
16253 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16262 treatment = "A Application; P Practical",
16284 …title = "{ACM} Algorithm 492: Generation of All the Cycles of a Graph from a Set of Basic C…
16293 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16298 treatment = "A Application; T Theoretical or Mathematical",
16312 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16314 …ion and the fundamental laws of optics are considered in the development of a shading rule that pr…
16326 title = "A Cost Oriented Algorithm for Data Set Allocation in Storage Hierarchies",
16335 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16337 …to slower level memories simply on the basis of an ad hoc threshold against a time interval since …
16358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16360 …a new method of simulation organization, called the significant event method, with an old one, cal…
16381 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16404 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16406 …abstract = "A simplified recombination scheme for the Fibonacci buddy system which requires ne…
16430 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16432 …a simple, efficient algorithm to locate all occurrences of any of a finite number of keywords in a…
16444 title = "A Linear Space Algorithm for Computing Maximal Common Subsequences",
16456 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16458 …abstract = "The problem of finding a longest common subsequence of two strings has been solved…
16466 treatment = "A Application; T Theoretical or Mathematical",
16480 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16482 …a generalization of an old programming technique; using it, one may add and subtract numbers repre…
16489 treatment = "A Application; T Theoretical or Mathematical",
16506 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16527 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16529 … the fact that a significant amount of bookkeeping time is required to keep future events in their…
16571 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16573 …A step-by-step approach to model the dynamic behavior and evaluate the performance of computing sy…
16585 title = "A large semaphore based operating system",
16594 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16596 …abstract = "The paper describes the internal structure of a large operating system as a set of…
16617 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16619 … "This paper presents a programming language designed specifically for the compact and perspicuou…
16626 treatment = "A Application; P Practical",
16640 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16642 …g systems. It develops a method for evaluating the cost of requiring programmers to work with an a…
16649 treatment = "A Application; T Theoretical or Mathematical",
16666 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16668 …abstract = "This paper describes a method for finding the rectangle of minimum area in which a…
16681 title = "A Note on Hash Linking",
16690 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16692 …a technique in which a key is mapped into a unique address associated with that key. Most applicat…
16713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16732 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16745 author = "A. V. Aho and S. C. Johnson and J. D. Ullman",
16758 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16784 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16786 …a building block for alternative and repetitive constructs that allow nondeterministic program com…
16794 treatment = "A Application; P Practical",
16808 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16822 treatment = "A Application; G General Review",
16837 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16839 …sts in natural language. As a demonstration, Weizenbaum's ELIZA program has been provided with a s…
16841 …ccept commands in a natural language. As a demonstration, Weizenbaum's ELIZA program has been prov…
16867 title = "Corrigendum: ``{A comparison of simulation event list algorithms}''",
16881 author = "A. J. Smith",
16882 title = "Comments on a paper by {T. C. Chen} and {I. T. Ho}",
16891 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16913 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16915 …abstract = "This paper studies the properties of a new class of file organizations (CRWR) wher…
16936 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16938 …A method is described which allows parallel processing of packed data items using only ordinary fu…
16950 title = "Combining Decision Rules in a Decision Table",
16959 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16961 …fy the decision table. Several objectives merit consideration in optimizing a decision table. (1) …
16982 bibdate = "Tue Mar 25 13:26:09 MST 1997",
16985 …abstract = "Algorithms for a multiprocessing compactifying garbage collector are presented and…
17006 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17008 …a data structure for storage of information to be retrieved by associative searches. The k-d tree …
17029 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17031 …a mathematical model for and the digital simulation in Fortran IV of phytoplankton and zooplankton…
17038 treatment = "A Application; T Theoretical or Mathematical",
17052 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17054 …a policy for efficient allocation and utilization of a set of disk drives with differing operation…
17056 …a policy for efficient allocation and utilization of a set of disk drives with differing operation…
17067 treatment = "A Application; T Theoretical or Mathematical",
17083 mrreviewer = "A. D. Booth",
17084 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17086 …ior. This paper discusses the mechanization of such analysis, and describes a system, Metric, whic…
17098 title = "A Preliminary System for the Design of {DBTG} Data Structures",
17107 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17109 …he goal of design is to derive a data structure which is capable of supporting a set of anticipate…
17117 treatment = "A Application; T Theoretical or Mathematical",
17122 title = "{CONVERT}: {A} High Level Translation Definition Language for Data Conversion",
17131 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17134 …a high level and nonprocedural translation definition language, CONVERT, which provides very power…
17141 treatment = "A Application; P Practical",
17146 title = "Optimizing the Performance of a Relational Algebra Data Base Interface",
17155 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17157 …A relational algebra interface, called SQUIRAL, is described in detail. SQUIRAL seeks to minimize …
17169 title = "Implementation of a {Structured English Query Language}",
17178 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17181 …a nonprocedural language which does not make use of quantifiers or other mathematical concepts; ra…
17189 treatment = "A Application; T Theoretical or Mathematical",
17203 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17205 …A, B, vertical A vertical equals m, vertical B vertical equals n, m less than equivalent to n, and…
17226 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17228 …hat a direct summation may become impractical. An algorithm is given which does not show a combina…
17230 …he size of the network. The algorithm does not show a combinatorial operation count; it is based o…
17245 author = "G. Salton and A. Wong and C. S. Yang",
17246 title = "A Vector Space Model for Automatic Indexing",
17255 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17257 …a document retrieval, or other pattern matching environment where stored entities (documents) are …
17265 treatment = "A Application; P Practical",
17279 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17282 …a data sublanguage called SQUARE, intended for use in ad hoc, interactive problem solving by non-c…
17289 treatment = "A Application; P Practical",
17294 title = "A genealogy of control structures",
17303 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17305 …Several recent ideas on control structures are then explored. These include a review of various ot…
17312 treatment = "A Application; T Theoretical or Mathematical",
17326 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17328 …abstract = "This paper describes a recovery scheme for syntax errors which provides automatica…
17349 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17351 …a brief exposition of the general backtrack technique and its history is given. Second, it is show…
17358 treatment = "A Application; T Theoretical or Mathematical",
17363 title = "A Note on the Set Basis Problem Related to the Compaction of Character Sets",
17375 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17400 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17403 …y languages it is suggested that Fortran and Cobol will remain dominant for a long time to come. T…
17415 title = "Exception Handling: Issues and a Proposed Notation",
17424 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17450 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17453 …by Knuth as a mechanism for including the semantics of a context-free language with the syntax of …
17477 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17480 …a member of some easily parsed subclass of grammars such as the LR(k) grammars is considered. The …
17493 title = "A fast and usually linear algorithm for global flow analysis",
17502 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17504 …A new algorithm for global flow analysis on reducible graphs is presented. The algorithm is shown …
17514 title = "Reduction: {A} Method of Proving Properties of Parallel Programs",
17525 mrreviewer = "O. A. Leticevskii",
17526 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17529 …a parallel program has a given property it is often convenient to assume that a statement is indiv…
17541 title = "Automatic Data Structure Choice in a Language of Very High Level",
17550 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17552 …abstract = "SETL is a set-theoretically oriented language of very high level whose repertoire …
17564 title = "A Study of Line Overhead in the {ARPANET}",
17573 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17575 …easurements are used to anticipate overhead in a heavily loaded network. Similar results are deriv…
17594 …title = "An Anomaly in Disk Scheduling: {A} Comparison of {FCFS} and {SSTF} Seek Scheduling…
17603 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17605 …A model for disk accesses based on published measurements is developed. The model is used to show …
17626 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17628 …a store-and-forward communications network are constructed, one to find the optimal message routin…
17630 …annote = "Two analytic models of a store-and-forward communications network are constructed,…
17641 treatment = "A Application; T Theoretical or Mathematical",
17655 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17657 …only statistic of HB left bracket 1 right bracket trees (AVL trees) that is a function of the size…
17666 treatment = "A Application; T Theoretical or Mathematical",
17680 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17682 …a methodical way so as to control future extension and changes while maintaining correct program a…
17704 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17747 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17749 …a formal definition of attribute grammars and a discussion of some of its important aspects are in…
17773 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17775 …a class of heuristics for maintaining a sequential list in approximately optimal order with respec…
17797 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17799 …us 1) permutations. Two of the algorithms produce the next permutation with a single exchange of t…
17806 treatment = "A Application; T Theoretical or Mathematical",
17820 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17822 …a method for detecting edges and contours in noisy pictures. The properties of an edge are embedde…
17829 treatment = "A Application; T Theoretical or Mathematical",
17834 …title = "A Stochastic Evaluation Model for Database Organizations in Data Retrieval Systems…
17843 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17845 …abstract = "This paper discusses a simulation model of a data retrieval system which has the e…
17857 title = "A Counterintuitive Example of Computer Paging",
17867 MRnumber = "55 7000a",
17869 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17872 …abstract = "A counterexample is exhibited to a natural conjecture concerning the optimal way t…
17883 author = "Ehud Artzy and James A. Hinds and Harry J. Saal",
17884 title = "A Fast Division Technique for Constant Divisors",
17896 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17898 …ract = "A fast algorithm for division by constant divisors is presented. The method has proved…
17905 treatment = "A Application; T Theoretical or Mathematical",
17909 author = "Allen Newell and Herbert A. Simon",
17921 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17926 treatment = "A Application; P Practical",
17931 title = "Joining Policies in a Multipriority Multiclass Batch Computer System",
17943 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17945 …A multipriority batch computer system which users from several different classes may join, with to…
17957 title = "A Program Data Flow Analysis Procedure",
17966 bibdate = "Tue Mar 25 13:26:09 MST 1997",
17968 …global data relationships in a program can be exposed and codified by the static analysis methods …
17975 treatment = "A Application; T Theoretical or Mathematical",
17991 …a user is allowed to do with a piece of information supplied to him by the database. The ability t…
18009 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18028 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18038 title = "A comparative evaluation of versions of {BASIC}",
18047 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18061 title = "{LG}: {A} language for analytic geometry",
18073 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18075 …A conversational programming language for analytic geometry is described, together with some aspec…
18087 title = "Corrigendum: {``A Counterintuitive Example of Computer Paging''}",
18117 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18119 …d incorrect programs are not treated. As a unified solution to these problems, this paper suggests…
18131 title = "A Lattice Model of Secure Information Flow",
18143 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18146 …a computer system are discussed. These mechanisms are examined within a mathematical framework sui…
18153 treatment = "A Application; T Theoretical or Mathematical",
18167 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18169 …A security kernel is a software and hardware mechanism that enforces access controls within a comp…
18190 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18192 …a general purpose multiaccess operating system developed for the CDC 6400 at Berkeley are presente…
18203 author = "A. N. Habermann and Lawrence Flon and Lee Cooprider",
18204 title = "Modularization and Hierarchy in a Family of Operating Systems",
18213 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18215 …a family of operating systems. Fundamental to the design are the concepts of level and module. Fur…
18236 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18238 …abstract = "Monitors are devices for defining shared abstract objects in a multiprogramming sy…
18262 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18265 …a number of properties of parallel programs is presented. A deductive system which is in some sens…
18276 author = "A. Wayne Madison and Alan P. Batson",
18286 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18288 …a program's segments which are referenced during a particular phase of its execution. In this pape…
18309 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18311 …abstract = "A criterion for comparing variable space page replacement algorithms is presented.…
18322 title = "Analysis of the {PFF} Replacement Algorithm via a {Semi-Markov} Model",
18334 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18337 …RU stack distance model and the PFF replacement algorithm is represented by a semi-Markov model. U…
18358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18367 author = "Dennis G. Severance and Ricardo A. Duhne",
18368 title = "A Practitioner's Guide to Addressing Algorithms",
18377 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18379 …a number of popular rules of thumb which have been suggested for the design of record addressing a…
18381 …annote = "This paper consolidates a number of popular rules of thumb which have been suggest…
18387 treatment = "A Application; E Economic; P Practical",
18401 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18403 …a simple model of such a system. The limiting value is derived for the relative degree of memory i…
18410 treatment = "A Application; T Theoretical or Mathematical",
18424 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18426 …a function of the distance of the instruction from its target; there exists an optimality criterio…
18447 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18449 …a list structure is a pair of pointers to adjacent nodes. Such a reference often requires little a…
18456 treatment = "A Application; P Practical",
18470 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18472 …a technique such as branch-and-bound. The new approach described in this paper uses dynamic progra…
18479 treatment = "A Application; T Theoretical or Mathematical",
18493 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18502 treatment = "A Application; T Theoretical or Mathematical",
18523 title = "A Numbering System for Permutations of Combinations",
18532 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18538 treatment = "A Application; T Theoretical or Mathematical",
18543 …title = "Technology of Computer Center Management: a Proposed Course for Graduate Professio…
18552 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18554 …a report on a course entitled, ``The Technology of Computer Center Management,'' which has been of…
18578 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18580 …ls for parallel computation are presented: an abstract conceptual model and a parallel-program mod…
18587 treatment = "A Application; T Theoretical or Mathematical",
18604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18606 …a program (e.g. numbers) one supplies symbols representing arbitrary values. The execution proceed…
18627 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18629 …a branching broadcast communication system for carrying digital data packets among locally distrib…
18636 treatment = "A Application; P Practical",
18650 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18652 …a structure of complete decision tables but rather sets of decision rules. The purpose of this pap…
18664 title = "Sampling from the {Gamma-distribution} on a computer",
18676 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18678 …abstract = "This paper describes a new technique for sampling from the gamma distribution on a…
18690 treatment = "A Application; T Theoretical or Mathematical",
18707 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18709 …a new data structure, called a compressed trie or C-trie, to be used in information retrieval syst…
18721 title = "A buddy system variation for disk storage allocation",
18730 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18732 …abstract = "A generalization of the buddy system for storage allocation is described. It is sh…
18753 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18778 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18780 …abstract = "This paper describes a set of tools and a philosophy for teaching software that ha…
18804 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18806 …a tutorial introduction to the theory of programming language semantics developed by D. Scott and …
18813 treatment = "A Application; T Theoretical or Mathematical",
18830 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18832 …a head-mounted display, and they are designed with the aid of a three-dimensional ``wand,'' which …
18839 treatment = "A Application; P Practical; X Experimental",
18843 author = "Michael A. Harrison and Walter L. Ruzzo and Jeffrey D. Ullman",
18856 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18858 …A model of protection mechanisms in computing systems is presented and its appropriateness is argu…
18880 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18882 …A restriction on height-balanced binary trees is presented. It is seen that this restriction reduc…
18889 treatment = "A Application; T Theoretical or Mathematical",
18894 …title = "Corrigendum: {``Analysis of the PFF replacement algorithm via a semi-Markov model'…
18940 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18942 …a method called garbage collection for reclaiming unused memory space. A real time garbage collect…
18967 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18969 …A new upper bound for V//i (n) improves the bound given by the standard Hadian-Sobel algorithm by …
18993 bibdate = "Tue Mar 25 13:26:09 MST 1997",
18995 …a weighted derivation tree are associated with weighting functions over the vocabulary of a contex…
19016 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19018 …A relatively simple method for the detection of recursive use of procedures is presented for use i…
19042 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19044 …n of the combinations of n things taken k at a time, the compositions of integers, and the permuta…
19051 treatment = "A Application; T Theoretical or Mathematical",
19065 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19067 …a new way of solving the storage reclamation problem for a system such as Lisp that allocates stor…
19089 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19092 …a convenient way of storing data which is to be viewed as a hierarchy of contexts. This note prese…
19113 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19115 …A. Catmull developed a new algorithm for rendering images of bivariate surface patches. This paper…
19123 treatment = "A Application; P Practical; T Theoretical or Mathematical",
19137 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19139 …a geometric hierarchy, five significant improvements to current techniques of computer picture pro…
19146 treatment = "A Application; P Practical; T Theoretical or Mathematical",
19151 …title = "A Parametric Algorithm for Drawing Pictures of Solid Objects Composed of Quadric S…
19163 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19165 …ions of quadric surfaces. A parameterization scheme is used. Each quadric surface intersection cur…
19172 treatment = "A Application; P Practical; T Theoretical or Mathematical",
19186 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19188 …A significant increase in the capability for controlling motion dynamics in key frame animation is…
19195 treatment = "A Application; P Practical; T Theoretical or Mathematical",
19209 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19211 …esearchers in the health sciences. However, the programs have been used for a wide variety of biol…
19218 treatment = "A Application; P Practical",
19235 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19244 author = "Richard G. {Montanelli, Jr.} and Sandra A. Mamrak",
19254 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19256 …abstract = "The results of a survey concerning women and minority students and faculty in comp…
19277 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19296 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19298 …A sample set of Cobol programming standards is offered. These standards constrain code to be devel…
19310 …title = "Design and Implementation of a Table Driven, Interactive Diagnostic Programming Sy…
19319 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19321 …a highly interactive diagnostic compiler\slash interpreter that allows beginning programmers to pr…
19342 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19344 …A system for the compression of data files, viewed as strings of characters, is presented. \par Th…
19355 author = "K. P. Eswaran and J. N. Gray and R. A. Lorie and I. L. Traiger",
19356 title = "The notions of consistency and predicate locks in a database system",
19368 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19371 …es that a transaction cannot request new locks after releasing a lock. Then it is argued that a tr…
19393 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19395 …A basic problem in database maintenance is to establish the proper tradeoff between performance, s…
19416 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19418 …abstract = "An easy to implement scheme is described by which a compiler can enforce agreement…
19439 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19441 …a list of 167 currently existing higher-level languages which have been developed or reported in t…
19462 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19485 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19487 …a set of procedures and computer programs specifically designed to aid in the process of applicati…
19494 treatment = "A Application; E Economic; P Practical",
19499 …title = "Structural Pattern Recognition of Carotid Pulse Waves Using a General Waveform Par…
19508 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19510 …A general waveform parsing system (WPS) with application to structural pattern recognition of caro…
19530 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19532 …ured flowcharts, disciplined specifications, and step by step verification. A well-formed Cobol pr…
19549 title = "A Survey of the Literature in Computer Science Education Since {Curriculum '68}",
19558 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19560 …abstract = "A bibliography of approximately two hundred references in computer science educati…
19572 title = "A Record and File Partitioning Model",
19581 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19583 …a model in which several requests access a file system, and each request requires information from…
19590 treatment = "A Application; P Practical; T Theoretical or Mathematical",
19604 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19606 …a large number of combined occurrences for a large number of changes of values of variables. Two e…
19617 author = "A. P. Batson and R. E. Brundage",
19627 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19629 …a sample of Algol 60 programs have been measured. Distributions are presented for the sizes of mem…
19664 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19666 …roblems of multidimensional table and array processing. This is followed by a summary of some rece…
19686 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19688 …s word frequencies in natural languages; pointers to lists usually point to a location physically …
19713 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19715 …a merge procedure for two nonintersecting convex hulls. Since any convex hull algorithm requires a…
19723 treatment = "A Application; T Theoretical or Mathematical",
19739 mrreviewer = "A. D. Booth",
19740 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19742 …a finite sample of a reference string are defined. Use of these statistics is appropriate if the c…
19750 treatment = "A Application; T Theoretical or Mathematical",
19755 title = "A Linear Algorithm for Incremental Digital Display of Circular Arcs",
19764 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19766 …abstract = "Circular arcs can be drawn on an incremental display device such as a cathode ray …
19778 …title = "Occurrences of Cycling and Other Phenomena Arising in a Class of Linear Programmin…
19787 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19789 …abstract = "An investigation into the average queue size for a certain class of queues has res…
19801 title = "A Numbering System for Binary Trees",
19810 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19829 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19831 …in file loading, and decrease the number of maximum probes needed to locate a record. The combined…
19855 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19857 …a retrieval system in this study is based on optimizing the performance of a specific user query. …
19878 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19880 …thods are based on analysis of traces of program executions. The concept of a register life is in …
19887 treatment = "A Application; T Theoretical or Mathematical",
19904 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19906 …a methodology for including the effects of finite memory size and workload memory requirements in …
19927 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19929 …A representation for polygons and polygonal lines is described which allows sets of consecutive si…
19937 treatment = "A Application; T Theoretical or Mathematical",
19954 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19956 …r a context-free grammar, can be done by a practical algorithm that is asymptotically faster than …
19977 bibdate = "Tue Mar 25 13:26:09 MST 1997",
19979 … maintenance of computer-based systems is asserted to be a category of organizational change. A ``…
19991 title = "Cost\slash utilization: {A} measure of system performance",
20000 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20002 …A method is presented for evaluating computer system performance in terms of a cost\slash utilizat…
20015 title = "A comparison of next-fit, first-fit, and best-fit",
20024 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20043 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20045 …a precedence table exists but cannot be reshaped into a pair of precedence functions, several tech…
20052 treatment = "A Application; T Theoretical or Mathematical",
20069 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20071 …A proof method, subgoal induction, is presented as an alternative or supplement to the commonly us…
20092 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20094 …A major problem in picture processing is the elimination of the large number of spurious regions t…
20115 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20117 …A progress report is presented of on-going research efforts concerning human decision-making under…
20138 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20140 …A class of index structures modeled after the structure of VSAM --- similar to B-trees but biased …
20151 author = "Henry C. {Lucas, Jr.} and Jimmy A. Sutton",
20161 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20163 …a basis for a stage model. However, the results do not invalidate the concept of a stage model. Th…
20184 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20190 treatment = "A Application; T Theoretical or Mathematical",
20205 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20224 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20234 title = "Sorting on a Mesh-Connected Parallel Computer",
20246 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20273 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20275 …A method for describing and structuring programs that simplifies proofs of their correctness is pr…
20287 title = "{SP/k}: {A} System for Teaching Computer Programming",
20296 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20298 …abstract = "SP/k, a compatible subset of the PL/I language, is a sequence of language subsets …
20320 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20322 …a sequential estimation method which when used with the regenerative property allows results to be…
20348 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20350 …a computer network is presented. This algorithm takes into account the dependencies between files …
20357 treatment = "A Application; T Theoretical or Mathematical",
20362 title = "A Comparison of Tree-Balancing Algorithms",
20371 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20373 …hine/algorithm-dependent measures (e.g. run time). A detailed analysis of code is also presented a…
20386 …title = "A Comparison of Hardware and Software Associative Memories in the Context of Compu…
20395 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20397 …a hardware associative memory and creates, modifies, deletes, stores, and retrieves two-dimensiona…
20418 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20420 …ing have previously been achieved by doing a preprocessing step involving the calculation of dista…
20444 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20446 …a response to a query, the entire file containing hundreds of thousands of records has to be searc…
20453 treatment = "A Application; T Theoretical or Mathematical",
20470 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20472 …a rational equilibrium between them. The actual location of this equilibrium depends on the condit…
20484 title = "A Fast Algorithm for Computing Longest Common Subsequences",
20496 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20498 …a best-case running time of O(n//2). An algorithm for this problem is presented which has a runnin…
20502 …a best--case running time of $O(n^2)$. An algorithm for this problem is presented which has a runn…
20520 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20543 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20545 …a series of controlled experiments to test the utility of detailed flowcharts as an aid to program…
20566 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20586 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20588 …a system within which application experts --- nonprogrammers --- can describe and execute their ap…
20609 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20611 …a significant role in the development of software that is reliable, efficient, and flexible. This …
20632 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20634 … "A new data type, called aggregate, is developed which, under certain criteria of ``well-defi…
20656 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20658 …A number of issues are explored concerning the notion that a data type is a set of values together…
20669 author = "James L. Peterson and Theodore A. Norman",
20679 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20681 …sented for implementing any of a class of buddy systems for dynamic storage allocation. Each buddy…
20693 title = "A Bounded Storage Algorithm for Copying Cyclic Structures",
20702 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20704 …A new algorithm is presented which copies cyclic list structures using bounded workspace and linea…
20725 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20750 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20752 …A theorem is given for deducing whether or not a given function can be computed through the use of…
20763 author = "Sandra A. Mamrak",
20773 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20775 …A system environment is defined in which response time measurements can be made, and statistical, …
20787 title = "A Unifying Approach to Scheduling",
20796 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20798 …a scheme for classifying scheduling algorithms based on an abstract model of a scheduling system w…
20815 …title = "A Correctness Proof of a Topology Information Maintenance Protocol for a Distribut…
20827 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20829 …a topology information scheme is that it may not involve a central controller. The Topology Inform…
20846 title = "A terminal-oriented communication system",
20855 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20857 …a system for full-duplex communication between a time-shared computer and its terminals. The syste…
20878 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20880 …a System for Interactive Text-editing, Analysis, and Retrieval, is in many ways comparable to inte…
20901 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20903 …gether with a correctness proof. Two examples are presented: the readers and writers problem and t…
20924 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20926 …a set of security classes for information, a flow relation defining permissible flows among these …
20947 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20949 …abstract = "The paper assumes a transaction oriented collection scheme, as proposed by Deutsch…
20960 author = "E. A. Ashcroft and W. W. Wadge",
20961 title = "{Lucid}, a Nonprocedural Language with Iteration",
20970 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20972 …a formal system in which programs can be written and proofs of programs carried out. The proofs ar…
20993 bibdate = "Tue Mar 25 13:26:09 MST 1997",
20995 …a string appears as the subject of a SNOBOL4 statement, it may be scanned to see whether or not it…
21016 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21029 author = "Mary Shaw and William A. Wulf and Ralph L. London",
21039 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21041 …a great deal of control over the implementation of abstract data types. In this paper the abstract…
21062 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21065 …abstract = "CLU is a new programming language designed to support the use of abstractions in p…
21077 title = "Toward a Discipline of Real-Time Programming",
21086 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21088 …a strict programming discipline and by using a suitable high-level language molded after this disc…
21109 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21111 …a statically typed language and a ``typeless'' language. Analysis of the number of errors and the …
21132 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21134 …abstract = "A new event scheduling algorithm is presented which improves on two aspects of the…
21147 title = "Comment on computing the $k$ shortest paths in a graph",
21159 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21178 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21200 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21227 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21229 …s of explanation to go from the conceptual ideas to the final simulation on a real machine. These …
21236 treatment = "A Application; T Theoretical or Mathematical",
21250 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21252 …e Test are discussed. Content specifications and their rationale are given. A set of sample questi…
21264 title = "An Analysis of Inline Substitution for a Structured Programming Language",
21273 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21275 …a procedure invocation by a modified copy of the procedure body. The general problem of using inli…
21287 title = "Hardware Estimation of a Process' Primary Memory Requirements",
21296 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21298 …A minor hardware extension to the Honeywell 6180 processor is demonstrated to allow the primary me…
21322 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21324 …A modified sieve of Eratosthenes using doubly linked lists yields an algorithm of O//A(N) arithmet…
21345 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21347 …A strategy is presented for pagination of B*-trees with variable-length records. If records of eac…
21372 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21374 …a general solution to the problem of constructing a surface over a set of cross-sectional contours…
21396 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21398 …a synthesis of spline theory and algorithms, an interactive means for man-machine communication, a…
21400 …a synthesis of spline theory and algorithms, an interactive means for man-machine communication, a…
21407 treatment = "A Application; T Theoretical or Mathematical",
21421 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21423 …methods of program certification and optimization. \par This paper proposes a simple general metho…
21445 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21447 …a proper attitude and programming style for languages allowing direct control of nondeterministic …
21470 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21472 …a class of parsers, RRP LR(m, k) parsers, which includes the CF LR(k) parsers and provides the sam…
21493 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21495 …a priori information about the processes, resources, operating system, etc., of the ``safe situati…
21507 title = "Programmer's Workbench --- a Machine for Software Development",
21516 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21518 … and maintenance function onto a specialized computer which is dedicated to that purpose. Such a c…
21539 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21541 …a multiprocessor computer system is examined with particular attention to noninterleaved memory. A…
21553 title = "A Fast String Searching Algorithm",
21562 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21565 …a character string, ``pat,'' in another string, ``string.'' During the search operation, the chara…
21577 author = "J. A. N. Lee",
21587 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21606 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21608 …a virtual memory simulation model: headway between page fault distributions, and working set size …
21629 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21631 …a recognized cure. A method for evaluating filters is presented, the application of prefiltering t…
21633 …iasing phenomenon inherent in sampled signals and discusses prefiltering as a recognized cure \ldo…
21656 mrreviewer = "Richard A. DeMillo",
21657 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21659 …a time can modify the data, but concurrent reading and writing is permitted. Two general theorems …
21680 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21682 …derably and in both directions from the predictions of the 50 percent rule. A new derivation is gi…
21693 author = "G. C. Stockman and A. K. Agrawala",
21703 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21722 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21732 title = "A note on reflection-free permutation enumeration",
21741 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21763 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21765 …A hyphen or ALL - In a certain year The four-digit year 1923 In or after a certain year The year a…
21782 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21784 …a very high level language designed for use in business data processing applications is described.…
21796 title = "Perfect Hashing Functions: {A} Single Probe Retrieving Method for Static Sets",
21808 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21811 …A refinement of hashing which allows retrieval of an item in a static table with a single probe is…
21832 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21834 …abstract = "A simple algorithm which uses an indexed temporary table to perform reduction of o…
21858 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21860 …A new technique of program transformation, called ``recursion introduction,'' is described and app…
21881 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21904 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21907 …a database of records that satisfy an expression involving more than one data field is examined. S…
21932 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21942 author = "A. A. Lopez and R. Raymond and R. Tardiff",
21943 title = "A survey of computer science offerings in small liberal arts colleges",
21952 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21962 title = "A Conceptual Framework for a Nonprocedural Programming Language",
21971 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21973 …A sequential programming language forces the programmer to prescribe explicitly the order in which…
21985 title = "A Case Study of a New Code Generation Technique for Compilers",
21994 bibdate = "Tue Mar 25 13:26:09 MST 1997",
21996 …a new design for compilers to emerge. Such a compiler translates the parsed source code into lower…
21998 annote = "Describes a unified system which can handle both interpretation and compilation.",
22021 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22033 title = "A language for formal problem specification",
22042 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22044 …A language for specifying the intended behavior of communicating parallel processes is described. …
22057 title = "A Methodology for Interactive Computer Service Measurement",
22066 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22068 …A measurement methodology applicable to in teractive computer service is described. Its primary pu…
22070 …A measurement methodology applicable to interactive computer service is described. Its primary pur…
22095 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22105 title = "A Methodology for {LISP} Program Construction from Examples",
22120 title = "The {Manchester Mark I} and {Atlas}: a historical perspective",
22129 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22148 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22150 …a brief outline of the background of the MU5 project, the aims and ideas for MU5 are discussed. A …
22161 author = "B. R. Borgerson and M. L. Hanson and P. A. Hartley",
22162 …title = "Evolution of the {Sperry Univac 1100 Series}: a History, Analysis, and Projection",
22166 pages = "25--43",
22171 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22173 …a succession of eight compatible computer models to the latest system, the 1100\slash 80, introduc…
22184 author = "C. G. Bell and A. Kotok and T. N. Hastings and R. Hill",
22194 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22196 …a price range of five to one. The origin and evolution of the hardware, operating system, and lang…
22217 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22219 …uter to have been built to date that satisfies ERDA's Class VI requirement (a computer capable of …
22221 …uter to have been built to date that satisfies ERDA's Class VI requirement (a computer capable of …
22241 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22251 author = "S. A. Mamrak and R. G. {Montanelli, Jr.}",
22261 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22270 author = "R. L. Rivest and A. Shamir and L. Adelman",
22271 title = "A Method for Obtaining Digital Signatures and Public-Key Cryptosystems",
22283 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22286 …a message can be enciphered using an encryption key publicly revealed by the intended recipient. (…
22297 author = "M. A. Auslander and H. R. Strong",
22307 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22309 …emoval algorithm presented by Strong and Walker is amplified and applied to a relatively complex P…
22316 treatment = "A Application; T Theoretical or Mathematical",
22332 mrreviewer = "A. T. Amin",
22333 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22335 …a method for determining keyword conflicts and described a heuristic algorithm which solves a cert…
22356 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22359 …a basic storage structure for multiuser database applications. Three potential problems which must…
22373 title = "A Comparison of Numerical Techniques in {Markov} Modeling",
22382 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22384 …a nearly decomposable system is considered, and the results obtained by the different methods exam…
22413 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22415 …a consistent system of linear inequalities, any sequence of relaxation parameters lying strictly b…
22439 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22441 …a technique for proving the correctness and termination of programs simultaneously. \par This appr…
22463 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22465 …a neighborhood. The outputs obtained from these operators applied to a set of test pictures are co…
22472 treatment = "A Application; T Theoretical or Mathematical",
22503 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22505 …a study of the use of an interactive computerized storage and retrieval system. A monitor built in…
22512 treatment = "A Application; P Practical",
22526 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22549 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22571 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22585 author = "Richard A. DeMillo and Stanley C. Eisenstat and Richard J. Lipton",
22598 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22611 author = "M. A. Franklin and G. Scott Graham and R. K. Gupta",
22624 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22647 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22649 …a GOTO-less language, a machine architecture specifically designed for structured programs is prop…
22673 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22675 …a nonsingular binary matrix. Examples of complete enumeration of all 2 multiplied by 2 and 3 multi…
22682 treatment = "A Application; T Theoretical or Mathematical",
22687 title = "A Technique for Isolating Differences Between Files",
22696 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22698 …A simple algorithm is described for isolating the differences between two files. One application i…
22720 MRnumber = "80a:68032",
22722 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22724 …abstract = "A general dynamic programming algorithm for converting limited extended, or mixed …
22736 title = "List Processing in Real Time on a Serial Computer",
22745 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22748 …A real-time list processing system is one in which the time required by the elementary list operat…
22769 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22771 …a key, by secret means, before encrypted messages can be sent securely. This paper shows that it i…
22795 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22806 title = "A Data Structure for Manipulating Priority Queues",
22818 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22820 …abstract = "A data structure is described which can be used for representing a collection of p…
22844 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22866 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22884 title = "A Fast Algorithm for Copying List Structures",
22893 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22895 …a block of contiguous storage locations without destroying the original list. Apart from a fixed n…
22907 title = "A Language Extension for Expressing Constraints on Data Access",
22916 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22918 …ects that are components of larger objects, such as bank account records in a bank's data base. Th…
22942 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22944 …A technique is introduced whereby test data can be used in proving program correctness. In additio…
22965 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22967 …a single general purpose implementation for an abstract type. Thus the programs produced using abs…
22988 bibdate = "Tue Mar 25 13:26:09 MST 1997",
22990 …a programming language might aid in keeping track of physical units (feet, sec, etc. ) are discuss…
23011 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23034 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23036 …A method for inducing knowledge by abstraction from a sequence of training examples is described. …
23060 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23062 …abstract = "Report on a new class of sufficient optimality conditions for pure and mixed integ…
23086 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23088 …abstract = "A new method for generating random variables from the gamma distribution with noni…
23107 title = "Optimal Shift Strategy for a Block-Transfer {CCD} Memory",
23116 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23118 …a cycle, then to shift as slowly as possible over the rest, where the fraction of a cycle to be co…
23129 author = "S. H. Zweben and M. A. McDonald",
23141 mrreviewer = "A. T. Amin",
23142 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23144 …A one-sided height-balanced tree is a binary tree in which every mode's right subtree has a height…
23156 title = "A Selective Traversal Algorithm for Binary Search Trees",
23165 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23167 …a binary search tree according to a list of range conditions is considered. The process of visitin…
23191 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23193 …a deterministic parser. These quantities are presented in the form of symbolic formulas, called ti…
23204 author = "M. Dennis Mickunas and John A. Modry",
23214 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23216 …abstract = "A scheme is given for detecting and recovering from syntax errors in programs. The…
23237 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23239 …a major portion of the total life cycle cost of a system. Rough estimates of the total systems and…
23260 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23262 …a technique for predicting the amount of time necessary to create a computer program. The fifteen …
23283 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23285 …r than to increase their internal administrative efficiency. This impact is a joint product of bot…
23307 MRnumber = "80a:68113",
23309 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23311 …t = "A mathematical model of a transaction-oriented system under intermittent failures is prop…
23334 mrreviewer = "A. D. Booth",
23335 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23349 title = "An {English} Language Query Answering System for a Large Relational Data Base",
23358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23360 …e able to obtain explicit answers from a large relational database of aircraft flight and maintena…
23368 treatment = "A Application; T Theoretical or Mathematical",
23369 xxtitle = "An {English} language question answering system for a large relational database",
23386 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23400 …title = "An ${O}(n)$ Algorithm for Determining a Near-Optimal Computation Order of Matrix C…
23410 MRnumber = "80a:68037",
23412 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23414 …A sufficient condition about the association of the matrices in the optimal order is presented. An…
23426 title = "Interpolation Search --- {A} Log Log {N} Search",
23438 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23440 …a method of retrieving a desired record by key in an ordered file by using the value of the key an…
23464 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23466 …a new collision-resolution method. Pseudochaining is half way between open addressing and chaining…
23478 title = "Time, Clocks, and the Ordering of Events in a Distributed System",
23487 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23489 …a distributed system is examined, and is shown to define a partial ordering of the events. A distr…
23491 …A classic paper on synchronization. Reproduced in ``Distributed Computing: Concepts and Implementa…
23510 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23512 …a scheme which allows the value of a variable to be accessed in a bounded amount of computation. A…
23533 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23535 …A system for proving that programs written in a high level language are correctly translated to a …
23559 mrreviewer = "A. Pliuskeviciene",
23560 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23562 … "A simple technique for reasoning about equalities that is fast and complete for ground formulas…
23586 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23588 …a computer system constructed of unreliable processors, are presented in this paper. These results…
23615 …title = "Can Programming Be Liberated From the {von Neumann} Style? {A} Functional Style an…
23624 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23627 …a-time style of programming inherited from their common ancestor, the von Neumann computer; their …
23629 …a-time style of programming inherited from their common ancestor - the von Neumann computer, their…
23650 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23672 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23674 …A parallel bucket-sort algorithm is presented that requires time O(log n) and the use of n process…
23678 …A parallel bucket--sort algorithm is presented that requires time $O(\log n)$ and the use of $n$ p…
23687 title = "A Time- and Space-Efficient Garbage Compaction Algorithm",
23696 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23698 …a compact mass at one end of the area while revising all pointers to marked nodes to show their ne…
23709 author = "C. A. R. Hoare",
23719 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23722 …a fundamental program structuring method. When combined with a development of Dijkstra's guarded c…
23744 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23746 …tem structures and workload environments. The improvement is greatest under a heavy I/O demand wor…
23758 …title = "Self-Assessment Procedure {V}: a self-assessment procedure dealing with database s…
23772 author = "R. A. Harris and J. D. Zund",
23782 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23787 treatment = "A Application; T Theoretical or Mathematical",
23801 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23803 …A description is given of the structure and operation of a hybrid simulation model in which both d…
23810 treatment = "A Application; T Theoretical or Mathematical",
23815 title = "A Practical Interprocedural Data Flow Analysis Algorithm",
23824 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23826 …A new interprocedural data flow analysis algorithm is presented and analyzed. The algorithm associ…
23837 author = "Gerald J. Popek and David A. Farber",
23847 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23849 …a promising method for providing uncircumventably secure, shared computer systems. A precise defin…
23870 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23872 …a model for the entire class of demand-fetching memory policies that satisfy a resident-set inclus…
23894 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23896 …a small PL/I program. The results show that the popular code walkthrough\slash inspection method w…
23920 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23939 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23941 …that maintaining various event counts is practical and economical; and that a capability for handl…
23960 title = "A note on virtual memory indexes",
23969 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23973 …intenance; representation; retrieval cost; virtual memory indexes; virtual storage; within a page",
23978 author = "Stephen A. Ward",
23988 bibdate = "Tue Mar 25 13:26:09 MST 1997",
23990 …a character-oriented device, it is generally preferable to plot a contour map in raster-scan order…
23997 treatment = "A Application; P Practical",
24001 author = "A. Tenenbaum",
24011 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24030 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24032 …abstract = "A compiler for Fortran 77 may be larger than one for the 1966 standard Fortran, bu…
24054 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24056 … queueing models for internal parallel processing by individual programs in a multiprogrammed syst…
24061 … "Models CPU:I/O and I/O:I/O overlap within a program. ``Overlapping is helpful only when it a…
24070 title = "Jump Searching: {A} Fast Sequential Search Technique",
24079 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24103 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24105 …a given gray level i to another gray level T(i) such that if i greater than equivalent to j, then …
24126 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24128 …a small counter to keep approximate counts of large numbers. The resulting expected error can be r…
24149 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24151 …a simple program and arrives at an improved program by refinement. Both of the algorithms given by…
24170 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24173 …a practical study of how to implement the Quicksort sorting algorithm and its best variants on rea…
24194 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24217 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24219 …a two-level computer storage hierarchy, miss ratio measurements are often made from a ``cold start…
24232 title = "A comparison of heaps and the {TL} structure for the simulation event set",
24241 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24257 title = "Systems Design Education: a Gaming Approach",
24266 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24268 …A management game is presented that allows the player to configure a computer system to meet a hyp…
24275 treatment = "A Application; T Theoretical or Mathematical",
24280 title = "A Simply Extended and Modified Batch Environment Graphical System (Sembegs)",
24289 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24291 …a complete batch environment graphical system containing components for handling graphical data fi…
24312 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24314 …a practical technique for performance evaluation of alternative configurations of highly concurren…
24335 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24337 …A number of image analysis tasks can benefit from registration of the image with a model of the su…
24344 treatment = "A Application; T Theoretical or Mathematical",
24358 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24383 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24385 …A simple method is described enabling simple precedence parsers to recover from syntax errors. No …
24397 title = "A Note on Conditional Expressions",
24406 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24408 …abstract = "Evaluation of a conditional expression may succeed even when the ``deciding predic…
24418 title = "Distributed Processes: {A} Concurrent Programming Concept",
24427 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24429 …abstract = "A language concept for concurrent processes without common variables is introduced…
24431 …s having a Boolean guard at the start of a procedure. The procedure is not allowed to execute unti…
24452 MRnumber = "80a:68018",
24454 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24456 …a Pk tree asymptotically grows as a power of the height, in the worst case. A procedure for node i…
24467 author = "B. A. Sheil",
24468 title = "Median Split Trees: {A} Fast Lookup Technique for Frequently Occurring Keys",
24478 MRnumber = "80a:68116",
24479 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24482 …a new technique for searching sets of keys with highly skewed frequency distributions. A split tre…
24493 author = "C. A. R. Hoare",
24519 MRnumber = "80a:68074",
24520 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24523 …A constraint network representation is presented for a combinatorial search problem: finding value…
24534 …author = "Edsger W. Dijkstra and Leslie Lamport and A. J. Martin and C. S. Scholten and E. F…
24544 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24547 … little mutual interference despite frequent manipulations of a large shared data space, a techniq…
24551 …comment = "much overlooked algorithm, presented as more of a concurrency exercise than a garb…
24587 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24601 title = "A Linear Sieve Algorithm for Finding Prime Numbers",
24613 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24615 …abstract = "A new algorithm is presented for finding all primes between 2 and n. The algorithm…
24636 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24638 …A new generation of computer terminals allows tab settings to be selected and set by the computer.…
24659 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24661 …a study designed to address the pressing problems associated with the strategic planning of the co…
24682 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24684 …a limited-entry decision table and in loop-free programs with embedded decision tables is develope…
24707 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24709 …a good heuristic to direct the search, but is cluttered up by an enormous search space, since the …
24730 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24732 …A broadcast packet is for delivery to all nodes of a network. Algorithms for accomplishing this de…
24756 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24758 …A data abstraction can be naturally specified using algebraic axioms. The virtue of these axioms i…
24765 treatment = "A Application; T Theoretical or Mathematical",
24779 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24781 …a formal method for hierarchical program specification, implementation, and proof. We apply this m…
24788 treatment = "A Application; T Theoretical or Mathematical",
24816 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24818 …m does not always show interferences among three-dimensional, moving parts. A computer representat…
24839 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24841 …a significant growth in the use of computer technology by U. S. police departments. This growth, h…
24853 title = "Permutation of Data Blocks in a Bubble Memory",
24857 pages = "21--25",
24864 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24866 …A common internal organization of bubble memories consists of a set of (minor) loops, connected th…
24882 pages = "25--34",
24887 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24906 author = "J. P. Ban{\^a}tre and J. P. Routeau and L. Trilling",
24916 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24918 …a one-pass compilation process. These difficulties occur when an entity cannot be processed becaus…
24939 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24941 …a small number of primitive semantic transforms, they provide a powerful tool for program manipula…
24962 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24981 bibdate = "Tue Mar 25 13:26:09 MST 1997",
24990 author = "W. E. Gull and M. A. Jenkins",
25002 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25004 …A mathematical study of three approaches for defining nested array in APL is presented. Theorems e…
25027 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25030 …a more general problem, i.e. the elimination of computations performed twice on a given execution …
25042 …title = "Comments on Perfect Hashing Functions: {A} Single Probe Retrieving Method for Stat…
25051 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25061 author = "David R. Cheriton and Michael A. Malcolm and Lawrence S. Melen and Gary R. Sager",
25062 title = "{Thoth}, a Portable Real-Time Operating System",
25071 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25073 …a real-time operating system which is designed to be portable over a large set of machines. It is …
25094 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25096 …A new synchronization mechanism is proposed, using abstract objects called eventcounts and sequenc…
25120 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25122 …A computer system uses several serial files. The files reside on a direct-access storage device in…
25134 …'78: Recommendations for the Undergraduate Program in Computer Science --- {A} Report of the {ACM}…
25143 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25146 …A report of the ACM Curriculum Committee on Computer Science. CS 5: Introduction to File Processin…
25164 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25166 …a number system and supporting computational algorithms especially useful for microcomputer contro…
25187 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25189 …a standard technique to have an algorithm finding hyperplanes which separates the two classes in a…
25200 author = "Amaryllis Deliyanni and Robert A. Kowalski",
25210 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25212 …a syntactic variant of the clausal form of logic. By virtue of its relationship with logic,the ext…
25233 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25235 …A method is described for the organization and retrieval of attribute based information systems, u…
25271 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25273 …a three-dimensional pattern of objects within a larger structure is presented. The search techniqu…
25280 treatment = "A Application",
25294 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25296 …a function of several hardware characteristics do, however, reveal a market dichotomy. On one hand…
25318 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25320 …abstract = "A macro model of a distributed information system is presented. The model describe…
25327 treatment = "A Application; T Theoretical or Mathematical",
25331 author = "Richard J. Hanson and John A. Wisniewski",
25332 …title = "A Mathematical Programming Updating Method Using Modified {Givens} Transformations…
25343 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25345 …a matrix of column (or row) vectors. The fundamental idea is to add a column (or row) analogous to…
25357 title = "New Methods to Color the Vertices of a Graph",
25369 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25371 …ods to color the vertices of a graph are described which rely upon the comparison of the degrees a…
25383 author = "Richard A. {De Millo} and Richard J. Lipton and Alan J. Perlis",
25393 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25416 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25418 …a deterministic distributed algorithm for finding the largest of a set of $n$ uniquely numbered pr…
25419 …a set of uniquely numbered processes arranged in a circle, in which no central controller exists a…
25441 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25466 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25468 …A variety of concepts, laws, and notations are presented which facilitate reasoning about arrays. …
25476 treatment = "A Application; T Theoretical or Mathematical",
25490 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25492 …abstract = "A multi-interpreter system is a system in which programs execute by virtue of bein…
25499 treatment = "A Application; T Theoretical or Mathematical",
25513 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25532 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25551 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25553 …A model is discussed for finding an efficient implementation of a business application system whos…
25564 author = "Jerome A. Feldman",
25574 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25576 … particular languages and machines. It appears to be useful for programming a wide range of tasks.…
25613 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25615 …abstract = "A cyclic-order property is defined for bodies bounded by smooth-curved faces. The …
25635 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25636 …gh level languages enabled the programmer to escape from the intricacies of a machine's order code…
25657 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25659 …a set of n points in the plane. Using an appropriate data structure, the algorithm constructs the …
25672 title = "Storage Reorganization Techniques for Matrix Computation in a Paging Environment",
25683 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25706 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25708 …a paged computer system. Two parameterized algorithms which partition the main memory between two …
25710 …classes by regulating their memory allocation is examined in the context of a paged computer syste…
25725 author = "Robert A. Kowalski",
25735 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25746 …title = "Self-Assessment Procedure {VI}: a self-assessment procedure dealing with queueing …
25775 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25785 author = "D. S. Hirschberg and A. K. Chandra and D. V. Sarwate",
25797 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25799 …a parallel algorithm which uses $n^2$ processors to find the connected components of an undirected…
25820 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25842 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25861 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25876 author = "Jerome A. Feldman and William R. Sutherland",
25877 …title = "Rejuvenating Experimental Computer Science --- {A} Report to the {National Science…
25886 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25887 …A. Galler, University of Michigan; Patricia Goldberg, IBM Corporation; John Hamblen, University of…
25923 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25926 …a mismatch occurs, it shifts the pattern according to a precomputed table. In the case that the te…
25934 author = "Kari-Jouko R{\"a}ih{\"a} and Stuart H. Zweben",
25946 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25948 …a one-sided height-balanced (OSHB) binary search tree is presented. The algorithm operates in time…
25950 …annote = "An algorithm for inserting an element into a one-sided height-balanced (OSHB) bina…
25964 title = "Progressive acyclic digraphs --- a tool for database integrity",
25975 bibdate = "Tue Mar 25 13:26:09 MST 1997",
25994 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26000 treatment = "A Application; T Theoretical or Mathematical",
26015 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26017 …omatic computation. Our discussion is expository, with emphasis on reaching a suitable definition …
26027 treatment = "A Application; T Theoretical or Mathematical",
26042 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26044 …abstract = "A method of improved efficiency is given for updating the mean and variance of wei…
26046 …annote = "A method of improved efficiency is given for updating the mean and variance of wei…
26056 treatment = "A Application; T Theoretical or Mathematical",
26073 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26083 …title = "A note on: {``An optimal evaluation of Boolean expressions in an online query syst…
26095 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26105 …title = "Corrigendum: {``Comments on Perfect Hashing Functions: A Single Probe Retrieving M…
26121 title = "On the Proof of Correctness of a Calendar Program",
26132 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26151 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26160 author = "Tom{\'a}s Lozano-P{\'e}rez and Michael A. Wesley",
26170 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26182 title = "On a Comparison of Garbage Collection Techniques",
26197 title = "A psychology of learning {BASIC}",
26206 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26216 title = "Password Security --- {A} Case History",
26225 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26232 treatment = "A Application; G General Review",
26237 title = "Breaking Substitution Ciphers Using a Relaxation Algorithm",
26246 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26258 title = "Storing a Sparse Table",
26270 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26280 title = "How to Share a Secret",
26291 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26303 author = "A. H. Lipis",
26313 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26332 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26351 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26361 title = "Policy, values, and {EFT} research: anatomy of a research agenda",
26370 bibdate = "Tue Mar 25 13:26:09 MST 1997",
26379 author = "J. F. Shoch and J. A. Hupp",
26400 title = "A quadtree medial axis transform",
26429 …A simple fast hashing algorithm is given for variable length text strings. Essentially an xor is d…
26435 title = "A Very Fast Substring Search Algorithm",
26476 …lgorithm \cite{Pearson:1990:FHV} that avoids secondary clustering. Exhibits a key set for which Pe…
26492 …note = "Suggests a simple extension of Pearson's hashing algorithm \cite{Pearson:1990:FHV}…
26527 …with ``final'' revisions in \cite[pp. 17--89]{Knuth:1992:LP}. This paper is a response to \cite{Di…
26533 title = "A Fast and Usually Linear Algorithm for Global Flow Analysis",
26544 …A new algorithm for global flow analysis on reducible graphs is presented. The algorithm is shown …
26579 author = "A. L. Tharp and K.-C. Tai",
26621 bibdate = "Tue Feb 06 05:25:57 1996",
26637 bibdate = "Tue Feb 06 05:25:34 1996",
26676 title = "Remark on {``Algorithm 479: A Minimal Spanning Tree Clustering Method [Z]''}",
26708 title = "Remark on {``Algorithm 490: The Dilogarithm Function of a Real Argument [S22]''}",
26883 title = "Remark on {``Algorithm 408: A Sparse Matrix Package (Part I) [F4]''}",
26947 title = "Remark on {``Algorithm 408: A Sparse Matrix Package (Part I) [F4]''}",
27042 author = "A. C. M. van Swieten and J. Th. M. de Hosson",
27059 title = "Remark on {``Algorithm 408: A Sparse Matrix Package (Part 1) [F4]''}",
27149 …title = "Computational Analysis of the Random Components Induced by a Binary Equivalence Re…
27156 …note = "First use of second hash function for computing next hash table location after a c…
27157 …a binary equivalence relation is investigated. Several algorithms for determining the number of co…
27164 editor = "N. Christofides and A. Mingozzi and P. Toth and C. Sandi",
27186 …6.4. Hashing 6.5. Retrieval on Secondary Keys Answers to Exercises Appendix A: Tables of Numerical…
27187 …annote2 = "A basic source for computational algorithms such as hashing (pp.506--568), search …
27193 …f der Rechenanlage IBM\slash 360 der Universit{\"a}t M{\"u}nster}. ({English} title: Implementatio…
27195 school = "Universit{\"a}t M{\"u}nster",