Lines Matching +full:enforce +full:- +full:video +full:- +full:mode
2 %%% BibTeX-file{
23 %%% (incompletely) 1970 -- 1979.
50 %%% covering 1958--1996 became too large (about
65 %%% Algorithms 1--492. For Algorithms 493--686,
72 %%% cross-referenced in both directions, so
75 %%% Corrigenda. Cross-referenced entries are
77 %%% that each is completely self-contained.
83 %%% ftp://netlib.bell-labs.com/netlib/toms.
88 %%% http://ciir.cs.umass.edu/cgi-bin/web_query_form/public/cacm2.1.
90 %%% The initial draft of entries for 1981 --
98 %%% (1970--1979), from the IEEE INSPEC database
99 %%% (1970--1979), from tables of contents
103 %%% http://www.emis.de/cgi-bin/MATH/, from
105 %%% netlib.bell-labs.com, and from the computer
110 %%% 5-May-1994, and it consists of 441 BibTeX
125 %%% year is a 4-digit number, and abbrev is a
126 %%% 3-letter condensation of important title
133 %%% using bibsort -byvolume.
135 %%% The checksum field above contains a CRC-16
144 …-pha-mer-ic Balz-er Blom-quist Bo-ta-fo-go Bran-din Brans-comb Bu-tera Chris-tina Christ-o-fi-des …
149 …-nhfb = "Nelson H. F. Beebe, Center for Scientific Computing, Department of Mathematics, Universit…
151 @String{ack-nj = "Norbert Juffa, 2445 Mission College Blvd. Santa Clara, CA 95054 USA email: \path=…
156 @String{j-CACM = "Communications of the ACM"}
158 @String{j-COMP-SURV = "Computing Surveys"}
160 @String{j-J-ACM = "Journal of the ACM"}
162 @String{j-MANAGEMENT-SCIENCE = "Management Science"}
164 @String{j-SIAM-J-COMPUT = "SIAM Journal of Computing"}
166 @String{j-SPE = "Software --- Practice and Experience"}
168 @String{j-TOMS = "ACM Transactions on Mathematical Software"}
173 @String{pub-ANSI = "American National Standards Institute"}
175 @String{pub-ANSI:adr = "1430 Broadway, New York, NY 10018, USA"}
177 @String{pub-AW = "Ad{\-d}i{\-s}on-Wes{\-l}ey"}
179 @String{pub-AW:adr = "Reading, MA, USA"}
181 @String{pub-SUCSLI = "Stanford University Center for the Study of Language and Information"}
183 @String{pub-SUCSLI:adr = "Stanford, CA, USA"}
185 @String{pub-SV = "Spring{\-}er-Ver{\-}lag"}
187 @String{pub-SV:adr = "Berlin, Germany~/ Heidelberg, Germany~/ London, UK~/ etc."}
190 % Bibliography entries (cross-references in notes necessitate
196 journal = j-CACM,
203 ISSN = "0001-0782",
211 journal = j-CACM,
218 ISSN = "0001-0782",
226 journal = j-CACM,
233 ISSN = "0001-0782",
241 journal = j-CACM,
244 pages = "738--739",
248 ISSN = "0001-0782",
256 journal = j-CACM,
259 pages = "479--480",
263 ISSN = "0001-0782",
271 journal = j-CACM,
278 ISSN = "0001-0782",
286 journal = j-CACM,
289 pages = "488--492",
293 ISSN = "0001-0782",
301 journal = j-CACM,
308 ISSN = "0001-0782",
315 title = "{ACM} Algorithm 299: Chi-Squared Integral",
316 journal = j-CACM,
319 pages = "243--244",
323 ISSN = "0001-0782",
331 journal = j-CACM,
334 pages = "147--148",
338 ISSN = "0001-0782",
339 … scores of others, published mainly in SIGPLAN Notices up to the mid-1980s. The best-known is \cit…
344 title = "Clarification of {Fortran} Standards --- Initial Progress",
345 journal = j-CACM,
348 pages = "289--294",
352 ISSN = "0001-0782",
355 acknowledgement = ack-nhfb,
361 journal = j-CACM,
364 pages = "489--498",
368 ISSN = "0001-0782",
375 title = "Multi-Attribute Retrieval with Combined Indexes",
376 journal = j-CACM,
379 pages = "660--665",
383 ISSN = "0001-0782",
391 journal = j-CACM,
394 pages = "3--6",
398 ISSN = "0001-0782",
400 acknowledgement = ack-nhfb,
403 …keywords = "input-output programs; multiprogramming; program processors; time-sharing programs…
408 title = "Recursive computation of certain derivatives --- {A} study of error propagation",
409 journal = j-CACM,
412 pages = "7--9",
416 ISSN = "0001-0782",
421 …abstract = "A brief study is made of the propagation of errors in linear first-order differenc…
422 acknowledgement = ack-nhfb,
430 title = "A processor allocation method for time-sharing",
431 journal = j-CACM,
434 pages = "10--14",
438 ISSN = "0001-0782",
440 acknowledgement = ack-nhfb,
443 keywords = "storage allocation; time-sharing programs",
448 title = "Natural Language Question-Answering Systems: 1969",
449 journal = j-CACM,
452 pages = "15--30",
456 ISSN = "0001-0782",
459 acknowledgement = ack-nhfb,
468 journal = j-CACM,
471 pages = "31--40",
475 ISSN = "0001-0782",
477 acknowledgement = ack-nhfb,
486 journal = j-CACM,
489 pages = "41--47",
493 ISSN = "0001-0782",
498 acknowledgement = ack-nhfb,
499 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
507 journal = j-CACM,
510 pages = "47--49",
514 ISSN = "0001-0782",
516 acknowledgement = ack-nhfb,
525 journal = j-CACM,
528 pages = "49--49",
532 ISSN = "0001-0782",
534 acknowledgement = ack-nhfb,
543 journal = j-CACM,
546 pages = "49--52",
550 ISSN = "0001-0782",
552 acknowledgement = ack-nhfb,
561 journal = j-CACM,
564 pages = "52--52",
568 ISSN = "0001-0782",
570 acknowledgement = ack-nhfb,
579 journal = j-CACM,
582 pages = "52--54",
586 ISSN = "0001-0782",
588 acknowledgement = ack-nhfb,
597 journal = j-CACM,
600 pages = "54--54",
604 ISSN = "0001-0782",
611 title = "Representation for calendar date for machine-to-machine data interchange",
612 journal = j-CACM,
615 pages = "55--55",
619 ISSN = "0001-0782",
621 acknowledgement = ack-nhfb,
629 journal = j-CACM,
632 pages = "56--56",
636 ISSN = "0001-0782",
638 acknowledgement = ack-nhfb,
646 journal = j-CACM,
649 pages = "57--57",
653 ISSN = "0001-0782",
655 acknowledgement = ack-nhfb,
664 journal = j-CACM,
667 pages = "67--73",
671 ISSN = "0001-0782",
675 acknowledgement = ack-nhfb,
684 journal = j-CACM,
687 pages = "74--82",
691 ISSN = "0001-0782",
693 acknowledgement = ack-nhfb,
702 journal = j-CACM,
705 pages = "83--89",
709 ISSN = "0001-0782",
715 …-context sensitive semantics for context-free languages. A formal procedure is given for deriving …
716 acknowledgement = ack-nhfb,
719 …"automata; computational linguistics; context-free languages; finite state automata; formal langua…
725 journal = j-CACM,
728 pages = "90--94",
732 ISSN = "0001-0782",
734 acknowledgement = ack-nhfb,
743 title = "An Efficient Context-Free Parsing Algorithm",
744 journal = j-CACM,
747 pages = "94--102",
751 ISSN = "0001-0782",
754 …-free algorithm known is described. It is similar to both Knuth's LR(k) algorithm and the familiar…
755 acknowledgement = ack-nhfb,
758 …keywords = "compilers; computational complexity; context-free grammar; parsing; syntax analysi…
765 journal = j-CACM,
768 pages = "103--105",
772 ISSN = "0001-0782",
774 acknowledgement = ack-nhfb,
783 journal = j-CACM,
786 pages = "105--107",
790 ISSN = "0001-0782",
792 acknowledgement = ack-nhfb,
801 journal = j-CACM,
804 pages = "107--109",
808 ISSN = "0001-0782",
810 acknowledgement = ack-nhfb,
819 journal = j-CACM,
822 pages = "110--114, 19",
826 ISSN = "0001-0782",
828 acknowledgement = ack-nhfb,
837 journal = j-CACM,
840 pages = "115--119",
844 ISSN = "0001-0782",
846 acknowledgement = ack-nhfb,
855 journal = j-CACM,
858 pages = "120--120",
862 ISSN = "0001-0782",
864 acknowledgement = ack-nhfb,
873 journal = j-CACM,
876 pages = "120--120",
880 ISSN = "0001-0782",
882 acknowledgement = ack-nhfb,
891 journal = j-CACM,
894 pages = "120--121",
898 ISSN = "0001-0782",
905 journal = j-CACM,
908 pages = "120--121",
912 ISSN = "0001-0782",
914 acknowledgement = ack-nhfb,
923 journal = j-CACM,
926 pages = "121--122",
930 ISSN = "0001-0782",
932 acknowledgement = ack-nhfb,
941 journal = j-CACM,
944 pages = "90--94",
948 ISSN = "0001-0782",
958 journal = j-CACM,
961 pages = "141--146",
965 ISSN = "0001-0782",
969 acknowledgement = ack-nhfb,
973 …keywords = "computer applications; computer-assisted learning; computers, programming; educati…
978 title = "Experiments with the {M \& N} Tree-Searching Program",
979 journal = j-CACM,
982 pages = "147--154, 159",
986 ISSN = "0001-0782",
989 …-max backing-up procedure widely used in computer programs for game-playing and other purposes. It…
990 acknowledgement = ack-nhfb,
998 author = "A. Batson and Shy-Ming M. Ju and D. C. Wood",
1000 journal = j-CACM,
1003 pages = "155--159",
1007 ISSN = "0001-0782",
1010 …t striking feature of the measurements is the large number of small segments-about 60\% of the seg…
1011 acknowledgement = ack-nhfb,
1021 journal = j-CACM,
1024 pages = "160--162",
1028 ISSN = "0001-0782",
1035 acknowledgement = ack-nhfb,
1045 journal = j-CACM,
1048 pages = "163--166",
1052 ISSN = "0001-0782",
1059 acknowledgement = ack-nhfb,
1069 journal = j-CACM,
1072 pages = "167--183",
1076 ISSN = "0001-0782",
1079 …-answering aspects of the Protosynthex III prototype language processing system are described and …
1080 acknowledgement = ack-nhfb,
1092 journal = j-CACM,
1095 pages = "184--191 (or 184--190??)",
1099 ISSN = "0001-0782",
1102 …-consuming and cumbersome. A convenient, easy to learn and to use, high level problem oriented lan…
1103 acknowledgement = ack-nhfb,
1113 journal = j-CACM,
1116 pages = "191--192",
1120 ISSN = "0001-0782",
1123 acknowledgement = ack-nhfb,
1125 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
1133 journal = j-CACM,
1136 pages = "193--193",
1140 ISSN = "0001-0782",
1142 acknowledgement = ack-nhfb,
1150 journal = j-CACM,
1153 pages = "193--193",
1157 ISSN = "0001-0782",
1159 acknowledgement = ack-nhfb,
1168 journal = j-CACM,
1171 pages = "193--194",
1175 ISSN = "0001-0782",
1177 acknowledgement = ack-nhfb,
1185 title = "A Note on the Complement of Inherently Ambiguous Context-Free Languages",
1186 journal = j-CACM,
1189 pages = "194--194",
1193 ISSN = "0001-0782",
1195 acknowledgement = ack-nhfb,
1198 …keywords = "ambiguity; bounded language; Chomsky-language; complement; context-free language; …
1204 journal = j-CACM,
1207 pages = "266--266",
1211 ISSN = "0001-0782",
1219 journal = j-CACM,
1222 pages = "211--215",
1226 ISSN = "0001-0782",
1229 …as proved to be invaluable for the definition and control of COMMON in many large-scale programs.",
1230 acknowledgement = ack-nhfb,
1239 title = "Syntax-Directed Documentation for {PL360}",
1240 journal = j-CACM,
1243 pages = "216--222",
1247 ISSN = "0001-0782",
1250 …s a concrete basis for illustrating an idea called syntax-directed documentation. This idea is-to …
1251 acknowledgement = ack-nhfb,
1261 journal = j-CACM,
1264 pages = "223--237",
1268 ISSN = "0001-0782",
1272 acknowledgement = ack-nhfb,
1283 journal = j-CACM,
1286 pages = "238--241, 250",
1290 ISSN = "0001-0782",
1294 acknowledgement = ack-nhfb,
1305 journal = j-CACM,
1308 pages = "242--250",
1312 ISSN = "0001-0782",
1315 …abstract = "Problems involving the arrangement of objects in two-or three-space where the obje…
1316 acknowledgement = ack-nhfb,
1318 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
1320 …keywords = "computer-aided design; computers; computers, language; data structures; design aut…
1326 journal = j-CACM,
1329 pages = "251--254",
1333 ISSN = "0001-0782",
1337 acknowledgement = ack-nhfb,
1347 journal = j-CACM,
1350 pages = "255--258",
1354 ISSN = "0001-0782",
1360 …n which requires only minimal storage and computation and permits easy trade-off of one against th…
1361 acknowledgement = ack-nhfb,
1370 …title = "{ACM} Algorithm 378: Discretized {Newton}-like Method for Solving a System of Simu…
1371 journal = j-CACM,
1374 pages = "259--260",
1378 ISSN = "0001-0782",
1380 acknowledgement = ack-nhfb,
1387 title = "{ACM} Algorithm 379: {SQUANK (Simpson Quadrature Used Adaptively-Noise Killed)}",
1388 journal = j-CACM,
1391 pages = "260--263 (or 260--262??)",
1395 ISSN = "0001-0782",
1397 acknowledgement = ack-nhfb,
1406 journal = j-CACM,
1409 pages = "264--265",
1413 ISSN = "0001-0782",
1415 acknowledgement = ack-nhfb,
1423 journal = j-CACM,
1426 pages = "265--265",
1430 ISSN = "0001-0782",
1432 acknowledgement = ack-nhfb,
1441 journal = j-CACM,
1444 pages = "265--266",
1448 ISSN = "0001-0782",
1453 acknowledgement = ack-nhfb,
1463 journal = j-CACM,
1466 pages = "266--266",
1470 ISSN = "0001-0782",
1472 acknowledgement = ack-nhfb,
1481 journal = j-CACM,
1484 pages = "266--266",
1488 ISSN = "0001-0782",
1495 title = "Programming System for the On-Line Analysis of Biomedical Images",
1496 journal = j-CACM,
1499 pages = "279--283, 286",
1503 ISSN = "0001-0782",
1506 …-display system is given with special emphasis on the man-machine interaction. This system is inte…
1507 acknowledgement = ack-nhfb,
1511 …ata reduction and analysis; graphics; image processing; machine systems; man-; medicine; pattern r…
1517 journal = j-CACM,
1520 pages = "284--286",
1524 ISSN = "0001-0782",
1528 acknowledgement = ack-nhfb,
1538 journal = j-CACM,
1541 pages = "286--286",
1545 ISSN = "0001-0782",
1548 acknowledgement = ack-nhfb,
1554 journal = j-CACM,
1557 pages = "287--296",
1561 ISSN = "0001-0782",
1564 … analysis of data generated by a computer simulation experiment with a multi-item inventory model.…
1565 acknowledgement = ack-nhfb,
1574 title = "Algorithm for the Construction of Bounded-Context Parsers",
1575 journal = j-CACM,
1578 pages = "297--307",
1582 ISSN = "0001-0782",
1585 …-free grammar and constructs a bounded-context parser for it whenever such a parser exists. The de…
1586 acknowledgement = ack-nhfb,
1590 …a theory; compilers; computational linguistics; computers, language; context-free grammars; formal…
1595 …title = "{GEDANKEN} --- {A} Simple Typeless Language Based on the Principle of Completeness…
1596 journal = j-CACM,
1599 pages = "308--319",
1603 ISSN = "0001-0782",
1606 …e existence of label variables permits the construction of coroutines, quasi-parallel processes, a…
1607 acknowledgement = ack-nhfb,
1615 @Article{Crespi-Reghizzi:1970:LTG,
1616 author = "S. Crespi-Reghizzi and R. Morpurgo",
1618 journal = j-CACM,
1621 pages = "319--323",
1625 ISSN = "0001-0782",
1628 … extension to ALGOL 60, and it is translated into ALGOL by means of a syntax-driven compiler. Appl…
1629 acknowledgement = ack-nhfb,
1638 title = "{ACM} Algorithm 380: In-situ Transposition of a Rectangular Matrix",
1639 journal = j-CACM,
1642 pages = "324--326 (or 324--325??)",
1646 ISSN = "0001-0782",
1648 acknowledgement = ack-nhfb,
1657 journal = j-CACM,
1660 pages = "326--326",
1664 ISSN = "0001-0782",
1666 acknowledgement = ack-nhfb,
1674 title = "On the Feasibility of Voice Input to an On-Line Computer Processing System",
1675 journal = j-CACM,
1678 pages = "339--346",
1682 ISSN = "0001-0782",
1685 …-line digital computer processing system is considered in which an ordinary telephone is the compl…
1686 acknowledgement = ack-nhfb,
1690 …ral equipment; computers; computers, input-output device; computers, pattern recognition; data pro…
1696 journal = j-CACM,
1699 pages = "347--351",
1703 ISSN = "0001-0782",
1707 acknowledgement = ack-nhfb,
1717 journal = j-CACM,
1720 pages = "351--352",
1724 ISSN = "0001-0782",
1728 acknowledgement = ack-nhfb,
1738 journal = j-CACM,
1741 pages = "353--356",
1745 ISSN = "0001-0782",
1747 acknowledgement = ack-nhfb,
1756 journal = j-CACM,
1759 pages = "356--360",
1763 ISSN = "0001-0782",
1767 acknowledgement = ack-nhfb,
1776 title = "Accurate Floating-Point Summation",
1777 journal = j-CACM,
1780 pages = "361--362",
1784 ISSN = "0001-0782",
1789 …bibsource = "Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt and ftp://ftp.ira.uka…
1790 …-point numbers. Comparison of the error bound for this method with that of the standard summation …
1791 acknowledgement = ack-nhfb,
1796 …ting point arithmetic; floating-point addition; mathematics; numerical methods; round-off error; r…
1802 …title = "Comparison of Several Adaptive Newton-Cotes Quadrature Routines in Evaluating Defi…
1803 journal = j-CACM,
1806 pages = "362--365",
1810 ISSN = "0001-0782",
1813 …-Cotes rules, used adaptively. The advantage of adaptive methods over a nonadaptive rule in approx…
1814 acknowledgement = ack-nhfb,
1824 journal = j-CACM,
1827 pages = "365--367",
1831 ISSN = "0001-0782",
1834 … incorporated by means of an implicit algorithm. Both methods have drawbacks-the direct method can…
1835 acknowledgement = ack-nhfb,
1846 journal = j-CACM,
1849 pages = "368--368",
1853 ISSN = "0001-0782",
1855 acknowledgement = ack-nhfb,
1864 journal = j-CACM,
1867 pages = "368--369",
1871 ISSN = "0001-0782",
1873 acknowledgement = ack-nhfb,
1882 journal = j-CACM,
1885 pages = "369--371",
1889 ISSN = "0001-0782",
1892 acknowledgement = ack-nhfb,
1901 …title = "Certification of Algorithm 245 ({M1}) Treesort 3: Proof of Algorithms --- {A} New …
1902 journal = j-CACM,
1905 pages = "371--374",
1909 ISSN = "0001-0782",
1915 title = "{R201}--{SHELLSORT}",
1916 journal = j-CACM,
1919 pages = "373--374",
1923 ISSN = "0001-0782",
1931 journal = j-CACM,
1934 pages = "377--387",
1938 ISSN = "0001-0782",
1941 …published in/as: `Readings in Database Systems', M. Stonebraker, Morgan-Kaufmann, 1988, pp. 5--15",
1942 …e-structured files or slightly more general network models of the data. In Section 1, inadequacies…
1943 acknowledgement = ack-nhfb,
1944 …annote = "Shows problems of hierarchical data organization, presents a non-hierarchical `nor…
1949 review = "ACM CR 8905-0329",
1955 journal = j-CACM,
1958 pages = "403--406",
1962 ISSN = "0001-0782",
1965 …-sharing commands and receive the corresponding output response is presented. The commands will be…
1966 acknowledgement = ack-nhfb,
1967 classcodes = "C6140B (Machine-oriented languages); C6150J (Operating systems)",
1970 …aring; interactive computing; machine oriented languages; operating systems; time-sharing systems",
1975 title = "Conversational Access to a 2048-Word Machine",
1976 journal = j-CACM,
1979 pages = "407--414",
1983 ISSN = "0001-0782",
1986 …-line system running on 2048- word LINC which provides full facilities for text editing, automatic…
1987 acknowledgement = ack-nhfb,
1997 journal = j-CACM,
2000 pages = "415--421",
2004 ISSN = "0001-0782",
2007 …-independent software. The features provided by STAGE 2 are summarized, and the implementation tec…
2008 acknowledgement = ack-nhfb,
2017 title = "Space\slash Time Trade-offs in Hash Coding with Allowable Errors",
2018 journal = j-CACM,
2021 pages = "422--426",
2025 ISSN = "0001-0782",
2028 …-offs among certain computational factors in hash coding are analyzed. The paradigm problem consid…
2029 acknowledgement = ack-nhfb,
2040 journal = j-CACM,
2043 pages = "427--432, 436",
2047 ISSN = "0001-0782",
2051 acknowledgement = ack-nhfb,
2062 journal = j-CACM,
2065 pages = "433--436",
2069 ISSN = "0001-0782",
2076 acknowledgement = ack-nhfb,
2085 title = "Context-Sensitive Parsing",
2086 journal = j-CACM,
2089 pages = "437--445",
2093 ISSN = "0001-0782",
2096 …-sensitive derivations and a parsing algorithm which finds each context-sensitive analysis once an…
2097 acknowledgement = ack-nhfb,
2102 …keywords = "automata theory; computational linguistics; context-sensitive grammars; context-se…
2108 journal = j-CACM,
2111 pages = "446--447",
2115 ISSN = "0001-0782",
2117 acknowledgement = ack-nhfb,
2126 journal = j-CACM,
2129 pages = "447--448",
2133 ISSN = "0001-0782",
2135 acknowledgement = ack-nhfb,
2144 journal = j-CACM,
2147 pages = "450--451",
2151 ISSN = "0001-0782",
2153 acknowledgement = ack-nhfb,
2162 journal = j-CACM,
2165 pages = "451--451",
2169 ISSN = "0001-0782",
2171 acknowledgement = ack-nhfb,
2180 journal = j-CACM,
2183 pages = "451--451",
2187 ISSN = "0001-0782",
2189 acknowledgement = ack-nhfb,
2198 journal = j-CACM,
2201 pages = "452--452",
2205 ISSN = "0001-0782",
2207 acknowledgement = ack-nhfb,
2216 journal = j-CACM,
2219 pages = "467--474",
2223 ISSN = "0001-0782",
2227 acknowledgement = ack-nhfb,
2237 journal = j-CACM,
2240 pages = "475--481",
2244 ISSN = "0001-0782",
2248 acknowledgement = ack-nhfb,
2249 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
2258 journal = j-CACM,
2261 pages = "481--482",
2265 ISSN = "0001-0782",
2269 acknowledgement = ack-nhfb,
2273 …keywords = "CACMA; computers; computers, data storage; hash coding; programming; table look-up…
2279 journal = j-CACM,
2282 pages = "483--494",
2286 ISSN = "0001-0782",
2290 acknowledgement = ack-nhfb,
2300 journal = j-CACM,
2303 pages = "495--500",
2307 ISSN = "0001-0782",
2311 acknowledgement = ack-nhfb,
2312 …-segment basis the number of missing pages and segments encountered during execution in that segme…
2321 …title = "A technique for generating almost optimal {Floyd-Evans} productions for precedence…
2322 journal = j-CACM,
2325 pages = "501--508",
2329 ISSN = "0001-0782",
2331 acknowledgement = ack-nhfb,
2333 corpsource = "Co. Internat. l'Informatique, Les Clayes-sous-Bois, France",
2340 journal = j-CACM,
2343 pages = "509--510",
2347 ISSN = "0001-0782",
2349 acknowledgement = ack-nhfb,
2358 journal = j-CACM,
2361 pages = "510--511",
2365 ISSN = "0001-0782",
2367 acknowledgement = ack-nhfb,
2375 journal = j-CACM,
2378 pages = "511--511",
2382 ISSN = "0001-0782",
2384 acknowledgement = ack-nhfb,
2392 journal = j-CACM,
2395 pages = "511--512 (or 511--511??)",
2399 ISSN = "0001-0782",
2401 acknowledgement = ack-nhfb,
2409 journal = j-CACM,
2412 pages = "512--512",
2416 ISSN = "0001-0782",
2418 acknowledgement = ack-nhfb,
2427 journal = j-CACM,
2430 pages = "514--515",
2434 ISSN = "0001-0782",
2436 acknowledgement = ack-nhfb,
2443 …title = "A Procedure for Generation of Three-Dimensional Half-Toned Computer Graphics Prese…
2444 journal = j-CACM,
2447 pages = "527--536",
2451 ISSN = "0001-0782",
2454 …n algorithm for producing computer generated halftone presentations of three-dimensional polygonal…
2455 acknowledgement = ack-nhfb,
2459 …keywords = "CACMA; computer graphics; computers; half-tone images; hidden surface; image proce…
2464 …title = "Interactive Software System for Computer-Aided Design. an Application to Circuit P…
2465 journal = j-CACM,
2468 pages = "537--545",
2472 ISSN = "0001-0782",
2475 …, and manipulate graphic problem specifications. The application to computer-aided circuit design …
2476 acknowledgement = ack-nhfb,
2477 …classcodes = "B1130B (Computer-aided circuit analysis and design); C7410D (Electronic engineerin…
2480 …keywords = "CACMA; computer aided circuit design; computer-aided circuit design; computers; co…
2486 journal = j-CACM,
2489 pages = "546--555",
2493 ISSN = "0001-0782",
2496 …f-scaled plots, formal tablets of text, interspersed with subplots, map coastlines and 3-D plots. …
2497 acknowledgement = ack-nhfb,
2507 journal = j-CACM,
2510 pages = "556--557",
2514 ISSN = "0001-0782",
2521 acknowledgement = ack-nhfb,
2530 …title = "A Variation of the {Goodman-Lance} Method for the Solution of Two-Point Boundary V…
2531 journal = j-CACM,
2534 pages = "557--558",
2538 ISSN = "0001-0782",
2544 …-Lance method for the solution of two-point boundary value problems. The resulting method applies …
2545 acknowledgement = ack-nhfb,
2549 …matic control; boundary value problems; boundary-value problems; CACMA; differential equations; Go…
2550 keywords = "boundary-value problems; differential equations",
2556 journal = j-CACM,
2559 pages = "559--561 (or 559--560??)",
2563 ISSN = "0001-0782",
2568 bibsource = "Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
2570 acknowledgement = ack-nhfb,
2580 journal = j-CACM,
2583 pages = "561--562",
2587 ISSN = "0001-0782",
2593 …ersion. Further, the rounding error bound for complex inversion is about one-eighth that of real, …
2594 acknowledgement = ack-nhfb,
2604 journal = j-CACM,
2607 pages = "563--567 (or 563--566??)",
2611 ISSN = "0001-0782",
2615 acknowledgement = ack-nhfb,
2625 journal = j-CACM,
2628 pages = "567--570",
2632 ISSN = "0001-0782",
2634 acknowledgement = ack-nhfb,
2637 keywords = "boundary-value problems; partial differential equations",
2643 journal = j-CACM,
2646 pages = "570--570",
2650 ISSN = "0001-0782",
2652 acknowledgement = ack-nhfb,
2661 journal = j-CACM,
2664 pages = "571--573 (or 571--572??)",
2668 ISSN = "0001-0782",
2670 acknowledgement = ack-nhfb,
2679 journal = j-CACM,
2682 pages = "573--574",
2686 ISSN = "0001-0782",
2688 acknowledgement = ack-nhfb,
2696 journal = j-CACM,
2699 pages = "574--575",
2703 ISSN = "0001-0782",
2705 acknowledgement = ack-nhfb,
2708 …keywords = "automata; automorphisms; finite automata; generators; length of state; minimal-len…
2714 journal = j-CACM,
2717 pages = "591--606",
2721 ISSN = "0001-0782",
2724 acknowledgement = ack-nhfb,
2733 journal = j-CACM,
2736 pages = "607--617",
2740 ISSN = "0001-0782",
2743 …rs for programming languages-compilers, interpreters, assemblers-and their interactions in complex…
2744 acknowledgement = ack-nhfb,
2753 title = "{ACM} Algorithm 395: {Student}'s $t$-Distribution",
2754 journal = j-CACM,
2757 pages = "617--619",
2761 ISSN = "0001-0782",
2764 acknowledgement = ack-nhfb,
2772 title = "{ACM} Algorithm 396: {Student}'s $t$-Quantiles",
2773 journal = j-CACM,
2776 pages = "619--620",
2780 ISSN = "0001-0782",
2783 acknowledgement = ack-nhfb,
2792 journal = j-CACM,
2795 pages = "620--621",
2799 ISSN = "0001-0782",
2801 acknowledgement = ack-nhfb,
2810 journal = j-CACM,
2813 pages = "621--621",
2817 ISSN = "0001-0782",
2819 acknowledgement = ack-nhfb,
2828 journal = j-CACM,
2831 pages = "621--622",
2835 ISSN = "0001-0782",
2837 acknowledgement = ack-nhfb,
2846 journal = j-CACM,
2849 pages = "622--624",
2853 ISSN = "0001-0782",
2855 acknowledgement = ack-nhfb,
2864 journal = j-CACM,
2871 ISSN = "0001-0782",
2879 journal = j-CACM,
2882 pages = "625--634",
2886 ISSN = "0001-0782",
2888 acknowledgement = ack-nhfb,
2897 journal = j-CACM,
2900 pages = "651--659",
2904 ISSN = "0001-0782",
2908 …ined by linear programming so as to minimize the error in either the L1 or L-infinity norm. Auxili…
2909 acknowledgement = ack-nhfb,
2917 title = "Multi-attribute retrieval with combined indexes",
2918 journal = j-CACM,
2921 pages = "660--665",
2925 ISSN = "0001-0782",
2927 acknowledgement = ack-nhfb,
2935 title = "A multiple-precision division algorithm",
2936 journal = j-CACM,
2939 pages = "666--668",
2943 ISSN = "0001-0782",
2945 acknowledgement = ack-nhfb,
2954 journal = j-CACM,
2957 pages = "669--675",
2961 ISSN = "0001-0782",
2963 … and operates on it to produce a reformatted version. When in the LOGICAL mode, NEATER2 indicates …
2964 acknowledgement = ack-nhfb,
2973 journal = j-CACM,
2976 pages = "675--677",
2980 ISSN = "0001-0782",
2983 acknowledgement = ack-nhfb,
2992 journal = j-CACM,
2995 pages = "677--678",
2999 ISSN = "0001-0782",
3002 acknowledgement = ack-nhfb,
3011 journal = j-CACM,
3014 pages = "679--685",
3018 ISSN = "0001-0782",
3020 acknowledgement = ack-nhfb,
3027 …nal Standard}. Unrecorded magnetic tape for information interchange (9 track-200 and 800 {CPI}, {N…
3028 journal = j-CACM,
3031 pages = "686--692",
3035 ISSN = "0001-0782",
3037 acknowledgement = ack-nhfb,
3045 journal = j-CACM,
3048 pages = "693--693",
3052 ISSN = "0001-0782",
3054 acknowledgement = ack-nhfb,
3063 journal = j-CACM,
3066 pages = "693--694",
3070 ISSN = "0001-0782",
3072 acknowledgement = ack-nhfb,
3081 journal = j-CACM,
3084 pages = "696--697",
3088 ISSN = "0001-0782",
3090 acknowledgement = ack-nhfb,
3099 journal = j-CACM,
3102 pages = "697--698",
3106 ISSN = "0001-0782",
3108 acknowledgement = ack-nhfb,
3117 journal = j-CACM,
3120 pages = "698--699",
3124 ISSN = "0001-0782",
3126 acknowledgement = ack-nhfb,
3135 journal = j-CACM,
3138 pages = "699--699",
3142 ISSN = "0001-0782",
3144 acknowledgement = ack-nhfb,
3152 title = "{GROOVE-A} program to compose, store, and edit functions of time",
3153 journal = j-CACM,
3156 pages = "715--721",
3160 ISSN = "0001-0782",
3162 acknowledgement = ack-nhfb,
3165 … software; luminescence; man computer system; man-machine systems; periodic functions; real-time; …
3172 journal = j-CACM,
3175 pages = "722--726",
3179 ISSN = "0001-0782",
3184 …give a relation between speed and complexity. Extensions to undirected and s-graphs are discussed.…
3185 acknowledgement = ack-nhfb,
3195 journal = j-CACM,
3198 pages = "727--733",
3202 ISSN = "0001-0782",
3204 acknowledgement = ack-nhfb,
3206 …-access systems; multiprogramming; parallel processes; parallel processing; primitive operations; …
3213 journal = j-CACM,
3216 pages = "734--739",
3220 ISSN = "0001-0782",
3222 acknowledgement = ack-nhfb,
3230 title = "Improving round-off in {Runge-Kutta} computations with {Gill}'s method",
3231 journal = j-CACM,
3234 pages = "739--740",
3238 ISSN = "0001-0782",
3240 acknowledgement = ack-nhfb,
3243 … mathematics; ordinary differential equations; predictor-corrector; round-off error; Runge-Kutta-G…
3250 journal = j-CACM,
3253 pages = "741--744",
3257 ISSN = "0001-0782",
3259 acknowledgement = ack-nhfb,
3269 journal = j-CACM,
3272 pages = "745--749",
3276 ISSN = "0001-0782",
3278 acknowledgement = ack-nhfb,
3288 journal = j-CACM,
3291 pages = "750--750",
3295 ISSN = "0001-0782",
3306 journal = j-CACM,
3309 pages = "752--757",
3313 ISSN = "0001-0782",
3316 …ter Commun., Chu, W. W., (Ed (1974), 2-7; in Computer Commun., Green, P. E., and Lucky, R. W. (Eds…
3317 …s characterized the distributions underlying an elementary model of the user-computer interactive …
3318 acknowledgement = ack-nhfb,
3322 …ti-access systems; multiaccess systems; operating systems; operating systems (computers); optimisa…
3329 journal = j-CACM,
3332 pages = "758--758",
3336 ISSN = "0001-0782",
3338 acknowledgement = ack-nhfb,
3348 journal = j-CACM,
3351 pages = "758--759",
3355 ISSN = "0001-0782",
3357 acknowledgement = ack-nhfb,
3360 …keywords = "binary variables; bit strings; cross-; data handling; dummy variables; efficiency;…
3367 journal = j-CACM,
3370 pages = "759--760",
3374 ISSN = "0001-0782",
3376 acknowledgement = ack-nhfb,
3385 journal = j-CACM,
3388 pages = "13--22",
3392 ISSN = "0001-0782",
3400 journal = j-CACM,
3403 pages = "3--14",
3407 ISSN = "0001-0782",
3409 …-years, thus far without success, attempting tode code them; vast armies of fortune hunters and tr…
3410 acknowledgement = ack-nhfb,
3419 journal = j-CACM,
3422 pages = "15--20",
3426 ISSN = "0001-0782",
3428 acknowledgement = ack-nhfb,
3429 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
3436 author = "Shi-Kuo Chang",
3438 journal = j-CACM,
3441 pages = "21--25",
3445 ISSN = "0001-0782",
3452 acknowledgement = ack-nhfb,
3453 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
3462 title = "Language for Treating Geometric Patterns in a Two-Dimensional Space",
3463 journal = j-CACM,
3466 pages = "26--32",
3470 ISSN = "0001-0782",
3473 …bstract = "In this paper CADEP, a problem-oriented language for positioning geometric patterns…
3474 acknowledgement = ack-nhfb,
3478 …keywords = "2-dimensional space; architecture design; automation; block diagrams; CACMA; CADEP…
3485 journal = j-CACM,
3488 pages = "32--35",
3492 ISSN = "0001-0782",
3494 acknowledgement = ack-nhfb,
3504 journal = j-CACM,
3507 pages = "36--38",
3511 ISSN = "0001-0782",
3515 acknowledgement = ack-nhfb,
3526 journal = j-CACM,
3529 pages = "39--45",
3533 ISSN = "0001-0782",
3537 acknowledgement = ack-nhfb,
3547 …title = "Further evidence for the analysis of algorithms for the zero-one programming probl…
3548 journal = j-CACM,
3551 pages = "46--47",
3555 ISSN = "0001-0782",
3558 …o that recently summarized R. L. Gue et al, with two algorithms for the zero-one linear programmin…
3559 acknowledgement = ack-nhfb,
3571 journal = j-CACM,
3574 pages = "48--48",
3578 ISSN = "0001-0782",
3581 acknowledgement = ack-nhfb,
3591 journal = j-CACM,
3594 pages = "48--49 (or 48--48??)",
3598 ISSN = "0001-0782",
3600 acknowledgement = ack-nhfb,
3610 journal = j-CACM,
3613 pages = "50--51",
3617 ISSN = "0001-0782",
3619 acknowledgement = ack-nhfb,
3620 …keywords = "certification; debugging; in-place sorting; metatheory; proof of algorithms; sorti…
3626 journal = j-CACM,
3629 pages = "52--52",
3633 ISSN = "0001-0782",
3635 acknowledgement = ack-nhfb,
3644 …title = "Conversion of Limited-Entry Decision Tables to Computer Programs. a Proposed Modif…
3645 journal = j-CACM,
3648 pages = "69--73",
3652 ISSN = "0001-0782",
3656 acknowledgement = ack-nhfb,
3663 …title = "Conversion of limited-entry decision tables to computer programs-a proposed modifi…
3664 journal = j-CACM,
3667 pages = "69--73",
3671 ISSN = "0001-0782",
3673 acknowledgement = ack-nhfb,
3682 title = "A policy-driven scheduler for a time-sharing system",
3683 journal = j-CACM,
3686 pages = "74--78",
3690 ISSN = "0001-0782",
3694 acknowledgement = ack-nhfb,
3698 …programs; supervisory programs; systems; time sharing; time sharing systems; time-sharing systems",
3704 title = "An analysis of some time-sharing techniques",
3705 journal = j-CACM,
3708 pages = "79--90",
3712 ISSN = "0001-0782",
3715 …-sharing techniques such as program relocation, disk rotational delay minimization, and swap volum…
3716 acknowledgement = ack-nhfb,
3720 …imization; systems analysis; techniques; time sharing; time sharing systems; time-sharing systems",
3727 journal = j-CACM,
3730 pages = "91--99 (or 91--98??)",
3734 ISSN = "0001-0782",
3736 …-searching program, which is presently being applied to resolution theorem-proving in predicate ca…
3737 acknowledgement = ack-nhfb,
3740 …; multipurpose heuristic program; problem-solving; resolution; self-modifying; system; theorem-pro…
3747 journal = j-CACM,
3750 pages = "99--102",
3754 ISSN = "0001-0782",
3758 acknowledgement = ack-nhfb,
3769 journal = j-CACM,
3772 pages = "103--110",
3776 ISSN = "0001-0782",
3779 …-person game played against nature (chance). Virtually all the powerful techniques developed for s…
3780 acknowledgement = ack-nhfb,
3781 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
3784 …-and-bound approach; CACMA; CAL; computers, digital, character; dynamic programming; game against …
3791 journal = j-CACM,
3794 pages = "111--112",
3798 ISSN = "0001-0782",
3802 acknowledgement = ack-nhfb,
3813 journal = j-CACM,
3816 pages = "113--117",
3820 ISSN = "0001-0782",
3822 acknowledgement = ack-nhfb,
3831 title = "Scanned-Display Computer Graphics",
3832 journal = j-CACM,
3835 pages = "143--150",
3839 ISSN = "0001-0782",
3842 …-like scanned-display system has been successfully implemented on a Honeywell DDP-224 computer ins…
3843 acknowledgement = ack-nhfb,
3854 journal = j-CACM,
3857 pages = "151--165",
3861 ISSN = "0001-0782",
3864 …abstract = "An elementary outline of the theorem-proving approach to automatic program synthes…
3865 acknowledgement = ack-nhfb,
3876 journal = j-CACM,
3879 pages = "166--171",
3883 ISSN = "0001-0782",
3887 acknowledgement = ack-nhfb,
3898 journal = j-CACM,
3901 pages = "172--175",
3905 ISSN = "0001-0782",
3908 …-level memory hierarchy. The first storage level, which is the fast store, is divided into a numbe…
3909 acknowledgement = ack-nhfb,
3920 journal = j-CACM,
3923 pages = "176--179",
3927 ISSN = "0001-0782",
3933 acknowledgement = ack-nhfb,
3937 …keywords = "automatic; boundary value problems; boundary-value problems; CACMA; differential e…
3944 journal = j-CACM,
3947 pages = "180--184",
3951 ISSN = "0001-0782",
3953 acknowledgement = ack-nhfb,
3963 journal = j-CACM,
3966 pages = "185--190",
3970 ISSN = "0001-0782",
3972 acknowledgement = ack-nhfb,
3982 journal = j-CACM,
3985 pages = "221--227",
3989 ISSN = "0001-0782",
3992 acknowledgement = ack-nhfb,
4001 …title = "Key-to-Address Transform Techniques: {A} Fundamental Performance Study on Large Ex…
4002 journal = j-CACM,
4005 pages = "228--239",
4009 ISSN = "0001-0782",
4013 …abstract = "The results of a study of eight different keyto-address transformation methods app…
4014 acknowledgement = ack-nhfb,
4027 journal = j-CACM,
4030 pages = "240--250",
4034 ISSN = "0001-0782",
4037 …s overhead for various subroutine characteristics. Three examples of problem-oriented programming …
4038 acknowledgement = ack-nhfb,
4042 …guage; microprogramming; microstorage; problem oriented programming; problem-oriented languages; p…
4048 title = "Animator: an on-line two-dimensional film animation system",
4049 journal = j-CACM,
4052 pages = "251--259",
4056 ISSN = "0001-0782",
4058 acknowledgement = ack-nhfb,
4068 journal = j-CACM,
4071 pages = "260--264",
4075 ISSN = "0001-0782",
4078 …or numbers represented in any base greater than one. Both radix and radix-less-one complementation…
4079 acknowledgement = ack-nhfb,
4090 journal = j-CACM,
4093 pages = "265--273",
4097 ISSN = "0001-0782",
4100 acknowledgement = ack-nhfb,
4110 journal = j-CACM,
4113 pages = "308--318",
4117 ISSN = "0001-0782",
4120 …-contained systems. Technical problems facing future designers are described. The use of Cobol as …
4121 acknowledgement = ack-nhfb,
4129 journal = j-CACM,
4132 pages = "319--326",
4136 ISSN = "0001-0782",
4140 acknowledgement = ack-nhfb,
4141 …aining); C5600 (Data communication equipment and techniques); C7810C (Computer-aided instruction)",
4149 title = "A Man-Machine Approach Toward Solving the Traveling Salesman Problem",
4150 journal = j-CACM,
4153 pages = "327--334",
4157 ISSN = "0001-0782",
4160 …-time to solve large (100 to 200) point problems. This technique takes advantage of both the compu…
4161 acknowledgement = ack-nhfb,
4162 classcodes = "C1230 (Artificial intelligence); C1270 (Man-machine systems)",
4165 …re; heuristic programming; interaction process; man machine interaction; man-machine systems; oper…
4172 journal = j-CACM,
4175 pages = "335--345",
4179 ISSN = "0001-0782",
4182 acknowledgement = ack-nhfb,
4183 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
4192 journal = j-CACM,
4195 pages = "346--349",
4199 ISSN = "0001-0782",
4203 acknowledgement = ack-nhfb,
4214 journal = j-CACM,
4217 pages = "349--350",
4221 ISSN = "0001-0782",
4224 … "Variables of label mode are conventionally implemented with a technique which fails to trap ce…
4225 acknowledgement = ack-nhfb,
4236 journal = j-CACM,
4239 pages = "351--354",
4243 ISSN = "0001-0782",
4250 acknowledgement = ack-nhfb,
4261 journal = j-CACM,
4264 pages = "355--356",
4268 ISSN = "0001-0782",
4270 acknowledgement = ack-nhfb,
4280 journal = j-CACM,
4283 pages = "357--358",
4287 ISSN = "0001-0782",
4290 acknowledgement = ack-nhfb,
4301 journal = j-CACM,
4304 pages = "373--379",
4308 ISSN = "0001-0782",
4312 …- 1)!$ specific permutations of $n$ elements, termed rosary permutations, can be defined. Each of …
4313 acknowledgement = ack-nhfb,
4323 journal = j-CACM,
4326 pages = "380--390",
4330 ISSN = "0001-0782",
4332 acknowledgement = ack-nhfb,
4342 journal = j-CACM,
4345 pages = "391--401",
4349 ISSN = "0001-0782",
4352 acknowledgement = ack-nhfb,
4361 title = "Numerical properties of the {Ritz-Trefftz} algorithm for optimal control",
4362 journal = j-CACM,
4365 pages = "402--406",
4369 ISSN = "0001-0782",
4374 …-Trefftz algorithm is applied to the computer solution of the state regulator problem. The algorit…
4375 acknowledgement = ack-nhfb,
4385 journal = j-CACM,
4388 pages = "407--408",
4392 ISSN = "0001-0782",
4395 acknowledgement = ack-nhfb,
4405 journal = j-CACM,
4408 pages = "409--416",
4412 ISSN = "0001-0782",
4415 acknowledgement = ack-nhfb,
4425 journal = j-CACM,
4428 pages = "417--417",
4432 ISSN = "0001-0782",
4434 acknowledgement = ack-nhfb,
4444 journal = j-CACM,
4447 pages = "417--418",
4451 ISSN = "0001-0782",
4453 acknowledgement = ack-nhfb,
4462 title = "The State of Computer-Oriented Curricula in Business Schools 1970",
4463 journal = j-CACM,
4466 pages = "443--448",
4470 ISSN = "0001-0782",
4473 acknowledgement = ack-nhfb,
4483 journal = j-CACM,
4486 pages = "449--452",
4490 ISSN = "0001-0782",
4492 acknowledgement = ack-nhfb,
4502 journal = j-CACM,
4505 pages = "453--460",
4509 ISSN = "0001-0782",
4514 …-free grammars, called the ``Simple LR(k)'' or SLR(k) grammars is defined.\par This class has been…
4515 acknowledgement = ack-nhfb,
4518 …keywords = "context-free grammar; deterministic pushdown automaton; finite-state machine; LR(k…
4519 …keywords = "context free grammars; context-free grammars; grammars; parser construction; prece…
4526 journal = j-CACM,
4529 pages = "460--467 (or 461--467??)",
4533 ISSN = "0001-0782",
4539 acknowledgement = ack-nhfb,
4549 journal = j-CACM,
4552 pages = "468--475",
4556 ISSN = "0001-0782",
4557 MRclass = "05-04",
4563 acknowledgement = ack-nhfb,
4566 …keywords = "algorithm; block; block-cutpoint-tree; blocks; cut nodes; cutnode; fundamental cyc…
4572 title = "Buffer Allocation in Merge-Sorting",
4573 journal = j-CACM,
4576 pages = "476--478",
4580 ISSN = "0001-0782",
4582 …-sorting is presented here which minimizes the number of input-output operations for a given order…
4583 acknowledgement = ack-nhfb,
4593 journal = j-CACM,
4596 pages = "479--485",
4600 ISSN = "0001-0782",
4606 acknowledgement = ack-nhfb,
4616 journal = j-CACM,
4619 pages = "486--490",
4623 ISSN = "0001-0782",
4629 acknowledgement = ack-nhfb,
4639 journal = j-CACM,
4642 pages = "491--492",
4646 ISSN = "0001-0782",
4648 acknowledgement = ack-nhfb,
4658 journal = j-CACM,
4661 pages = "492--493",
4665 ISSN = "0001-0782",
4668 acknowledgement = ack-nhfb,
4678 journal = j-CACM,
4681 pages = "??--??",
4685 ISSN = "0001-0782",
4687 acknowledgement = ack-nhfb,
4689 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4699 journal = j-CACM,
4702 pages = "511--516",
4706 ISSN = "0001-0782",
4710 acknowledgement = ack-nhfb,
4712 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4723 title = "The {Altran} system for rational function manipulation --- a survey",
4724 journal = j-CACM,
4727 pages = "517--521",
4731 ISSN = "0001-0782",
4733 acknowledgement = ack-nhfb,
4735 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4746 journal = j-CACM,
4749 pages = "522--526",
4753 ISSN = "0001-0782",
4756 acknowledgement = ack-nhfb,
4758 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4769 journal = j-CACM,
4772 pages = "527--537",
4776 ISSN = "0001-0782",
4781 acknowledgement = ack-nhfb,
4783 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4794 journal = j-CACM,
4797 pages = "538--541",
4801 ISSN = "0001-0782",
4803 acknowledgement = ack-nhfb,
4805 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4816 journal = j-CACM,
4819 pages = "542--547",
4823 ISSN = "0001-0782",
4829 acknowledgement = ack-nhfb,
4831 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4842 journal = j-CACM,
4845 pages = "548--560",
4849 ISSN = "0001-0782",
4855 acknowledgement = ack-nhfb,
4857 conflocation = "Los Angeles, CA, USA; 23-25 March 1971",
4868 journal = j-CACM,
4871 pages = "573--588",
4875 ISSN = "0001-0782",
4878 acknowledgement = ack-nhfb,
4887 …title = "An Efficient Bit Table Technique for Dynamic Storage Allocation of $2^n$-word Bloc…
4888 journal = j-CACM,
4891 pages = "589--592",
4895 ISSN = "0001-0782",
4897 …abstract = "An efficient bit table technique for dynamic storage allocation of $2^n$-word bloc…
4898 acknowledgement = ack-nhfb,
4908 journal = j-CACM,
4911 pages = "592--592",
4915 ISSN = "0001-0782",
4918 acknowledgement = ack-nhfb,
4924 journal = j-CACM,
4927 pages = "593--597",
4931 ISSN = "0001-0782",
4935 acknowledgement = ack-nhfb,
4936 …annote = "Combinatorial retrieval of multi-attribute subsets, applicable when there are few …
4945 title = "A note on best one-sided approximations",
4946 journal = j-CACM,
4949 pages = "598--600",
4953 ISSN = "0001-0782",
4958 acknowledgement = ack-nhfb,
4961 … of fit; logarithmic; multiplicative constant; one sided approximations; one-sided approximation; …
4967 …title = "A stopping criterion for the {Newton-Raphson} method in implicit multistep integra…
4968 journal = j-CACM,
4971 pages = "600--601",
4975 ISSN = "0001-0782",
4979 acknowledgement = ack-nhfb,
4982 …keywords = "implicit multistep integration; integration; linear multistep formulas; Newton-Rap…
4989 journal = j-CACM,
4992 pages = "602--603",
4996 ISSN = "0001-0782",
4999 acknowledgement = ack-nhfb,
5008 title = "Comment on Cheney's List-Compaction Algorithm",
5009 journal = j-CACM,
5012 pages = "603--604",
5016 ISSN = "0001-0782",
5024 journal = j-CACM,
5027 pages = "617--627",
5031 ISSN = "0001-0782",
5034 acknowledgement = ack-nhfb,
5043 title = "Clarification of {Fortran} Standards --- Second Report",
5044 journal = j-CACM,
5047 pages = "628--642",
5051 ISSN = "0001-0782",
5054 acknowledgement = ack-nhfb,
5063 journal = j-CACM,
5066 pages = "643--650",
5070 ISSN = "0001-0782",
5072 acknowledgement = ack-nhfb,
5073 classcodes = "C7810C (Computer-aided instruction)",
5082 journal = j-CACM,
5085 pages = "651--660",
5089 ISSN = "0001-0782",
5091 acknowledgement = ack-nhfb,
5100 title = "User program measurement in a time-shared environment",
5101 journal = j-CACM,
5104 pages = "661--666",
5108 ISSN = "0001-0782",
5111 …-shared environment. The TX-2 computer at MIT Lincoln Laboratory was used for the implementation o…
5112 acknowledgement = ack-nhfb,
5113 …ption of a hardware and software scheme for measuring user programs in a time-shared environment.",
5119 …; performance improvement; sharing systems; software; technology; time; time-sharing systems; TX2 …
5128 journal = j-CACM,
5131 pages = "667--668",
5135 ISSN = "0001-0782",
5138 acknowledgement = ack-nhfb,
5149 journal = j-CACM,
5152 pages = "669--675",
5156 ISSN = "0001-0782",
5158 acknowledgement = ack-nhfb,
5168 journal = j-CACM,
5171 pages = "697--708",
5175 ISSN = "0001-0782",
5177 acknowledgement = ack-nhfb,
5187 journal = j-CACM,
5190 pages = "709--712",
5194 ISSN = "0001-0782",
5196 acknowledgement = ack-nhfb,
5206 journal = j-CACM,
5209 pages = "713--719",
5213 ISSN = "0001-0782",
5216 …proximately one-fourth to one and one-half percent less reading and writing than most algorithms i…
5217 acknowledgement = ack-nhfb,
5226 title = "Automation of etching-pattern layout",
5227 journal = j-CACM,
5230 pages = "720--730",
5234 ISSN = "0001-0782",
5236 acknowledgement = ack-nhfb,
5237 …classcodes = "B1130B (Computer-aided circuit analysis and design); B2210 (Printed circuits); C74…
5239 …keywords = "computer-aided circuit design; etching; heuristic etching pattern layout; ICs; Lee…
5245 title = "On Accurate Floating-Point Summation",
5246 journal = j-CACM,
5249 pages = "731--736",
5253 ISSN = "0001-0782",
5254 MRclass = "65G05 (68-XX)",
5258 bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
5259 acknowledgement = ack-nj,
5260 acknowledgement = ack-nhfb,
5270 journal = j-CACM,
5273 pages = "737--746",
5277 ISSN = "0001-0782",
5280 acknowledgement = ack-nhfb,
5290 journal = j-CACM,
5293 pages = "759--768",
5297 ISSN = "0001-0782",
5300 …-ray photography) in which it is desirable to estimate the gray levels of a digital picture at the…
5301 acknowledgement = ack-nhfb,
5304 …; projections; reconstruction of pictures; stereology; techniques; X-ray analysis; X-ray photograp…
5311 journal = j-CACM,
5314 pages = "769--774",
5318 ISSN = "0001-0782",
5320 … illustrated. The choices are generated by encoding data strings-sequence of like codes-by three m…
5321 acknowledgement = ack-nhfb,
5330 title = "Retrieval-Update Speed Trade-offs Using Combined Indexes",
5331 journal = j-CACM,
5334 pages = "775--776",
5338 ISSN = "0001-0782",
5341 acknowledgement = ack-nhfb,
5346 xxtitle = "Retrieval-update speed tradeoffs using combined indices",
5352 journal = j-CACM,
5355 pages = "777--779",
5359 ISSN = "0001-0782",
5362 acknowledgement = ack-nhfb,
5372 journal = j-CACM,
5375 pages = "780--790",
5379 ISSN = "0001-0782",
5385 …r use in writing production software systems for a specific machine (the PDP-10): compilers, opera…
5386 acknowledgement = ack-nhfb,
5388 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
5397 journal = j-CACM,
5400 pages = "791--795",
5404 ISSN = "0001-0782",
5407 acknowledgement = ack-nhfb,
5416 title = "A note on `a modification of {Nordsieck}'s method using an ``off-step'' point'",
5417 journal = j-CACM,
5420 pages = "796--796",
5424 ISSN = "0001-0782",
5426 acknowledgement = ack-nhfb,
5429 …thod; numerical methods; off error; ordinary differential equations; predictor; predictor-; round",
5434 author = "Sven-{\AA}ke A. Gustafson",
5436 journal = j-CACM,
5439 pages = "797--801",
5443 ISSN = "0001-0782",
5448 acknowledgement = ack-nhfb,
5456 author = "Fran{\c{c}}ois Bourgeois and Jean-Claude Lassalle",
5458 journal = j-CACM,
5461 pages = "802--804",
5465 ISSN = "0001-0782",
5470 acknowledgement = ack-nhfb,
5480 journal = j-CACM,
5483 pages = "805--806",
5487 ISSN = "0001-0782",
5489 acknowledgement = ack-nhfb,
5497 author = "Sven-{\AA}ke Gustafson",
5499 journal = j-CACM,
5502 pages = "806--807",
5506 ISSN = "0001-0782",
5511 acknowledgement = ack-nhfb,
5519 author = "Sven-{\AA}ke Gustafson",
5521 journal = j-CACM,
5524 pages = "807--807",
5528 ISSN = "0001-0782",
5533 acknowledgement = ack-nhfb,
5542 journal = j-CACM,
5545 pages = "80--93",
5549 ISSN = "0001-0782",
5556 journal = j-CACM,
5563 ISSN = "0001-0782",
5571 title = "Algorithm 432: The Solution of the Matrix Equation {$AX -+BX = C$}",
5572 journal = j-CACM,
5575 pages = "820--826",
5579 ISSN = "0001-0782",
5583 acknowledgement = ack-nhfb,
5590 title = "Pictorial pattern recognition and the phase problem of {X}-ray crystallography",
5591 journal = j-CACM,
5594 pages = "3--6",
5598 ISSN = "0001-0782",
5600 acknowledgement = ack-nhfb,
5601 …raphy); A6150 (Crystalline state); B6140C (Optical information, image and video signal processing)…
5603 …on; phase problem; physics; pictorial pattern recognition; structural; X-ray; X-ray crystallograph…
5610 journal = j-CACM,
5613 pages = "7--10",
5617 ISSN = "0001-0782",
5619 …-by-two elements), the parallel nature of the process, and the possibility of shrinking any patter…
5620 acknowledgement = ack-nhfb,
5621 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
5630 journal = j-CACM,
5633 pages = "11--15",
5637 ISSN = "0001-0782",
5640 … lines in pictures. This paper points out that the use of angle-radius rather than slope-intercept…
5641 acknowledgement = ack-nhfb,
5642 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
5644 …ion; line detection; pattern recognition; picture processing; pictures; point-line transformation",
5651 journal = j-CACM,
5654 pages = "16--20",
5658 ISSN = "0001-0782",
5660 acknowledgement = ack-nhfb,
5670 journal = j-CACM,
5673 pages = "21--28",
5677 ISSN = "0001-0782",
5679 acknowledgement = ack-nhfb,
5680 classcodes = "C7810C (Computer-aided instruction)",
5689 journal = j-CACM,
5692 pages = "28--28",
5696 ISSN = "0001-0782",
5704 journal = j-CACM,
5707 pages = "29--40",
5711 ISSN = "0001-0782",
5713 acknowledgement = ack-nhfb,
5723 journal = j-CACM,
5726 pages = "41--45",
5730 ISSN = "0001-0782",
5732 acknowledgement = ack-nhfb,
5741 …title = "Ordering +or-f(+or-f(+or-f(\ldots{}+or-f(x)\ldots{}))) when f(x) is positive monot…
5742 journal = j-CACM,
5745 pages = "45--46",
5749 ISSN = "0001-0782",
5751 acknowledgement = ack-nhfb,
5759 journal = j-CACM,
5762 pages = "47--48",
5766 ISSN = "0001-0782",
5768 acknowledgement = ack-nhfb,
5777 title = "A Proposal for a Computer-Based Interactive Scientific Community",
5778 journal = j-CACM,
5781 pages = "71--75",
5785 ISSN = "0001-0782",
5788 acknowledgement = ack-nhfb,
5799 journal = j-CACM,
5802 pages = "76--87",
5806 ISSN = "0001-0782",
5808 acknowledgement = ack-nhfb,
5810 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
5811 …keywords = "ALGOL; architects; CAD; computer language; computer-aided design; engineering; ext…
5818 journal = j-CACM,
5821 pages = "88--93",
5825 ISSN = "0001-0782",
5828 acknowledgement = ack-nhfb,
5838 journal = j-CACM,
5841 pages = "94--96",
5845 ISSN = "0001-0782",
5847 acknowledgement = ack-nhfb,
5857 journal = j-CACM,
5860 pages = "97--99",
5864 ISSN = "0001-0782",
5866 acknowledgement = ack-nhfb,
5875 title = "{ACM} Algorithm 420: Hidden-Line Plotting Program",
5876 journal = j-CACM,
5879 pages = "100--103",
5883 ISSN = "0001-0782",
5886 acknowledgement = ack-nhfb,
5897 journal = j-CACM,
5900 pages = "104--113",
5904 ISSN = "0001-0782",
5906 acknowledgement = ack-nhfb,
5916 journal = j-CACM,
5919 pages = "113--113",
5923 ISSN = "0001-0782",
5931 journal = j-CACM,
5934 pages = "113--113",
5938 ISSN = "0001-0782",
5946 journal = j-CACM,
5949 pages = "??--??",
5953 ISSN = "0001-0782",
5955 acknowledgement = ack-nhfb,
5957 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
5966 title = "{TENEX}, {A} Paged Time-Sharing System for the {PDP-10}",
5967 journal = j-CACM,
5970 pages = "135--143",
5974 ISSN = "0001-0782",
5977 acknowledgement = ack-nhfb,
5980 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
5983 keywords = "minicomputers; paged time sharing system; PDP 10; TENEX; time-sharing programs",
5991 journal = j-CACM,
5994 pages = "144--149",
5998 ISSN = "0001-0782",
6001 acknowledgement = ack-nhfb,
6003 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6014 journal = j-CACM,
6017 pages = "150--156",
6021 ISSN = "0001-0782",
6023 acknowledgement = ack-nhfb,
6025 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6036 journal = j-CACM,
6039 pages = "157--170",
6043 ISSN = "0001-0782",
6046 acknowledgement = ack-nhfb,
6048 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6059 journal = j-CACM,
6062 pages = "171--176",
6066 ISSN = "0001-0782",
6069 acknowledgement = ack-nhfb,
6071 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6073 corpsource = "Carnegie-Mellon Univ., Pittsburg, PA, USA",
6081 journal = j-CACM,
6084 pages = "177--184",
6088 ISSN = "0001-0782",
6091 acknowledgement = ack-nhfb,
6094 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6105 journal = j-CACM,
6108 pages = "185--190",
6112 ISSN = "0001-0782",
6115 acknowledgement = ack-nhfb,
6117 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6127 title = "Properties of the working-set model",
6128 journal = j-CACM,
6131 pages = "191--198",
6135 ISSN = "0001-0782",
6141 …-set size, the missing-page rate, and the interreference-interval distribution may be derived both…
6142 acknowledgement = ack-nhfb,
6144 conflocation = "Palo Alto, CA, USA; 18-20 Oct. 1971",
6147 keywords = "paging; paging algorithms; program behavior; program modeling; working-set model",
6156 journal = j-CACM,
6159 pages = "211--220",
6163 ISSN = "0001-0782",
6166 acknowledgement = ack-nhfb,
6176 journal = j-CACM,
6179 pages = "221--230",
6183 ISSN = "0001-0782",
6186 … "Reproduced in ``Advances in Computer Communications'', W. W. Chu, (Ed.), (1974), 340--349.",
6187 …abstract = "A system of communication between processes in a time-sharing system is described …
6188 acknowledgement = ack-nhfb,
6189 …annote = "A system of communication between processes in a time-sharing system is described …
6195 …ion; interprocess communication; resource sharing; time sharing; time-sharing; time-sharing system…
6204 journal = j-CACM,
6207 pages = "231--244",
6211 ISSN = "0001-0782",
6213 acknowledgement = ack-nhfb,
6223 journal = j-CACM,
6226 pages = "245--252",
6230 ISSN = "0001-0782",
6235 …abstract = "A method is presented of determining which parts of three-dimensional objects are …
6236 acknowledgement = ack-nhfb,
6238 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
6246 journal = j-CACM,
6249 pages = "253--256",
6253 ISSN = "0001-0782",
6255 acknowledgement = ack-nhfb,
6265 journal = j-CACM,
6268 pages = "257--261",
6272 ISSN = "0001-0782",
6275 acknowledgement = ack-nhfb,
6285 journal = j-CACM,
6288 pages = "262--267",
6292 ISSN = "0001-0782",
6294 acknowledgement = ack-nhfb,
6304 journal = j-CACM,
6307 pages = "268--270",
6311 ISSN = "0001-0782",
6314 acknowledgement = ack-nhfb,
6324 journal = j-CACM,
6327 pages = "271--272",
6331 ISSN = "0001-0782",
6336 acknowledgement = ack-nhfb,
6345 journal = j-CACM,
6348 pages = "273--274",
6352 ISSN = "0001-0782",
6355 acknowledgement = ack-nhfb,
6364 journal = j-CACM,
6367 pages = "274--274",
6371 ISSN = "0001-0782",
6373 acknowledgement = ack-nhfb,
6381 title = "A Note on {Cheney}'s Nonrecursive List-Compacting Algorithm",
6382 journal = j-CACM,
6385 pages = "275--275",
6389 ISSN = "0001-0782",
6391 acknowledgement = ack-nhfb,
6393 corpsource = "A/S Norsk Data-Elektronikk, Oslo, Norway",
6400 key = "file searching, double-chained tree, binary search tree",
6401 title = "A Comment on the Double-Chained Tree",
6402 journal = j-CACM,
6405 pages = "276--276",
6409 ISSN = "0001-0782",
6411 acknowledgement = ack-nhfb,
6420 title = "An Improved Indexed-Sequential Access Method Using Hashed Overflow",
6421 journal = j-CACM,
6424 pages = "301--307",
6428 ISSN = "0001-0782",
6431 acknowledgement = ack-nhfb,
6441 journal = j-CACM,
6444 pages = "308--318",
6448 ISSN = "0001-0782",
6451 acknowledgement = ack-nhfb,
6460 title = "{MUX}, a simple approach to on-line computing",
6461 journal = j-CACM,
6464 pages = "319--329",
6468 ISSN = "0001-0782",
6470 acknowledgement = ack-nhfb,
6473 …cost; design criteria; economics; implementation; input; modify files; multi-access systems; multi…
6480 journal = j-CACM,
6483 pages = "330--336",
6487 ISSN = "0001-0782",
6490 acknowledgement = ack-nhfb,
6492 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
6499 title = "Implementing {Clenshaw-Curtis} quadrature. {I}. Methodology and experience",
6500 journal = j-CACM,
6503 pages = "337--342",
6507 ISSN = "0001-0782",
6513 …abstract = "Clenshaw-Curtis quadrature is a particularly important automatic quadrature scheme…
6514 acknowledgement = ack-nhfb,
6517 …keywords = "automatic quadrature; Chebyshev series; Clenshaw Curtis; Clenshaw-Curtis quadratur…
6523 …title = "Implementing {Clenshaw-Curtis} quadrature. {II}. Computing the cosine transformati…
6524 journal = j-CACM,
6527 pages = "343--346",
6531 ISSN = "0001-0782",
6536 …-Curtis quadrature scheme was described and how each quadrature formula used in the scheme require…
6537 acknowledgement = ack-nhfb,
6540 …keywords = "Chebyshev series; Clenshaw Curtis quadrature; Clenshaw-Curtis quadrature; cosine; …
6546 title = "Fast finite-difference solution of biharmonic problems",
6547 journal = j-CACM,
6550 pages = "347--350",
6554 ISSN = "0001-0782",
6558 …-Strokes equations numerically, results in a fast numerical method for biharmonic problems. The eq…
6559 acknowledgement = ack-nhfb,
6563 …keywords = "biharmonic problems; boundary value problem; boundary-value problems; convergence;…
6570 journal = j-CACM,
6573 pages = "351--351",
6577 ISSN = "0001-0782",
6579 acknowledgement = ack-nhfb,
6589 journal = j-CACM,
6592 pages = "352--352",
6596 ISSN = "0001-0782",
6600 acknowledgement = ack-nhfb,
6608 title = "{ACM} Algorithm 424: {Clenshaw-Curtis} Quadrature",
6609 journal = j-CACM,
6612 pages = "353--355",
6616 ISSN = "0001-0782",
6619 acknowledgement = ack-nhfb,
6629 journal = j-CACM,
6632 pages = "355--357",
6636 ISSN = "0001-0782",
6638 acknowledgement = ack-nhfb,
6648 journal = j-CACM,
6651 pages = "357--358",
6655 ISSN = "0001-0782",
6657 acknowledgement = ack-nhfb,
6667 journal = j-CACM,
6670 pages = "358--360",
6674 ISSN = "0001-0782",
6676 acknowledgement = ack-nhfb,
6685 title = "{ACM} Algorithm 428: {Hu-Tucker} Minimum Redundancy Alphabetic Coding Method",
6686 journal = j-CACM,
6689 pages = "360--362",
6693 ISSN = "0001-0782",
6695 acknowledgement = ack-nhfb,
6705 journal = j-CACM,
6708 pages = "363--398",
6712 ISSN = "0001-0782",
6715 acknowledgement = ack-nhfb,
6723 title = "On the optimization of performance of time-sharing systems by simulation",
6724 journal = j-CACM,
6727 pages = "411--420",
6731 ISSN = "0001-0782",
6733 acknowledgement = ack-nhfb,
6736 …grams; sharing systems; simulation; slice techniques; store size; time; time-sharing; variable tim…
6743 journal = j-CACM,
6746 pages = "421--426",
6750 ISSN = "0001-0782",
6752 acknowledgement = ack-nhfb,
6761 journal = j-CACM,
6764 pages = "427--437",
6768 ISSN = "0001-0782",
6771 acknowledgement = ack-nhfb,
6780 title = "Blocks-a new datatype for {SNOBOL} 4",
6781 journal = j-CACM,
6784 pages = "438--447",
6788 ISSN = "0001-0782",
6790 acknowledgement = ack-nhfb,
6800 journal = j-CACM,
6803 pages = "448--454",
6807 ISSN = "0001-0782",
6812 acknowledgement = ack-nhfb,
6815 …ean functions; boolean matrix method; conflict free matrix; context; context-free grammars; free p…
6822 journal = j-CACM,
6825 pages = "455--459",
6829 ISSN = "0001-0782",
6832 acknowledgement = ack-nhfb,
6842 journal = j-CACM,
6845 pages = "460--461",
6849 ISSN = "0001-0782",
6851 acknowledgement = ack-nhfb,
6861 journal = j-CACM,
6864 pages = "462--464",
6868 ISSN = "0001-0782",
6870 …abstract = "A technique for proving min-max norms of sorting algorithms is given. One new algo…
6871 acknowledgement = ack-nhfb,
6881 journal = j-CACM,
6884 pages = "465--466",
6888 ISSN = "0001-0782",
6890 acknowledgement = ack-nhfb,
6900 journal = j-CACM,
6903 pages = "466--466",
6907 ISSN = "0001-0782",
6909 acknowledgement = ack-nhfb,
6919 journal = j-CACM,
6922 pages = "467--468",
6926 ISSN = "0001-0782",
6929 acknowledgement = ack-nhfb,
6944 journal = j-CACM,
6947 pages = "468--468",
6951 ISSN = "0001-0782",
6953 acknowledgement = ack-nhfb,
6963 journal = j-CACM,
6966 pages = "468--469",
6970 ISSN = "0001-0782",
6972 acknowledgement = ack-nhfb,
6982 journal = j-CACM,
6985 pages = "469--469",
6989 ISSN = "0001-0782",
6991 acknowledgement = ack-nhfb,
7001 journal = j-CACM,
7004 pages = "469--469",
7008 ISSN = "0001-0782",
7010 acknowledgement = ack-nhfb,
7019 title = "Computer Science --- {A} Vicious Circle",
7020 journal = j-CACM,
7023 pages = "470--471",
7027 ISSN = "0001-0782",
7029 acknowledgement = ack-nhfb,
7039 journal = j-CACM,
7042 pages = "472--473",
7046 ISSN = "0001-0782",
7048 acknowledgement = ack-nhfb,
7049 classcodes = "C0220 (Computing education and training); C7810C (Computer-aided instruction)",
7057 …title = "{ACM} Algorithm 438: Product Type Two-point {Gauss-Legendre-Simpson}'s Integration…
7058 journal = j-CACM,
7065 ISSN = "0001-0782",
7071 title = "The first twenty-five years {ACM} 1947--1962",
7072 journal = j-CACM,
7075 pages = "485--490",
7079 ISSN = "0001-0782",
7080 MRclass = "68-03",
7083 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7084 acknowledgement = ack-nhfb,
7090 journal = j-CACM,
7093 pages = "491--497",
7097 ISSN = "0001-0782",
7098 MRclass = "68-03",
7101 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7102 acknowledgement = ack-nhfb,
7111 journal = j-CACM,
7114 pages = "501--505",
7118 ISSN = "0001-0782",
7121 acknowledgement = ack-nhfb,
7131 journal = j-CACM,
7134 pages = "506--517",
7138 ISSN = "0001-0782",
7140 acknowledgement = ack-nhfb,
7149 journal = j-CACM,
7152 pages = "521--527",
7156 ISSN = "0001-0782",
7161 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7162 acknowledgement = ack-nhfb,
7172 journal = j-CACM,
7175 pages = "528--536",
7179 ISSN = "0001-0782",
7182 mrreviewer = "Andrea Maggiolo-Schettini",
7185 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7187 acknowledgement = ack-nhfb,
7197 journal = j-CACM,
7200 pages = "537--541",
7204 ISSN = "0001-0782",
7205 MRclass = "65-03",
7209 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7210 acknowledgement = ack-nhfb,
7212 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
7220 journal = j-CACM,
7223 pages = "542--549",
7227 ISSN = "0001-0782",
7231 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7232 acknowledgement = ack-nhfb,
7242 journal = j-CACM,
7245 pages = "550--556 (or 550--554??)",
7249 ISSN = "0001-0782",
7250 MRclass = "34-02 12H05",
7254 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7255 acknowledgement = ack-nhfb,
7264 journal = j-CACM,
7267 pages = "557--565",
7271 ISSN = "0001-0782",
7273 acknowledgement = ack-nhfb,
7283 journal = j-CACM,
7286 pages = "566--573",
7290 ISSN = "0001-0782",
7293 abstract = "Reproduced in Advances in Computer Commun., Chu,W.W (Ed.), (1974), 246-253.",
7294 acknowledgement = ack-nhfb,
7304 journal = j-CACM,
7307 pages = "574--578",
7311 ISSN = "0001-0782",
7314 acknowledgement = ack-nhfb,
7326 journal = j-CACM,
7329 pages = "579--585",
7333 ISSN = "0001-0782",
7335 acknowledgement = ack-nhfb,
7345 journal = j-CACM,
7348 pages = "586--590",
7352 ISSN = "0001-0782",
7354 acknowledgement = ack-nhfb,
7363 title = "Programming Systems and Languages (1965--1975)",
7364 journal = j-CACM,
7367 pages = "591--600",
7371 ISSN = "0001-0782",
7373 …anguages, but so far at least they have had little practical impact. Problem-oriented languages ma…
7374 acknowledgement = ack-nhfb,
7384 journal = j-CACM,
7387 pages = "601--610",
7391 ISSN = "0001-0782",
7394 acknowledgement = ack-nhfb,
7404 journal = j-CACM,
7407 pages = "611--617",
7411 ISSN = "0001-0782",
7413 acknowledgement = ack-nhfb,
7423 journal = j-CACM,
7426 pages = "618--627",
7430 ISSN = "0001-0782",
7433 acknowledgement = ack-nhfb,
7442 journal = j-CACM,
7445 pages = "628--634",
7449 ISSN = "0001-0782",
7452 acknowledgement = ack-nhfb,
7463 journal = j-CACM,
7466 pages = "637--639",
7470 ISSN = "0001-0782",
7472 acknowledgement = ack-nhfb,
7482 journal = j-CACM,
7485 pages = "640--643",
7489 ISSN = "0001-0782",
7492 acknowledgement = ack-nhfb,
7502 journal = j-CACM,
7505 pages = "644--647",
7509 ISSN = "0001-0782",
7511 acknowledgement = ack-nhfb,
7521 journal = j-CACM,
7524 pages = "648--651",
7528 ISSN = "0001-0782",
7530 acknowledgement = ack-nhfb,
7531 classcodes = "C7810C (Computer-aided instruction)",
7540 journal = j-CACM,
7543 pages = "652--657",
7547 ISSN = "0001-0782",
7549 acknowledgement = ack-nhfb,
7559 journal = j-CACM,
7562 pages = "658--668",
7566 ISSN = "0001-0782",
7568 acknowledgement = ack-nhfb,
7578 journal = j-CACM,
7581 pages = "671--677",
7585 ISSN = "0001-0782",
7588 …note = "Twenty-fifth anniversary of the Association for Computing Machinery. See errata \c…
7589 acknowledgement = ack-nhfb,
7599 journal = j-CACM,
7602 pages = "678--685",
7606 ISSN = "0001-0782",
7607 MRclass = "68A05 (68-03)",
7610 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7611 acknowledgement = ack-nhfb,
7621 journal = j-CACM,
7624 pages = "686--692",
7628 ISSN = "0001-0782",
7629 MRclass = "68-03",
7632 note = "Twenty-fifth anniversary of the Association for Computing Machinery.",
7633 acknowledgement = ack-nhfb,
7642 title = "Archaeology of computers --- reminiscences, 1945--1947",
7643 journal = j-CACM,
7646 pages = "693--694",
7650 ISSN = "0001-0782",
7651 MRclass = "68-03",
7654 note = "Twenty-fifth anniversary of the Association for Computing Machinery",
7655 acknowledgement = ack-nhfb,
7665 journal = j-CACM,
7668 pages = "695--702",
7672 ISSN = "0001-0782",
7674 acknowledgement = ack-nhfb,
7684 journal = j-CACM,
7687 pages = "719--720",
7691 ISSN = "0001-0782",
7696 acknowledgement = ack-nhfb,
7702 journal = j-CACM,
7705 pages = "721--726",
7709 ISSN = "0001-0782",
7710 MRclass = "01A70 (68-03)",
7714 acknowledgement = ack-nhfb,
7720 journal = j-CACM,
7723 pages = "728--734",
7727 ISSN = "0001-0782",
7733 … affix grammars, suggests a top-down scheme for parsing them, based on recursive procedures. This …
7734 acknowledgement = ack-nhfb,
7739 …s; algorithmic language processing; algorithmic languages; automata theory --- Grammars; bottom up…
7746 journal = j-CACM,
7749 pages = "735--741",
7753 ISSN = "0001-0782",
7757 acknowledgement = ack-nhfb,
7769 journal = j-CACM,
7772 pages = "742--747",
7776 ISSN = "0001-0782",
7780 acknowledgement = ack-nhfb,
7785 …ming --- Macros; computer systems programming --- Supervisory and Executive Programs; context sear…
7792 journal = j-CACM,
7795 pages = "748--760",
7799 ISSN = "0001-0782",
7803 acknowledgement = ack-nhfb,
7815 journal = j-CACM,
7818 pages = "761--771",
7822 ISSN = "0001-0782",
7828 …-frames of main memory allocated to a problem program varies in time. These changes in memory conf…
7829 acknowledgement = ack-nhfb,
7834 …ntion; modelling; multiprogrammed; operating; paging machines; probability --- Queueing Theory; qu…
7840 title = "Compiling fixed-point multiplications",
7841 journal = j-CACM,
7844 pages = "772--772",
7848 ISSN = "0001-0782",
7850 acknowledgement = ack-nhfb,
7860 journal = j-CACM,
7863 pages = "772--772",
7867 ISSN = "0001-0782",
7869 acknowledgement = ack-nhfb,
7879 journal = j-CACM,
7882 pages = "773--773",
7886 ISSN = "0001-0782",
7889 acknowledgement = ack-nhfb,
7899 journal = j-CACM,
7902 pages = "774--774",
7906 ISSN = "0001-0782",
7908 acknowledgement = ack-nhfb,
7917 journal = j-CACM,
7920 pages = "775--775",
7924 ISSN = "0001-0782",
7930 acknowledgement = ack-nhfb,
7940 journal = j-CACM,
7943 pages = "776--777",
7947 ISSN = "0001-0782",
7954 journal = j-CACM,
7957 pages = "777--778",
7961 ISSN = "0001-0782",
7968 journal = j-CACM,
7971 pages = "789--801",
7975 ISSN = "0001-0782",
7978 … of nodes in the graph. Straightforward cellular implementations of the well-known serial algorith…
7979 acknowledgement = ack-nhfb,
7984 …ta storage, digital; graph problems; graph theory; mathematical techniques --- Graph Theory; speci…
7990 title = "File Organization --- The Consecutive Retrieval Property",
7991 journal = j-CACM,
7994 pages = "802--808",
7998 ISSN = "0001-0782",
8002 acknowledgement = ack-nhfb,
8014 journal = j-CACM,
8017 pages = "809--812",
8021 ISSN = "0001-0782",
8024 … containing normal contour lines only, it suffices to distinguish between so-called ``even'' and `…
8025 acknowledgement = ack-nhfb,
8028 corpsource = "Israeli Min. Defense, Tel-Aviv, Israel",
8037 journal = j-CACM,
8040 pages = "813--817",
8044 ISSN = "0001-0782",
8049 …-precision floating-point arithmetic operations. An automatic error analysis technique is given fo…
8050 acknowledgement = ack-nhfb,
8062 journal = j-CACM,
8065 pages = "818--820",
8069 ISSN = "0001-0782",
8076 journal = j-CACM,
8079 pages = "820--826",
8083 ISSN = "0001-0782",
8092 journal = j-CACM,
8095 pages = "827--837",
8099 ISSN = "0001-0782",
8103 acknowledgement = ack-nhfb,
8108 …keywords = "arrays; computation theory; computer programming --- Subroutines; data handling; i…
8115 journal = j-CACM,
8118 pages = "838--838",
8122 ISSN = "0001-0782",
8124 …bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt and ftp://ftp.ira.uka.de/pub/bibliography…
8125 acknowledgement = ack-nj # " and " # ack-nhfb,
8136 journal = j-CACM,
8139 pages = "839--839",
8143 ISSN = "0001-0782",
8147 acknowledgement = ack-nhfb,
8157 journal = j-CACM,
8160 pages = "840--841",
8164 ISSN = "0001-0782",
8166 acknowledgement = ack-nhfb,
8168 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
8169 …multiprogramming; resource allocation; scheduling; time sharing; time-sharing; time-sharing system…
8176 journal = j-CACM,
8179 pages = "841--842",
8183 ISSN = "0001-0782",
8185 acknowledgement = ack-nhfb,
8195 journal = j-CACM,
8198 pages = "843--843",
8202 ISSN = "0001-0782",
8205 acknowledgement = ack-nhfb,
8210 xxnote = "Check cross-reference??",
8216 journal = j-CACM,
8219 pages = "859--866",
8223 ISSN = "0001-0782",
8232 journal = j-CACM,
8235 pages = "867--872",
8239 ISSN = "0001-0782",
8243 acknowledgement = ack-nhfb,
8255 journal = j-CACM,
8258 pages = "873--882",
8262 ISSN = "0001-0782",
8269 acknowledgement = ack-nhfb,
8286 journal = j-CACM,
8289 pages = "883--890",
8293 ISSN = "0001-0782",
8300 acknowledgement = ack-nhfb,
8312 journal = j-CACM,
8315 pages = "891--905",
8319 ISSN = "0001-0782",
8322 …g English sentences from a form of semantic nets in which the nodes are word-sense meanings and th…
8323 acknowledgement = ack-nhfb,
8328 …g languages --- lisp; data processing --- Humanities Applications; deep case relations; English se…
8335 journal = j-CACM,
8338 pages = "906--909",
8342 ISSN = "0001-0782",
8346 acknowledgement = ack-nhfb,
8358 journal = j-CACM,
8361 pages = "910--913",
8365 ISSN = "0001-0782",
8369 acknowledgement = ack-nhfb,
8374 …keywords = "CACM; computer programming --- Subroutines; computer systems programming; natural …
8381 journal = j-CACM,
8384 pages = "913--913",
8388 ISSN = "0001-0782",
8396 journal = j-CACM,
8399 pages = "914--918",
8403 ISSN = "0001-0782",
8411 journal = j-CACM,
8414 pages = "941--948",
8418 ISSN = "0001-0782",
8421 …methods represented include multistep methods (predictor-correctors), single-step methods (Runge-K…
8422 acknowledgement = ack-nhfb,
8427 …ion methods; mathematical techniques --- Differential Equations; mathematical techniques --- Integ…
8433 title = "Algorithms to Reveal Properties of Floating-Point Arithmetic",
8434 journal = j-CACM,
8437 pages = "949--951",
8441 ISSN = "0001-0782",
8445 …-point numbers and whether rounding or chopping is done by the machine on which it is run. The met…
8446 acknowledgement = ack-nhfb,
8451 …ramming languages --- Fortran; digital arithmetic; digits; floating point arithmetic; Fortran subr…
8458 journal = j-CACM,
8461 pages = "952--955",
8465 ISSN = "0001-0782",
8471 acknowledgement = ack-nhfb,
8476 …anteed convergence; highly; mathematical techniques --- Poles and Zeros; mathematical techniques -…
8482 title = "Model for Type Checking --- with an Application to {Algol 60}",
8483 journal = j-CACM,
8486 pages = "956--966",
8490 ISSN = "0001-0782",
8493 …-calculus, which characterizes the type relations within the program and eliminates all other info…
8494 acknowledgement = ack-nhfb,
8506 journal = j-CACM,
8509 pages = "967--973",
8513 ISSN = "0001-0782",
8516 …-effects. a translator is defined which translates the language into flowcharts for a simple machi…
8517 acknowledgement = ack-nhfb,
8528 …title = "Conversion of Limited-Entry Decision Tables to Optimal and Near-Optimal Flowcharts…
8529 journal = j-CACM,
8532 pages = "974--980",
8536 ISSN = "0001-0782",
8539 …first derived for treating decision tables not containing an ELSE-rule, but the optimum-approachin…
8540 acknowledgement = ack-nhfb,
8545 …keywords = "algorithm; computer programming --- Subroutines; computer programming languages; c…
8552 journal = j-CACM,
8555 pages = "981--986",
8559 ISSN = "0001-0782",
8563 acknowledgement = ack-nhfb,
8568 …keywords = "computer operating systems --- Storage Allocation; computer programming languages;…
8575 journal = j-CACM,
8578 pages = "987--990",
8582 ISSN = "0001-0782",
8585 …mory, and is easy to use is developed. The method, which uses a uniform zero-one random number sou…
8586 acknowledgement = ack-nhfb,
8598 journal = j-CACM,
8601 pages = "991--992",
8605 ISSN = "0001-0782",
8613 journal = j-CACM,
8616 pages = "993--995",
8620 ISSN = "0001-0782",
8627 …title = "Additional results on key-to-address transform techniques: a fundamental performan…
8628 journal = j-CACM,
8631 pages = "996--997",
8635 ISSN = "0001-0782",
8637 acknowledgement = ack-nhfb,
8646 title = "A note on optimal doubly-chained trees",
8647 journal = j-CACM,
8650 pages = "997--998",
8654 ISSN = "0001-0782",
8656 acknowledgement = ack-nhfb,
8666 journal = j-CACM,
8669 pages = "999--999",
8673 ISSN = "0001-0782",
8676 acknowledgement = ack-nhfb,
8686 journal = j-CACM,
8689 pages = "1000--1001",
8693 ISSN = "0001-0782",
8695 acknowledgement = ack-nhfb,
8705 journal = j-CACM,
8708 pages = "1023--1032",
8712 ISSN = "0001-0782",
8716 acknowledgement = ack-nhfb,
8719 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
8721 …uages; array partitioning; computer programming languages; data processing --- Data Structures; da…
8728 journal = j-CACM,
8731 pages = "1033--1039",
8735 ISSN = "0001-0782",
8738 … a scheme for symbolic manipulation of index expressions which arise as a by-product of the symbol…
8739 acknowledgement = ack-nhfb,
8751 journal = j-CACM,
8754 pages = "1040--1044",
8758 ISSN = "0001-0782",
8762 acknowledgement = ack-nhfb,
8767 … "ALGOL; computer operating systems --- Program Compilers; computer programming languages; data…
8774 journal = j-CACM,
8777 pages = "1045--1047",
8781 ISSN = "0001-0782",
8785 acknowledgement = ack-nhfb,
8797 journal = j-CACM,
8800 pages = "1048--1049",
8804 ISSN = "0001-0782",
8806 acknowledgement = ack-nhfb,
8816 journal = j-CACM,
8819 pages = "1050--1052",
8823 ISSN = "0001-0782",
8827 acknowledgement = ack-nhfb,
8839 journal = j-CACM,
8842 pages = "1053--1058",
8846 ISSN = "0001-0782",
8850 acknowledgement = ack-nhfb,
8853 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
8862 journal = j-CACM,
8865 pages = "1059--1062",
8869 ISSN = "0001-0782",
8872 …-independent language and then to map this language, often using a macro processor, into the assem…
8873 acknowledgement = ack-nhfb,
8884 …title = "Trace-Driven Modeling and Analysis of {CPU} Scheduling in a Multiprogramming Syste…
8885 journal = j-CACM,
8888 pages = "1063--1069",
8892 ISSN = "0001-0782",
8895 …thods, the traditional methods of multiprogramming theory, round-robin, first-come-first-served, a…
8896 acknowledgement = ack-nhfb,
8908 journal = j-CACM,
8911 pages = "1070--1070",
8915 ISSN = "0001-0782",
8922 journal = j-CACM,
8925 pages = "1070--1071",
8929 ISSN = "0001-0782",
8935 …title = "{ACM} Algorithm 439: Product Type Three-point {Gauss-Legendre-Simpson}'s Integrati…
8936 journal = j-CACM,
8943 ISSN = "0001-0782",
8949 title = "Corrigendum: ``{Properties of the working-set model}''",
8950 journal = j-CACM,
8953 pages = "191--198",
8957 ISSN = "0001-0782",
8964 title = "A Queuing Model of a Multiprogrammed Computer with a Two-Level Storage System",
8965 journal = j-CACM,
8968 pages = "3--10",
8972 ISSN = "0001-0782",
8978 …with a two-level storage system in which there is sequential dependency of accesses between the de…
8979 acknowledgement = ack-nhfb,
8984 …keywords = "computer systems programming --- Multiprogramming; data storage, digital; dependen…
8990 title = "The Reallocation of Hash-Coded Tables",
8991 journal = j-CACM,
8994 pages = "11--14",
8998 ISSN = "0001-0782",
9001 …-coded table is altered, the table entries must be rescattered over the new space. A technique for…
9002 acknowledgement = ack-nhfb,
9016 journal = j-CACM,
9019 pages = "15--21",
9023 ISSN = "0001-0782",
9026 …ram from another's malfunctioning are described. Function-producing functions and various type-tag…
9027 acknowledgement = ack-nhfb,
9039 journal = j-CACM,
9042 pages = "22--26",
9046 ISSN = "0001-0782",
9053 acknowledgement = ack-nhfb,
9056 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
9065 journal = j-CACM,
9068 pages = "27--37",
9072 ISSN = "0001-0782",
9076 acknowledgement = ack-nhfb,
9087 title = "Variable-Precision Exponentiation",
9088 journal = j-CACM,
9091 pages = "38--40",
9095 ISSN = "0001-0782",
9101 …-precision arithmetic operations. The Recomputation Algorithm can be applied to expressions involv…
9102 acknowledgement = ack-nhfb,
9107 …nentiation; interval arithmetic; mathematical programming; variable precision; variable-precision",
9113 title = "Reduction of a Band-Symmetric Generalized Eigenvalue Problem",
9114 journal = j-CACM,
9117 pages = "41--44",
9121 ISSN = "0001-0782",
9127 …-by-m blocks; and the algorithm is described in terms of these blocks. The algorithm reduces the g…
9128 acknowledgement = ack-nhfb,
9133 …keywords = "computer programming --- Subroutines; generalized eigenvalues; mathematical techni…
9141 title = "The practical aspect of computer science education --- discussion",
9142 journal = j-CACM,
9145 pages = "45--46",
9149 ISSN = "0001-0782",
9151 acknowledgement = ack-nhfb,
9160 title = "A note on when to chain overflow items within a direct-access table",
9161 journal = j-CACM,
9164 pages = "46--47",
9168 ISSN = "0001-0782",
9170 acknowledgement = ack-nhfb,
9180 journal = j-CACM,
9183 pages = "47--48",
9187 ISSN = "0001-0782",
9189 acknowledgement = ack-nhfb,
9199 journal = j-CACM,
9202 pages = "49--50",
9206 ISSN = "0001-0782",
9208 acknowledgement = ack-nhfb,
9218 journal = j-CACM,
9221 pages = "51--51",
9225 ISSN = "0001-0782",
9228 acknowledgement = ack-nhfb,
9243 journal = j-CACM,
9246 pages = "51--52",
9250 ISSN = "0001-0782",
9253 acknowledgement = ack-nhfb,
9268 journal = j-CACM,
9271 pages = "69--82",
9275 ISSN = "0001-0782",
9281 …abstract = "A novel computer-searchable representation for the three basic pictorial features,…
9282 acknowledgement = ack-nhfb,
9287 …ntour map representation; data handling; data processing --- Data Handling; data processing --- Da…
9291 @Article{Crespi-Reghizzi:1973:UGI,
9292 author = "S. Crespi-Reghizzi and M. A. Melkanoff and L. Lichten",
9294 journal = j-CACM,
9297 pages = "83--90",
9301 ISSN = "0001-0782",
9307 …ars, but a second algorithm is outlined which applies to a larger class of context-free grammars.",
9308 acknowledgement = ack-nhfb,
9313 …keywords = "computer programming languages; context; context-free grammars; extensible languag…
9320 journal = j-CACM,
9323 pages = "91--100",
9327 ISSN = "0001-0782",
9333 …L4 are given. The general approach is to create, in-so-far as possible, a bottom-up parse from a t…
9334 acknowledgement = ack-nhfb,
9339 …keywords = "computer programming languages; data processing --- Data Structures; discrete patt…
9346 journal = j-CACM,
9349 pages = "101--104",
9353 ISSN = "0001-0782",
9359 …abstract = "The Cauchy-Ostrowski theorem on convergence of Newton iterates for an analytic fun…
9360 acknowledgement = ack-nhfb,
9365 …-Ostrowski theorem; complex interval arithmetic; complex intervals; convergence of numerical metho…
9372 journal = j-CACM,
9375 pages = "105--109",
9379 ISSN = "0001-0782",
9384 acknowledgement = ack-nhfb,
9388 …g; calculation; computer programming languages --- Fortran; content addressing; data storage, digi…
9395 journal = j-CACM,
9398 pages = "110--116",
9402 ISSN = "0001-0782",
9406 acknowledgement = ack-nhfb,
9411 …tems programming; computer systems programming --- Supervisory and Executive Programs; data proces…
9418 journal = j-CACM,
9421 pages = "117--122",
9425 ISSN = "0001-0782",
9429 acknowledgement = ack-nhfb,
9433 …languages; computer system design; computer systems, digital --- Time Sharing; computers --- Data …
9440 journal = j-CACM,
9443 pages = "123--124",
9447 ISSN = "0001-0782",
9449 acknowledgement = ack-nhfb,
9460 journal = j-CACM,
9463 pages = "139--147",
9467 ISSN = "0001-0782",
9471 acknowledgement = ack-nhfb,
9483 title = "Common Phrases and Minimum-Space Text Storage",
9484 journal = j-CACM,
9487 pages = "148--152",
9491 ISSN = "0001-0782",
9495 acknowledgement = ack-nhfb,
9500 …keywords = "common phrases; computer operating systems --- Program Compilers; computer program…
9506 title = "Telecommunications Using a Front-End Minicomputer",
9507 journal = j-CACM,
9510 pages = "153--160",
9514 ISSN = "0001-0782",
9517 …-end minicomputer to provide varied remote terminal access to a large scale computer is considered…
9518 acknowledgement = ack-nhfb,
9523 …puters, miniature; digital communication systems; front end processor; front-end processor; large …
9529 title = "The Effects of Multiplexing on a Computer-Communications System",
9530 journal = j-CACM,
9533 pages = "161--168",
9537 ISSN = "0001-0782",
9540 …-shared computer-communications system. It is concluded that while, for certain values of system p…
9541 acknowledgement = ack-nhfb,
9546 …ming --- Subroutines; computers; digital communication systems; multiplexing; operating systems; s…
9553 journal = j-CACM,
9556 pages = "169--179",
9560 ISSN = "0001-0782",
9563 …--- it completes translation of every program submitted and continues execution until a user-estab…
9564 acknowledgement = ack-nhfb,
9569 …nment; batch-processing; computer operating systems; computer programming languages --- Program De…
9576 …title = "{Gray} code and the +or-sign sequence when +or-f(+or-f(+or-f( . . +or-f(x) . . .))…
9577 journal = j-CACM,
9580 pages = "180--180",
9584 ISSN = "0001-0782",
9587 acknowledgement = ack-nhfb,
9596 journal = j-CACM,
9599 pages = "180--181",
9603 ISSN = "0001-0782",
9605 acknowledgement = ack-nhfb,
9615 journal = j-CACM,
9618 pages = "181--182",
9622 ISSN = "0001-0782",
9625 acknowledgement = ack-nhfb,
9627 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
9634 …title = "{ACM} Algorithm 444: An Algorithm for Extracting Phrases in a Space-Optimal Fashio…
9635 journal = j-CACM,
9638 pages = "183--185",
9642 ISSN = "0001-0782",
9644 acknowledgement = ack-nhfb,
9652 author = "Shi-Kuo Chang",
9654 journal = j-CACM,
9657 pages = "185--186",
9661 ISSN = "0001-0782",
9663 acknowledgement = ack-nhfb,
9664 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
9673 journal = j-CACM,
9676 pages = "186--186",
9680 ISSN = "0001-0782",
9682 acknowledgement = ack-nhfb,
9683 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
9692 journal = j-CACM,
9695 pages = "199--212",
9699 ISSN = "0001-0782",
9703 acknowledgement = ack-nhfb,
9708 …keywords = "APL; computer architecture; computer operating systems --- Program Compilers; comp…
9715 journal = j-CACM,
9718 pages = "213--222",
9722 ISSN = "0001-0782",
9728 …ent which may have a very small read-time/write-time ratio. This study places particular emphasis …
9729 acknowledgement = ack-nhfb,
9734 …ory hierarchies; asymmetric memory hierarchy; computer systems programming --- Multiprogramming; d…
9741 journal = j-CACM,
9744 pages = "223--230",
9748 ISSN = "0001-0782",
9753 bibsource = "Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
9754 …-digit hexadecimal and 22-digit binary floating point number representations combined with the usu…
9755 acknowledgement = ack-nhfb # " and " # ack-nj,
9766 title = "Some Approaches to Best-Match File Searching",
9767 journal = j-CACM,
9770 pages = "230--236",
9774 ISSN = "0001-0782",
9777 …ods are derived using certain inequalities satisfied by metrics and by graph-theoretic concepts. S…
9778 acknowledgement = ack-nhfb,
9790 journal = j-CACM,
9793 pages = "237--246",
9797 ISSN = "0001-0782",
9801 acknowledgement = ack-nhfb,
9806 …keywords = "computer graphics; data processing --- Natural Sciences Applications; edge detecti…
9810 @Article{Rodriguez-Rosell:1973:DIE,
9811 author = "Juan Rodriguez-Rosell and Jean-Pierre Dupuy",
9813 journal = j-CACM,
9816 pages = "247--253",
9820 ISSN = "0001-0782",
9823 …ystem resources to the processes competing for them. Recent research in time-sharing paging system…
9824 acknowledgement = ack-nhfb,
9829 …--- Operating Procedures; design; evaluation; implementation; operating systems; resource allocati…
9837 journal = j-CACM,
9840 pages = "254--256",
9844 ISSN = "0001-0782",
9846 acknowledgement = ack-nhfb,
9855 journal = j-CACM,
9858 pages = "257--257",
9862 ISSN = "0001-0782",
9864 acknowledgement = ack-nhfb,
9874 journal = j-CACM,
9877 pages = "275--281",
9881 ISSN = "0001-0782",
9884 …-processing processes, and what turns out to be a vicious circle of effects is described. The pape…
9885 acknowledgement = ack-nhfb,
9890 …ation retrieval; computers --- Data Communication Systems; information; information retrieval syst…
9897 journal = j-CACM,
9900 pages = "282--286",
9904 ISSN = "0001-0782",
9908 acknowledgement = ack-nhfb,
9920 journal = j-CACM,
9923 pages = "287--290",
9927 ISSN = "0001-0782",
9930 …-mask technique. The applicability of these methods under various possible conventions on overall …
9931 acknowledgement = ack-nhfb,
9943 journal = j-CACM,
9946 pages = "291--295",
9950 ISSN = "0001-0782",
9953 …-levels of linearly connected memory hardware with increasing data access times and increasing dat…
9954 acknowledgement = ack-nhfb,
9960 …keywords = "analysis; analytic; computer operating systems --- Storage Allocation; data access…
9966 title = "Minimal Event-Node Network of Project Precedence Relations",
9967 journal = j-CACM,
9970 pages = "296--298",
9974 ISSN = "0001-0782",
9977 …-node network to represent a set of precedence relations without parallel activities is presented.…
9978 acknowledgement = ack-nhfb,
9983 …ords = "event node network; event-node network; management science; management sciences; minim…
9990 journal = j-CACM,
9993 pages = "299--305",
9997 ISSN = "0001-0782",
10001 acknowledgement = ack-nhfb,
10006 … grammars; automata theory --- Grammars; automatic testing; CAD; computer graphics; computer progr…
10013 journal = j-CACM,
10016 pages = "305--307",
10020 ISSN = "0001-0782",
10023 …abstract = "An efficient, nonrecursive algorithm is given for moving any LIST-type list. In pa…
10024 acknowledgement = ack-nhfb,
10027 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
10029 …ywords = "computer programming --- Subroutines; computer programming languages; computer progr…
10036 journal = j-CACM,
10039 pages = "308--309",
10043 ISSN = "0001-0782",
10045 acknowledgement = ack-nhfb,
10055 journal = j-CACM,
10058 pages = "309--309",
10062 ISSN = "0001-0782",
10064 acknowledgement = ack-nhfb,
10074 journal = j-CACM,
10077 pages = "310--310",
10081 ISSN = "0001-0782",
10083 acknowledgement = ack-nhfb,
10093 journal = j-CACM,
10096 pages = "310--310",
10100 ISSN = "0001-0782",
10102 acknowledgement = ack-nhfb,
10112 journal = j-CACM,
10115 pages = "311--311",
10119 ISSN = "0001-0782",
10121 acknowledgement = ack-nhfb,
10131 journal = j-CACM,
10134 pages = "311--311",
10138 ISSN = "0001-0782",
10140 acknowledgement = ack-nhfb,
10150 journal = j-CACM,
10153 pages = "311--311",
10157 ISSN = "0001-0782",
10159 acknowledgement = ack-nhfb,
10168 …title = "Reflection-free permutations, rosary permutations and adjacent transposition algor…
10169 journal = j-CACM,
10172 pages = "312--312",
10176 ISSN = "0001-0782",
10178 acknowledgement = ack-nhfb,
10188 journal = j-CACM,
10191 pages = "313--313",
10195 ISSN = "0001-0782",
10197 acknowledgement = ack-nhfb,
10207 journal = j-CACM,
10210 pages = "313--314",
10214 ISSN = "0001-0782",
10216 acknowledgement = ack-nhfb,
10226 journal = j-CACM,
10229 pages = "314--315",
10233 ISSN = "0001-0782",
10235 acknowledgement = ack-nhfb,
10244 journal = j-CACM,
10247 pages = "314--322",
10251 ISSN = "0001-0782",
10254 …. A short description of the major features of ORVYL, a general purpose time-sharing system which …
10255 acknowledgement = ack-nhfb,
10267 journal = j-CACM,
10270 pages = "323--329",
10274 ISSN = "0001-0782",
10277 …n can be expensive with regard to time and space in multiprogramming or time-sharing environments …
10278 acknowledgement = ack-nhfb,
10284 …source scheduling; scheduling; storage allocation; time sharing; time-sharing; time-sharing progra…
10291 journal = j-CACM,
10294 pages = "337--342",
10298 ISSN = "0001-0782",
10300 acknowledgement = ack-nhfb,
10310 journal = j-CACM,
10313 pages = "343--349",
10317 ISSN = "0001-0782",
10319 acknowledgement = ack-nhfb,
10328 title = "Synchronizing processors with memory-content-generated interrupts",
10329 journal = j-CACM,
10332 pages = "350--351",
10336 ISSN = "0001-0782",
10338 acknowledgement = ack-nhfb,
10347 …title = "On the Near-Optimality of the Shortest-Latency-Time-First Drum Scheduling Discipli…
10348 journal = j-CACM,
10351 pages = "352--353",
10355 ISSN = "0001-0782",
10359 acknowledgement = ack-nhfb,
10368 … generation for arithmetic expressions to the instruction sets available on present-day computers",
10369 journal = j-CACM,
10372 pages = "353--354",
10376 ISSN = "0001-0782",
10378 acknowledgement = ack-nhfb,
10388 journal = j-CACM,
10391 pages = "355--361",
10395 ISSN = "0001-0782",
10397 acknowledgement = ack-nhfb,
10407 journal = j-CACM,
10410 pages = "362--365",
10414 ISSN = "0001-0782",
10417 acknowledgement = ack-nhfb,
10428 journal = j-CACM,
10431 pages = "366--369",
10435 ISSN = "0001-0782",
10437 acknowledgement = ack-nhfb,
10439 corpsource = "Mathematischer Beratungs- and Programmierungsdienst GmbH, Cologne, West Germany",
10447 journal = j-CACM,
10450 pages = "370--372",
10454 ISSN = "0001-0782",
10457 acknowledgement = ack-nhfb,
10458 …uter architecture); C6110 (Systems analysis and programming); C6140B (Machine-oriented languages)",
10467 journal = j-CACM,
10470 pages = "372--378",
10474 ISSN = "0001-0782",
10477 acknowledgement = ack-nhfb,
10486 title = "{ACM} Algorithm 448: Number of Multiply-Restricted Partitions",
10487 journal = j-CACM,
10490 pages = "379--379",
10494 ISSN = "0001-0782",
10496 acknowledgement = ack-nhfb,
10506 journal = j-CACM,
10509 pages = "380--382",
10513 ISSN = "0001-0782",
10519 acknowledgement = ack-nhfb,
10528 title = "Cubic spline solutions to fourth-order boundary value problems",
10529 journal = j-CACM,
10532 pages = "382--385",
10536 ISSN = "0001-0782",
10540 …ximation to the fourth-order differential equation $y''''+p(x)y''+q(x)y'+r(x)y=t(x)$ is shown to r…
10541 acknowledgement = ack-nhfb,
10544 …keywords = "(mathematics); boundary value problem; boundary value problems; boundary-value pro…
10551 journal = j-CACM,
10554 pages = "386--391",
10558 ISSN = "0001-0782",
10562 acknowledgement = ack-nhfb,
10572 journal = j-CACM,
10575 pages = "399--405",
10579 ISSN = "0001-0782",
10583 acknowledgement = ack-nhfb,
10596 journal = j-CACM,
10599 pages = "406--410",
10603 ISSN = "0001-0782",
10609 acknowledgement = ack-nhfb,
10614 …-base management; file organisation; file organization; graph; graph theory; information; informat…
10620 title = "{COKO III}: the {Cooper-Koz} Chess Program",
10621 journal = j-CACM,
10624 pages = "411--427 (or 411--426??)",
10628 ISSN = "0001-0782",
10631 …abstract = "COKO III is a chess player written entirely in Fortran. On the IBM 360-65, COKO II…
10632 acknowledgement = ack-nhfb,
10644 journal = j-CACM,
10647 pages = "427--430",
10651 ISSN = "0001-0782",
10655 acknowledgement = ack-nhfb,
10660 …keywords = "computer operating systems; computer systems programming --- Multiprogramming; dea…
10667 journal = j-CACM,
10670 pages = "431--434",
10674 ISSN = "0001-0782",
10677 …he distribution of a program which maximizes the useful fraction of the cost-time integral of prim…
10678 acknowledgement = ack-nhfb,
10689 journal = j-CACM,
10692 pages = "435--439",
10696 ISSN = "0001-0782",
10699 …can be taught-they must be learned. However, the teacher still serves several vital purposes: to p…
10700 acknowledgement = ack-nhfb,
10711 journal = j-CACM,
10714 pages = "439--442 (or 439--441??)",
10718 ISSN = "0001-0782",
10722 acknowledgement = ack-nhfb,
10733 title = "Computer Science --- Seminars for Undergraduates",
10734 journal = j-CACM,
10737 pages = "442--442",
10741 ISSN = "0001-0782",
10743 acknowledgement = ack-nhfb,
10754 journal = j-CACM,
10757 pages = "443--444",
10761 ISSN = "0001-0782",
10763 acknowledgement = ack-nhfb,
10772 title = "Equivalence Between {AND\slash OR} Graphs and Context-Free Grammars",
10773 journal = j-CACM,
10776 pages = "444--445",
10780 ISSN = "0001-0782",
10782 acknowledgement = ack-nhfb,
10785 …keywords = "AND/OR graphs; artificial intelligence; context free grammars; context-free gramma…
10791 title = "{ACM} Algorithm 449: Solution of Linear Programming Problems in 0-1 Variables",
10792 journal = j-CACM,
10795 pages = "445--448 (or 445--447??)",
10799 ISSN = "0001-0782",
10801 acknowledgement = ack-nhfb,
10811 journal = j-CACM,
10814 pages = "448--448",
10818 ISSN = "0001-0782",
10821 acknowledgement = ack-nhfb,
10830 title = "Hidden-line plotting program",
10831 journal = j-CACM,
10834 pages = "448--448",
10838 ISSN = "0001-0782",
10840 acknowledgement = ack-nhfb,
10850 journal = j-CACM,
10853 pages = "448--448",
10857 ISSN = "0001-0782",
10859 acknowledgement = ack-nhfb,
10861 corpsource = "Wright-Patterson Air Force Base, OH, USA",
10869 journal = j-CACM,
10872 pages = "462--467",
10876 ISSN = "0001-0782",
10879 …-player partnership dominoes. Because dominoes is a game of incomplete information, the program us…
10880 acknowledgement = ack-nhfb,
10891 title = "{Fen} --- an Axiomatic Basis for Program Semantics",
10892 journal = j-CACM,
10895 pages = "468--474",
10899 ISSN = "0001-0782",
10907 acknowledgement = ack-nhfb,
10912 …nguage; formal language definition; formal languages; formal systems; lambda-calculus; models of c…
10919 journal = j-CACM,
10922 pages = "474--482 (or 474--481??)",
10926 ISSN = "0001-0782",
10930 acknowledgement = ack-nhfb,
10942 journal = j-CACM,
10945 pages = "482--483",
10949 ISSN = "0001-0782",
10952 acknowledgement = ack-nhfb,
10961 title = "{ACM} Algorithm 451: Chi-Square Quantiles",
10962 journal = j-CACM,
10965 pages = "483--485",
10969 ISSN = "0001-0782",
10971 acknowledgement = ack-nhfb,
10981 journal = j-CACM,
10984 pages = "485--485",
10988 ISSN = "0001-0782",
10990 acknowledgement = ack-nhfb,
11000 journal = j-CACM,
11003 pages = "486--487",
11007 ISSN = "0001-0782",
11009 acknowledgement = ack-nhfb,
11019 journal = j-CACM,
11022 pages = "487--489",
11026 ISSN = "0001-0782",
11028 acknowledgement = ack-nhfb,
11038 journal = j-CACM,
11041 pages = "489--489",
11045 ISSN = "0001-0782",
11047 acknowledgement = ack-nhfb,
11057 journal = j-CACM,
11060 pages = "489--489",
11064 ISSN = "0001-0782",
11066 acknowledgement = ack-nhfb,
11076 journal = j-CACM,
11079 pages = "489--490",
11083 ISSN = "0001-0782",
11085 acknowledgement = ack-nhfb,
11094 title = "{Hu-Tucker} minimum redundancy alphabetic coding method",
11095 journal = j-CACM,
11098 pages = "490--490",
11102 ISSN = "0001-0782",
11104 acknowledgement = ack-nhfb,
11113 title = "{Clenshaw-Curtis} quadrature",
11114 journal = j-CACM,
11117 pages = "490--490",
11121 ISSN = "0001-0782",
11123 acknowledgement = ack-nhfb,
11133 journal = j-CACM,
11136 pages = "490--490",
11140 ISSN = "0001-0782",
11142 acknowledgement = ack-nhfb,
11152 journal = j-CACM,
11155 pages = "491--502",
11159 ISSN = "0001-0782",
11166 acknowledgement = ack-nhfb,
11178 journal = j-CACM,
11181 pages = "503--512",
11185 ISSN = "0001-0782",
11191 …-formed program is defined as a program in which loops and if statements are properly nested and c…
11192 acknowledgement = ack-nhfb,
11197 …repeat statement; software reliability; statement; well formed program; well-formed program; while…
11204 journal = j-CACM,
11207 pages = "513--517",
11211 ISSN = "0001-0782",
11215 acknowledgement = ack-nhfb,
11227 journal = j-CACM,
11230 pages = "527--531",
11234 ISSN = "0001-0782",
11239 …istributions are also derived. The computational algorithms are based on two-dimensional iterative…
11240 acknowledgement = ack-nhfb,
11259 journal = j-CACM,
11262 pages = "532--539",
11266 ISSN = "0001-0782",
11270 acknowledgement = ack-nhfb,
11275 …keywords = "computer; computer systems programming --- Decision Tables; conversion; decision t…
11281 title = "Evaluation and Selection of File Organization --- {A} Model and a System",
11282 journal = j-CACM,
11285 pages = "540--548",
11289 ISSN = "0001-0782",
11292 …organizations, given a specific data base, query characterization and device-related specification…
11293 acknowledgement = ack-nhfb,
11306 journal = j-CACM,
11309 pages = "549--556",
11313 ISSN = "0001-0782",
11316 …-specified application. The problem is academic in the sense that ordinarily the optimal tree cann…
11317 acknowledgement = ack-nhfb,
11326 @Article{Rodriguez-Rosell:1973:EWS,
11327 author = "Juan Rodriguez-Rosell",
11329 journal = j-CACM,
11332 pages = "556--560",
11336 ISSN = "0001-0782",
11340 acknowledgement = ack-nhfb,
11352 journal = j-CACM,
11355 pages = "561--565",
11359 ISSN = "0001-0782",
11362 …abstract = "A simple technique for the symbol-table lookup of structured variables based on si…
11363 acknowledgement = ack-nhfb,
11375 journal = j-CACM,
11378 pages = "566--566",
11382 ISSN = "0001-0782",
11385 acknowledgement = ack-nhfb,
11395 journal = j-CACM,
11398 pages = "567--571 (or 567--570??)",
11402 ISSN = "0001-0782",
11409 acknowledgement = ack-nhfb,
11421 journal = j-CACM,
11424 pages = "571--572",
11428 ISSN = "0001-0782",
11430 acknowledgement = ack-nhfb,
11440 journal = j-CACM,
11443 pages = "572--574",
11447 ISSN = "0001-0782",
11449 acknowledgement = ack-nhfb,
11459 journal = j-CACM,
11462 pages = "575--577",
11466 ISSN = "0001-0782",
11469 acknowledgement = ack-nhfb,
11480 journal = j-CACM,
11483 pages = "577--578",
11487 ISSN = "0001-0782",
11489 acknowledgement = ack-nhfb,
11499 journal = j-CACM,
11502 pages = "577--578",
11506 ISSN = "0001-0782",
11513 journal = j-CACM,
11516 pages = "578--578",
11520 ISSN = "0001-0782",
11522 acknowledgement = ack-nhfb,
11531 title = "Hidden-line plotting program",
11532 journal = j-CACM,
11535 pages = "578--579",
11539 ISSN = "0001-0782",
11541 acknowledgement = ack-nhfb,
11543 corpsource = "Nat. Con-Serv. Inc., Austin, TX, USA",
11551 journal = j-CACM,
11554 pages = "579--579",
11558 ISSN = "0001-0782",
11560 acknowledgement = ack-nhfb,
11569 title = "Multiple Terminals Under User Program Control in a Time-Sharing Environment",
11570 journal = j-CACM,
11573 pages = "587--590",
11577 ISSN = "0001-0782",
11580 …-written programs on the Dartmouth Time-Sharing System can communicate with many remote terminals …
11581 acknowledgement = ack-nhfb,
11586 …computer systems, digital; multiple terminals; on-line interaction; remote consoles; time sharing;…
11593 journal = j-CACM,
11596 pages = "591--603",
11600 ISSN = "0001-0782",
11603 …-valued variables, and functional arguments are discussed. In the initial model, a single real pro…
11604 acknowledgement = ack-nhfb,
11609 …programming; control; coroutines; dendrarchy; dynamic; funarg problem; label-valued variables; mod…
11615 …title = "General Performance Analysis of Key-to-Address Transformation Methods Using an Abs…
11616 journal = j-CACM,
11619 pages = "603--612",
11623 ISSN = "0001-0782",
11626 … presents a new approach to the analysis of performance of the various key-to-address transformati…
11627 acknowledgement = ack-nhfb,
11640 journal = j-CACM,
11643 pages = "613--615",
11647 ISSN = "0001-0782",
11651 acknowledgement = ack-nhfb,
11664 journal = j-CACM,
11667 pages = "615--618",
11671 ISSN = "0001-0782",
11675 acknowledgement = ack-nhfb,
11687 journal = j-CACM,
11690 pages = "619--620",
11694 ISSN = "0001-0782",
11698 acknowledgement = ack-nhfb,
11710 journal = j-CACM,
11713 pages = "621--627",
11717 ISSN = "0001-0782",
11721 acknowledgement = ack-nhfb,
11733 journal = j-CACM,
11736 pages = "629--631",
11740 ISSN = "0001-0782",
11742 acknowledgement = ack-nhfb,
11752 journal = j-CACM,
11755 pages = "632--633",
11759 ISSN = "0001-0782",
11761 acknowledgement = ack-nhfb,
11771 journal = j-CACM,
11774 pages = "633--635",
11778 ISSN = "0001-0782",
11780 acknowledgement = ack-nhfb,
11790 journal = j-CACM,
11793 pages = "635--637",
11797 ISSN = "0001-0782",
11799 acknowledgement = ack-nhfb,
11802 …keywords = "(mathematics); boundary value problem; boundary-value problems; cubic spline solut…
11809 journal = j-CACM,
11812 pages = "638--638",
11816 ISSN = "0001-0782",
11818 acknowledgement = ack-nhfb,
11828 journal = j-CACM,
11831 pages = "639--640",
11835 ISSN = "0001-0782",
11837 acknowledgement = ack-nhfb,
11847 journal = j-CACM,
11850 pages = "653--658",
11854 ISSN = "0001-0782",
11858 acknowledgement = ack-nhfb,
11859 …annote = "Turing award acceptance speech-general view of the state of database work from a D…
11869 journal = j-CACM,
11872 pages = "659--668",
11876 ISSN = "0001-0782",
11879 …ted at the University of California, Berkeley. PRIME is an experimental time-sharing system which …
11880 acknowledgement = ack-nhfb,
11891 title = "Parser-Generating System for Constructing Compressed Compilers",
11892 journal = j-CACM,
11895 pages = "669--676",
11899 ISSN = "0001-0782",
11902 …-generating system (PGS) currently in use on the CDC-6500 computer at Purdue University. The PGS i…
11903 acknowledgement = ack-nhfb,
11908 …keywords = "BNF; compression algorithm; computer operating systems --- Program Compilers; comp…
11915 journal = j-CACM,
11918 pages = "676--682",
11922 ISSN = "0001-0782",
11926 acknowledgement = ack-nhfb,
11937 …title = "Experiments with an Automatic Theorem-Prover Having Partial Ordering Inference Rul…
11938 journal = j-CACM,
11941 pages = "682--688",
11945 ISSN = "0001-0782",
11949 acknowledgement = ack-nhfb,
11961 journal = j-CACM,
11964 pages = "689--689",
11968 ISSN = "0001-0782",
11970 acknowledgement = ack-nhfb,
11980 journal = j-CACM,
11983 pages = "690--690",
11987 ISSN = "0001-0782",
11989 acknowledgement = ack-nhfb,
11999 journal = j-CACM,
12002 pages = "690--691",
12006 ISSN = "0001-0782",
12008 acknowledgement = ack-nhfb,
12018 journal = j-CACM,
12021 pages = "692--694",
12025 ISSN = "0001-0782",
12028 acknowledgement = ack-nhfb,
12038 journal = j-CACM,
12041 pages = "694--699",
12045 ISSN = "0001-0782",
12047 acknowledgement = ack-nhfb,
12056 journal = j-CACM,
12059 pages = "699--699",
12063 ISSN = "0001-0782",
12065 acknowledgement = ack-nhfb,
12075 journal = j-CACM,
12078 pages = "700--702",
12082 ISSN = "0001-0782",
12090 acknowledgement = ack-nhfb,
12102 journal = j-CACM,
12105 pages = "703--703",
12109 ISSN = "0001-0782",
12111 acknowledgement = ack-nhfb,
12120 title = "Tree-structured programs",
12121 journal = j-CACM,
12124 pages = "704--705",
12128 ISSN = "0001-0782",
12130 acknowledgement = ack-nhfb,
12140 journal = j-CACM,
12143 pages = "705--707",
12147 ISSN = "0001-0782",
12151 acknowledgement = ack-nhfb,
12159 title = "An algorithm for the approximate solution of {Wiener-Hopf} integral equations",
12160 journal = j-CACM,
12163 pages = "708--710",
12167 ISSN = "0001-0782",
12169 acknowledgement = ack-nhfb,
12179 journal = j-CACM,
12182 pages = "711--714",
12186 ISSN = "0001-0782",
12189 …the biharmonic equation are compared. One method is direct, using eigenvalue-eigenvector decomposi…
12190 acknowledgement = ack-nhfb,
12202 journal = j-CACM,
12205 pages = "727--749",
12209 ISSN = "0001-0782",
12212 acknowledgement = ack-nhfb,
12221 journal = j-CACM,
12224 pages = "750--759",
12228 ISSN = "0001-0782",
12231 acknowledgement = ack-nhfb,
12242 journal = j-CACM,
12245 pages = "760--761",
12249 ISSN = "0001-0782",
12251 acknowledgement = ack-nhfb,
12261 journal = j-CACM,
12264 pages = "761--763",
12268 ISSN = "0001-0782",
12270 acknowledgement = ack-nhfb,
12280 journal = j-CACM,
12283 pages = "763--768",
12287 ISSN = "0001-0782",
12289 acknowledgement = ack-nhfb,
12298 …title = "Syntax-directed least-errors analysis for context-free languages: a practical appr…
12299 journal = j-CACM,
12302 pages = "3--14",
12306 ISSN = "0001-0782",
12308 acknowledgement = ack-nhfb,
12311 …keywords = "arbitrary input strings; context free grammars; context-free languages; dynamic pr…
12318 journal = j-CACM,
12321 pages = "14--17",
12325 ISSN = "0001-0782",
12331 …-point precision. It is also proved that the computed LU decomposition converges when floating-poi…
12332 acknowledgement = ack-nhfb,
12344 journal = j-CACM,
12347 pages = "18--20",
12351 ISSN = "0001-0782",
12354 acknowledgement = ack-nhfb,
12364 journal = j-CACM,
12367 pages = "20--24",
12371 ISSN = "0001-0782",
12377 …. The advantages of using such a transformation include the absence of round-off errors and improv…
12378 acknowledgement = ack-nhfb,
12389 journal = j-CACM,
12392 pages = "25--25",
12396 ISSN = "0001-0782",
12398 acknowledgement = ack-nhfb,
12408 journal = j-CACM,
12411 pages = "26--31",
12415 ISSN = "0001-0782",
12418 acknowledgement = ack-nhfb,
12428 journal = j-CACM,
12431 pages = "32--42",
12435 ISSN = "0001-0782",
12437 acknowledgement = ack-nhfb,
12446 …title = "Comments on the algorithms of {Verhelst} for the conversion of limited-entry decis…
12447 journal = j-CACM,
12450 pages = "43--45",
12454 ISSN = "0001-0782",
12456 acknowledgement = ack-nhfb,
12466 journal = j-CACM,
12469 pages = "45--46",
12473 ISSN = "0001-0782",
12475 acknowledgement = ack-nhfb,
12485 journal = j-CACM,
12488 pages = "47--48",
12492 ISSN = "0001-0782",
12494 acknowledgement = ack-nhfb,
12504 journal = j-CACM,
12507 pages = "63--69",
12511 ISSN = "0001-0782",
12515 acknowledgement = ack-nhfb,
12527 journal = j-CACM,
12530 pages = "70--77",
12534 ISSN = "0001-0782",
12538 acknowledgement = ack-nhfb,
12550 journal = j-CACM,
12553 pages = "78--82",
12557 ISSN = "0001-0782",
12564 acknowledgement = ack-nhfb,
12572 …keywords = "approximate method; approximations; computer programming --- Subroutines; distribu…
12580 journal = j-CACM,
12583 pages = "83--93",
12587 ISSN = "0001-0782",
12591 acknowledgement = ack-nhfb,
12596 …keywords = "array computers; asynchronous multiprocessor; computer operating systems --- Progr…
12603 journal = j-CACM,
12606 pages = "94--102",
12610 ISSN = "0001-0782",
12613 …y associated with context-free requirements. \par Yet numerous interesting and difficult issues in…
12614 acknowledgement = ack-nhfb,
12619 …nguages; context sensitive grammars; context sensitive requirements; context-sensitive grammars; d…
12626 journal = j-CACM,
12629 pages = "102--112",
12633 ISSN = "0001-0782",
12640 acknowledgement = ack-nhfb,
12645 …--- Theorem Proving; boundary conditions; computer operating systems; computer programming; extrac…
12652 journal = j-CACM,
12655 pages = "127--133",
12659 ISSN = "0001-0782",
12663 acknowledgement = ack-nhfb,
12675 journal = j-CACM,
12678 pages = "133--138",
12682 ISSN = "0001-0782",
12686 acknowledgement = ack-nhfb,
12698 journal = j-CACM,
12701 pages = "139--142",
12705 ISSN = "0001-0782",
12709 acknowledgement = ack-nhfb,
12722 journal = j-CACM,
12725 pages = "143--152",
12729 ISSN = "0001-0782",
12733 acknowledgement = ack-nhfb,
12745 journal = j-CACM,
12748 pages = "152--157 (or 152--155??)",
12752 ISSN = "0001-0782",
12756 acknowledgement = ack-nhfb,
12771 journal = j-CACM,
12774 pages = "156--157",
12778 ISSN = "0001-0782",
12780 acknowledgement = ack-nhfb,
12790 journal = j-CACM,
12793 pages = "157--163",
12797 ISSN = "0001-0782",
12801 acknowledgement = ack-nhfb,
12806 …rs; cell organized raster display; computer graphics; computer programming --- Subroutines; data h…
12813 journal = j-CACM,
12816 pages = "164--164",
12820 ISSN = "0001-0782",
12824 acknowledgement = ack-nhfb,
12833 journal = j-CACM,
12836 pages = "165--166",
12840 ISSN = "0001-0782",
12844 acknowledgement = ack-nhfb,
12854 journal = j-CACM,
12857 pages = "167--169",
12861 ISSN = "0001-0782",
12868 acknowledgement = ack-nhfb,
12873 …er programming; least squares approximations; lsq; mathematical techniques --- Least Squares Appro…
12880 journal = j-CACM,
12883 pages = "181--186",
12887 ISSN = "0001-0782",
12891 acknowledgement = ack-nhfb,
12903 journal = j-CACM,
12906 pages = "186--191",
12910 ISSN = "0001-0782",
12913 … nonpredictive replacement rules applied to any program represented by a one-step Markov chain. A …
12914 acknowledgement = ack-nhfb,
12925 title = "Execution Characteristics of Programs in a Page-On-Demand System",
12926 journal = j-CACM,
12929 pages = "192--196",
12933 ISSN = "0001-0782",
12936 …tion characteristics of two types of commonly used programs in a large-scale, time-shared computer…
12937 acknowledgement = ack-nhfb,
12949 journal = j-CACM,
12952 pages = "196--197",
12956 ISSN = "0001-0782",
12959 … of timetables, differing from week to week, which together satisfy the long-term requirements of …
12960 acknowledgement = ack-nhfb,
12972 journal = j-CACM,
12975 pages = "198--202",
12979 ISSN = "0001-0782",
12983 acknowledgement = ack-nhfb,
12994 title = "Parallelism in Tape-Sorting",
12995 journal = j-CACM,
12998 pages = "202--204",
13002 ISSN = "0001-0782",
13005 …abstract = "Two methods for employing parallelism in tape-sorting are presented. Method A is t…
13006 acknowledgement = ack-nhfb,
13019 journal = j-CACM,
13022 pages = "205--206",
13026 ISSN = "0001-0782",
13028 acknowledgement = ack-nhfb,
13038 journal = j-CACM,
13041 pages = "206--207",
13045 ISSN = "0001-0782",
13048 acknowledgement = ack-nhfb,
13057 title = "Ideal teaching machines --- a solution to the pedagogic language problem",
13058 journal = j-CACM,
13061 pages = "207--208",
13065 ISSN = "0001-0782",
13067 acknowledgement = ack-nhfb,
13077 journal = j-CACM,
13080 pages = "209--210",
13084 ISSN = "0001-0782",
13086 acknowledgement = ack-nhfb,
13096 journal = j-CACM,
13099 pages = "210--210",
13103 ISSN = "0001-0782",
13105 acknowledgement = ack-nhfb,
13107 corpsource = "Heriot-Watt Univ., Edinburgh, UK",
13114 title = "An Improved Program-Synthesizing Algorithm and its Correctness",
13115 journal = j-CACM,
13118 pages = "211--217",
13122 ISSN = "0001-0782",
13128 …-synthesizing algorithm based on the algorithm proposed by Waldinger and Lee in 1969 is given. In …
13129 acknowledgement = ack-nhfb,
13134 …keywords = "computer metatheory; consequence finding; primitive resolutions; program-synthesiz…
13141 title = "Scalar- and planar-valued curve fitting using splines under tension. {I}",
13142 journal = j-CACM,
13145 pages = "218--220",
13149 ISSN = "0001-0782",
13155 …necessary parameters and computing the resultant spline. The standard scalar-valued curve fitting …
13156 acknowledgement = ack-nhfb,
13174 journal = j-CACM,
13177 pages = "220--223 (or 220--221??)",
13181 ISSN = "0001-0782",
13183 acknowledgement = ack-nhfb,
13192 title = "{ACM} Algorithm 477: Generator of Set-Partitions to Exactly ${R}$ Subsets",
13193 journal = j-CACM,
13196 pages = "224--225",
13200 ISSN = "0001-0782",
13202 acknowledgement = ack-nhfb,
13212 journal = j-CACM,
13215 pages = "225--225",
13219 ISSN = "0001-0782",
13221 acknowledgement = ack-nhfb,
13231 journal = j-CACM,
13234 pages = "245--250",
13238 ISSN = "0001-0782",
13242 acknowledgement = ack-nhfb,
13245 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
13254 journal = j-CACM,
13257 pages = "251--264",
13261 ISSN = "0001-0782",
13264 …-oriented notation and efficient implementation. The EL1 language contains a number of features sp…
13265 acknowledgement = ack-nhfb,
13270 …eral purpose programming language; generic routines; language; languages; mode unions; modes; prob…
13276 title = "Order-$n$ Correction for Regular Languages",
13277 journal = j-CACM,
13280 pages = "265--268",
13284 ISSN = "0001-0782",
13288 acknowledgement = ack-nhfb,
13293 …-free languages; correction; corrector; edit operations; error correction; error correction codes;…
13300 journal = j-CACM,
13303 pages = "269--271",
13307 ISSN = "0001-0782",
13312 bibsource = "Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
13313 …s then used to determine the distribution of the roundoff errors in floating-point operations, whi…
13314 acknowledgement = ack-nhfb,
13317 corpsource = "Aerospace Res. Labs., Wright-Patterson AFB, OH, USA",
13326 journal = j-CACM,
13329 pages = "272--276",
13333 ISSN = "0001-0782",
13337 acknowledgement = ack-nhfb,
13349 journal = j-CACM,
13352 pages = "276--277",
13356 ISSN = "0001-0782",
13358 bibsource = "garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
13359 acknowledgement = ack-nhfb,
13369 journal = j-CACM,
13372 pages = "278--288",
13376 ISSN = "0001-0782",
13379 …input and output of blocks of data to buffer and primary memories for a mono-programmed computer s…
13380 acknowledgement = ack-nhfb,
13384 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
13386 …emory; computer operating systems; computer system; data storage, magnetic --- Disk; dynamic disc …
13393 journal = j-CACM,
13396 pages = "301--308",
13400 ISSN = "0001-0782",
13403 …-to-less programming language which includes most of the features of Algol 60. The second language…
13404 acknowledgement = ack-nhfb,
13412 …amming languages; symbolic manipulation; syntax directed translation; syntax-directed translation",
13420 title = "A Theorem-Proving Language for Experimentation",
13421 journal = j-CACM,
13424 pages = "308--314",
13428 ISSN = "0001-0782",
13434 …nguage. The use of this language permits easy extension of automated theorem-proving programs to i…
13435 acknowledgement = ack-nhfb,
13447 title = "The minimization of spatially-multiplexed character sets",
13448 journal = j-CACM,
13451 pages = "315--318",
13455 ISSN = "0001-0782",
13459 acknowledgement = ack-nhfb,
13471 journal = j-CACM,
13474 pages = "319--320",
13478 ISSN = "0001-0782",
13480 acknowledgement = ack-nhfb,
13490 journal = j-CACM,
13493 pages = "321--323",
13497 ISSN = "0001-0782",
13500 acknowledgement = ack-nhfb,
13501 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
13509 title = "Hidden-line plotting program",
13510 journal = j-CACM,
13513 pages = "324--324",
13517 ISSN = "0001-0782",
13519 acknowledgement = ack-nhfb,
13529 journal = j-CACM,
13532 pages = "324--324",
13536 ISSN = "0001-0782",
13538 acknowledgement = ack-nhfb,
13548 journal = j-CACM,
13551 pages = "324--324",
13555 ISSN = "0001-0782",
13557 acknowledgement = ack-nhfb,
13566 title = "Hidden-line plotting program",
13567 journal = j-CACM,
13570 pages = "324--325",
13574 ISSN = "0001-0782",
13576 acknowledgement = ack-nhfb,
13586 journal = j-CACM,
13589 pages = "325--325",
13593 ISSN = "0001-0782",
13595 acknowledgement = ack-nhfb,
13605 journal = j-CACM,
13608 pages = "326--326",
13612 ISSN = "0001-0782",
13614 acknowledgement = ack-nhfb,
13624 journal = j-CACM,
13627 pages = "326--332",
13631 ISSN = "0001-0782",
13633 acknowledgement = ack-nhfb,
13643 journal = j-CACM,
13646 pages = "333--336",
13650 ISSN = "0001-0782",
13654 acknowledgement = ack-nhfb,
13666 journal = j-CACM,
13669 pages = "337--345",
13673 ISSN = "0001-0782",
13676 …of HYDRA the kernel of an operating system for C. mmp, the Carnegie-Mellon Multi-Mini-Processor. T…
13677 acknowledgement = ack-nhfb,
13681 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
13689 title = "An Information-Theoretic Approach to Text Searching in Direct Access Systems",
13690 journal = j-CACM,
13693 pages = "345--350",
13697 ISSN = "0001-0782",
13701 acknowledgement = ack-nhfb,
13706 …keywords = "bit vector; character string; data processing --- File Organization; direct access…
13714 journal = j-CACM,
13717 pages = "351--353",
13721 ISSN = "0001-0782",
13728 acknowledgement = ack-nhfb,
13739 title = "The {UNIX} Time-Sharing System",
13740 journal = j-CACM,
13743 pages = "365--375",
13747 ISSN = "0001-0782",
13750 …-purpose, multi-user, interactive operating system for the Digital Equipment Corporation PDP-11\sl…
13751 acknowledgement = ack-nhfb,
13752 …annote = "Interactive operating system for PDP-11, VAX with a hierarchical file system incor…
13757 …cesses; sharing systems; system; system command language; time sharing; time-; UNIX interactive op…
13763 title = "Minimal-Total-Processing Time Drum and Disk Scheduling Disciplines",
13764 journal = j-CACM,
13767 pages = "376--381",
13771 ISSN = "0001-0782",
13774 …-total-processing-time (MTPT) scheduling disciplines to rotating storage units when random arrival…
13775 acknowledgement = ack-nhfb,
13778 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
13788 journal = j-CACM,
13791 pages = "382--387",
13795 ISSN = "0001-0782",
13801 …hat the most general mean-finishing-time problem for independent tasks is polynomial complete, hen…
13802 acknowledgement = ack-nhfb,
13815 journal = j-CACM,
13818 pages = "388--402",
13822 ISSN = "0001-0782",
13826 acknowledgement = ack-nhfb,
13837 title = "Capability-Based Addressing",
13838 journal = j-CACM,
13841 pages = "403--412",
13845 ISSN = "0001-0782",
13848 …ecause it provides the needed absolute address. Implementation of capability-based addressing is d…
13849 acknowledgement = ack-nhfb,
13850 …o be useful when dealing with shared addresses. Implementation of capability-based addressing is d…
13863 journal = j-CACM,
13866 pages = "412--421",
13870 ISSN = "0001-0782",
13876 …abstract = "A model of a third-generation-like computer system is developed. Formal techniques…
13877 acknowledgement = ack-nhfb,
13889 journal = j-CACM,
13892 pages = "434--436",
13896 ISSN = "0001-0782",
13900 acknowledgement = ack-nhfb,
13913 journal = j-CACM,
13916 pages = "437--442",
13920 ISSN = "0001-0782",
13923 …mpting to intrude. The scheme is based on using a function H which the would-be intruder is unable…
13924 acknowledgement = ack-nhfb,
13936 title = "A High Security Log-in Procedure",
13937 journal = j-CACM,
13940 pages = "442--445",
13944 ISSN = "0001-0782",
13947 …-way ciphers to code the passwords, the risks involved with storing the passwords in the computer …
13948 acknowledgement = ack-nhfb,
13952 corpsource = "Univ. Illinois, Urbana-Champaign, IL, USA",
13954 …keywords = "code; computer operating systems; cryptography; data processing --- Security of Da…
13961 journal = j-CACM,
13964 pages = "445--449",
13968 ISSN = "0001-0782",
13972 acknowledgement = ack-nhfb,
13984 journal = j-CACM,
13987 pages = "450--453",
13991 ISSN = "0001-0782",
13997 …-teacher timetable problem. Several relationships are established between the class-teacher timeta…
13998 acknowledgement = ack-nhfb,
14003 …keywords = "class-teacher timetable problem; class-teacher timetables; coloration; educational…
14010 journal = j-CACM,
14013 pages = "453--455",
14017 ISSN = "0001-0782",
14024 acknowledgement = ack-nhfb,
14036 journal = j-CACM,
14039 pages = "456--462",
14043 ISSN = "0001-0782",
14047 acknowledgement = ack-nhfb,
14059 journal = j-CACM,
14062 pages = "463--467",
14066 ISSN = "0001-0782",
14068 acknowledgement = ack-nhfb,
14078 journal = j-CACM,
14081 pages = "467--469",
14085 ISSN = "0001-0782",
14087 acknowledgement = ack-nhfb,
14097 journal = j-CACM,
14100 pages = "470--470",
14104 ISSN = "0001-0782",
14107 acknowledgement = ack-nhfb,
14119 journal = j-CACM,
14122 pages = "471--475",
14126 ISSN = "0001-0782",
14132 …abstract = "Let $R$ be an open, bounded, simply connected region in the $(x,y)$-plane and let …
14133 acknowledgement = ack-nhfb,
14142 journal = j-CACM,
14145 pages = "476--479",
14149 ISSN = "0001-0782",
14153 acknowledgement = ack-nhfb,
14161 …title = "Recurrence Relations for the {Fresnel} Integral $\int_0^\infty[\exp(-ct)dt/(t)^{1/…
14162 journal = j-CACM,
14165 pages = "480--481",
14169 ISSN = "0001-0782",
14174 …ons defined by $\int_0^\infty[\exp(- cX)dt/(1+Y)(t^{1/2})^k]$ where $X$ and $Y$ are either $t$ or …
14175 acknowledgement = ack-nhfb,
14184 journal = j-CACM,
14187 pages = "504--508",
14191 ISSN = "0001-0782",
14197 …-by-step procedure for solving the initial value problem in ordinary differential equations. It is…
14198 acknowledgement = ack-nhfb,
14203 …keywords = "boundary-value problems; continued fraction approximations; continued fractions; d…
14210 journal = j-CACM,
14213 pages = "509--513",
14217 ISSN = "0001-0782",
14220 …ese numbers are executed according to interval arithmetic concepts, with non-significant digits au…
14221 acknowledgement = ack-nhfb,
14235 author = "To-yat. Cheung",
14237 journal = j-CACM,
14240 pages = "513--516",
14244 ISSN = "0001-0782",
14248 acknowledgement = ack-nhfb,
14260 journal = j-CACM,
14263 pages = "517--519",
14267 ISSN = "0001-0782",
14273 acknowledgement = ack-nhfb,
14276 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
14278 …context free languages; context-free languages; deterministic; deterministic context free grammars…
14284 title = "{ACM} Algorithm 483: Masked Three-Dimensional Plot Program with Rotations",
14285 journal = j-CACM,
14288 pages = "520--523",
14292 ISSN = "0001-0782",
14296 acknowledgement = ack-nhfb,
14300 …TRAN; graphics; application; method; human factors; diagram manipulation; three-dimensional plot;",
14303 keywords = "plotting; three-dimensional plotting",
14312 journal = j-CACM,
14315 pages = "524--526",
14319 ISSN = "0001-0782",
14321 acknowledgement = ack-nhfb,
14324 …f computers; Bessel functions; complex arguments; function evaluation; Gauss-Hermite quadrature; H…
14330 title = "{ACM} Algorithm 485: Computation of $g$-Splines via a Factorization Method",
14331 journal = j-CACM,
14334 pages = "526--530",
14338 ISSN = "0001-0782",
14340 acknowledgement = ack-nhfb,
14343 …puters; factorization method; FORTRAN subroutines; function approximation; g-splines; Hermite/Birk…
14350 journal = j-CACM,
14353 pages = "530--531",
14357 ISSN = "0001-0782",
14360 acknowledgement = ack-nhfb,
14369 …title = "Extending the Information Theory Approach to Converting Limited-Entry Decision Tab…
14370 journal = j-CACM,
14373 pages = "532--537",
14377 ISSN = "0001-0782",
14380 …problem of converting decision tables into efficient flowcharts and the well-understood problem in…
14381 acknowledgement = ack-nhfb,
14393 journal = j-CACM,
14396 pages = "549--557",
14400 ISSN = "0001-0782",
14404 …abstract = "This paper develops Brinch-Hansen's concept of a monitor as a method of structurin…
14405 acknowledgement = ack-nhfb,
14419 journal = j-CACM,
14422 pages = "558--568 (or 558--562??)",
14426 ISSN = "0001-0782",
14431 acknowledgement = ack-nhfb,
14443 journal = j-CACM,
14446 pages = "563--565",
14450 ISSN = "0001-0782",
14453 …-length reference string of arbitrary structure are considered, and an exact expression for averag…
14454 acknowledgement = ack-nhfb,
14466 journal = j-CACM,
14469 pages = "566--574",
14473 ISSN = "0001-0782",
14476 …ure declaration facility, a restriction on the permissible operations, and execution-time checks.",
14477 acknowledgement = ack-nhfb,
14489 title = "A Back-end Computer for Data Base Management",
14490 journal = j-CACM,
14493 pages = "575--583 (or 575--582??)",
14497 ISSN = "0001-0782",
14500 …-end computer which accepts commands (in a relatively high level language such as the CODASYL Data…
14501 acknowledgement = ack-nhfb,
14515 journal = j-CACM,
14518 pages = "583--587 (or 583--586??)",
14522 ISSN = "0001-0782",
14526 acknowledgement = ack-nhfb,
14538 journal = j-CACM,
14541 pages = "587--589 (or 587--588??)",
14545 ISSN = "0001-0782",
14548 acknowledgement = ack-nhfb,
14558 journal = j-CACM,
14561 pages = "589--590",
14565 ISSN = "0001-0782",
14567 acknowledgement = ack-nhfb,
14577 journal = j-CACM,
14580 pages = "590--590",
14584 ISSN = "0001-0782",
14586 acknowledgement = ack-nhfb,
14596 journal = j-CACM,
14599 pages = "590--591",
14603 ISSN = "0001-0782",
14605 acknowledgement = ack-nhfb,
14615 journal = j-CACM,
14618 pages = "591--591",
14622 ISSN = "0001-0782",
14625 acknowledgement = ack-nhfb,
14630 title = "Enumerating Full-Time Programmers",
14631 journal = j-CACM,
14634 pages = "592--593",
14638 ISSN = "0001-0782",
14641 …Labor's Area Wage Surveys are used to derive estimates of the number of full-time programmers empl…
14642 acknowledgement = ack-nhfb,
14651 journal = j-CACM,
14654 pages = "609--613",
14658 ISSN = "0001-0782",
14661 …uterized systems. The guidelines presented here were generated during a week-long workshop sponsor…
14662 acknowledgement = ack-nhfb,
14674 journal = j-CACM,
14677 pages = "614--620",
14681 ISSN = "0001-0782",
14685 acknowledgement = ack-nhfb,
14696 title = "A locally-organized parser for spoken input",
14697 journal = j-CACM,
14700 pages = "621--630",
14704 ISSN = "0001-0782",
14707 …-organized parsing system, designed for use in a continuous speech recognizer. LPARS processes a s…
14708 acknowledgement = ack-nhfb,
14720 journal = j-CACM,
14723 pages = "631--638",
14727 ISSN = "0001-0782",
14730 …usually pleasing to the layman. It appears that full-blown music theory is not needed for rounds -…
14731 acknowledgement = ack-nhfb,
14743 journal = j-CACM,
14746 pages = "638--642",
14750 ISSN = "0001-0782",
14754 acknowledgement = ack-nhfb,
14765 title = "Self-stabilizing Systems in Spite of Distributed Control",
14766 journal = j-CACM,
14769 pages = "643--644",
14773 ISSN = "0001-0782",
14776 acknowledgement = ack-nhfb,
14785 title = "An on-site data management system application in field archaeology",
14786 journal = j-CACM,
14789 pages = "644--646",
14793 ISSN = "0001-0782",
14795 acknowledgement = ack-nhfb,
14798 …keywords = "APL-PLUS; archaeology; data management system; field archaeology; file organisatio…
14805 journal = j-CACM,
14808 pages = "646--647",
14812 ISSN = "0001-0782",
14814 acknowledgement = ack-nhfb,
14823 title = "The best-match problem in document retrieval",
14824 journal = j-CACM,
14827 pages = "648--649",
14831 ISSN = "0001-0782",
14833 acknowledgement = ack-nhfb,
14843 journal = j-CACM,
14846 pages = "650--650",
14850 ISSN = "0001-0782",
14852 acknowledgement = ack-nhfb,
14862 journal = j-CACM,
14865 pages = "667--673",
14869 ISSN = "0001-0782",
14872 …--27. Japanese translation by Makoto Arisawa in {\sl bit\/ \bf 7} (1975), 434--444; reprinted in {…
14874 acknowledgement = ack-nhfb,
14886 journal = j-CACM,
14889 pages = "674--678",
14893 ISSN = "0001-0782",
14897 acknowledgement = ack-nhfb,
14909 journal = j-CACM,
14912 pages = "679--685",
14916 ISSN = "0001-0782",
14920 acknowledgement = ack-nhfb,
14932 journal = j-CACM,
14935 pages = "685--690",
14939 ISSN = "0001-0782",
14942 …ture vary significantly in execution time and that the B-schedule of Coffman and Graham is near-op…
14943 acknowledgement = ack-nhfb,
14954 title = "Computer Generation of Gamma Random Variates with Non-Integral Shape Parameters",
14955 journal = j-CACM,
14958 pages = "691--695",
14962 ISSN = "0001-0782",
14968 …-integral shape parameters. A common procedure is to approximately generate such random variables …
14969 acknowledgement = ack-nhfb,
14988 journal = j-CACM,
14991 pages = "696--698",
14995 ISSN = "0001-0782",
15003 acknowledgement = ack-nhfb,
15008 …--- Subroutines; data processing; educational administrative data processing; examination; examina…
15015 journal = j-CACM,
15018 pages = "699--702",
15022 ISSN = "0001-0782",
15028 …-step method for the numerical solution of initial value problems for systems of ordinary differen…
15029 acknowledgement = ack-nhfb,
15034 …keywords = "boundary-value problems; initial; initial value problems; mathematical techniques;…
15040 …title = "{ACM} Algorithm 487: Exact Cumulative Distribution of the {Kolmogorov-Smirnov} Sta…
15041 journal = j-CACM,
15044 pages = "703--704",
15048 ISSN = "0001-0782",
15051 acknowledgement = ack-nhfb,
15060 title = "{ACM} Algorithm 488: {A} {Gaussian} pseudo-random number generator [{G5}]",
15061 journal = j-CACM,
15064 pages = "704--706 (or 704--705??)",
15068 ISSN = "0001-0782",
15071 acknowledgement = ack-nhfb,
15088 journal = j-CACM,
15091 pages = "707--712",
15095 ISSN = "0001-0782",
15098 …odel fact retrieval system which uses a formal query language and a property-list data structure. …
15099 acknowledgement = ack-nhfb,
15111 journal = j-CACM,
15114 pages = "54--65",
15118 ISSN = "0001-0782",
15126 journal = j-CACM,
15129 pages = "157--164",
15133 ISSN = "0001-0782",
15141 journal = j-CACM,
15144 pages = "557--567",
15148 ISSN = "0001-0782",
15160 journal = j-CACM,
15163 pages = "4--9",
15167 ISSN = "0001-0782",
15170 … "Each of the four types of institutions --- academic, industry, government, and the professional…
15171 acknowledgement = ack-nhfb,
15183 journal = j-CACM,
15186 pages = "9--13",
15190 ISSN = "0001-0782",
15196 …are given, in particular for the generalization of order unit norms, L-norms and M-norms. An examp…
15197 acknowledgement = ack-nhfb,
15209 journal = j-CACM,
15212 pages = "14--19",
15216 ISSN = "0001-0782",
15223 …pment of mathematics. An account is given here of some of the methods used --- most of the derivat…
15224 acknowledgement = ack-nhfb,
15235 title = "On the Stability of {Gauss-Jordan} Elimination with Pivoting",
15236 journal = j-CACM,
15239 pages = "20--24",
15243 ISSN = "0001-0782",
15250 …-Jordan algorithm with partial pivoting for the solution of general systems of linear equations is…
15251 acknowledgement = ack-nhfb,
15256 …keywords = "back-substitution; backward error analysis; bound for residual; bounds for error i…
15264 journal = j-CACM,
15267 pages = "25--29",
15271 ISSN = "0001-0782",
15278 …damard's determinant theorem, which have some merits as alternatives to norm-bound ``condition num…
15279 acknowledgement = ack-nhfb,
15284 …keywords = "condition numbers; eigen systems; eigenvalues; error analysis; Gram-Schmidt orthog…
15290 title = "Perturbations of Eigenvalues of Non-Normal Matrices",
15291 journal = j-CACM,
15294 pages = "30--36",
15298 ISSN = "0001-0782",
15306 acknowledgement = ack-nhfb,
15311 …Gershgorin; Gershgorin circles; mathematical techniques; matrix algebra; non-normal matrices; nonn…
15318 journal = j-CACM,
15321 pages = "36--39",
15325 ISSN = "0001-0782",
15332 acknowledgement = ack-nhfb,
15344 journal = j-CACM,
15347 pages = "40--43",
15351 ISSN = "0001-0782",
15359 acknowledgement = ack-nhfb,
15371 journal = j-CACM,
15374 pages = "43--48",
15378 ISSN = "0001-0782",
15386 acknowledgement = ack-nhfb,
15397 title = "Storage-Efficient Representation of Decimal Data",
15398 journal = j-CACM,
15401 pages = "49--52",
15405 ISSN = "0001-0782",
15410 bibsource = "Compendex database; garbo.uwasa.fi:/pc/doc-soft/fpbiblio.txt",
15412 …-length combination of two variable field-length encodings. In over half of the cases the compress…
15413 acknowledgement = ack-nhfb,
15418 keywords = "data storage units; mathematical techniques --- Digital Arithmetic",
15426 journal = j-CACM,
15429 pages = "53--56",
15433 ISSN = "0001-0782",
15440 …-step formulas depending on parameters, with particular emphasis on the numerical solution of stif…
15441 acknowledgement = ack-nhfb,
15446 …keywords = "A(0)-stability; A(inf)-stability; accuracy; differential equations; error analysis…
15453 journal = j-CACM,
15456 pages = "57--58",
15460 ISSN = "0001-0782",
15461 MRclass = "62-04",
15468 acknowledgement = ack-nhfb,
15484 title = "Proposed Criterion for a Cipher to be Probable-Word Proof",
15485 journal = j-CACM,
15488 pages = "??--??",
15492 ISSN = "0001-0782",
15495 …, nor in MathSciNet, nor in Zentralblatt f{\"u}r Mathematik, nor in ACM Computing Archive CD-ROM.",
15501 journal = j-CACM,
15504 pages = "91--95",
15508 ISSN = "0001-0782",
15512 acknowledgement = ack-nhfb,
15524 journal = j-CACM,
15527 pages = "96--106",
15531 ISSN = "0001-0782",
15534 …abstract = "A model of natural language generation based on an underlying language-free repres…
15535 acknowledgement = ack-nhfb,
15540 …ing; surface grammatical; syntactic roles; systems science and cybernetics --- Artificial Intellig…
15546 title = "State-Space, Problem-Reduction, and Theorem Proving --- Some Relationships",
15547 journal = j-CACM,
15550 pages = "107--115",
15554 ISSN = "0001-0782",
15560 …-space and problem-reduction representations. It presents a formalism based on multiple-input and …
15561 acknowledgement = ack-nhfb,
15567 …-resolution; language recognition problem; linear resolution; multiple input operators; multiple o…
15574 journal = j-CACM,
15577 pages = "120--122",
15581 ISSN = "0001-0782",
15584 …te circles and approximately circular arcs of varying gray levels in an edge-enhanced digitized pi…
15585 acknowledgement = ack-nhfb,
15586 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
15596 title = "Matrix Reduction --- an Efficient Method (school timetables)",
15597 journal = j-CACM,
15600 pages = "141--150",
15604 ISSN = "0001-0782",
15610 … method for reduction of the binary matrices which arise in some school time-tabling problems. It …
15611 acknowledgement = ack-nhfb,
15623 journal = j-CACM,
15626 pages = "151--157",
15630 ISSN = "0001-0782",
15633 …-free grammar; a compiler-compiler is used to make a compiler that translates this language into t…
15634 acknowledgement = ack-nhfb,
15640 …n; realization; command language; graphics language; text processing; graphics; interactive mode;",
15643 …keywords = "compiler-compiler; computer controlled typesetting; computer graphics; computer pr…
15651 title = "{GLYPNIR} --- {A} programming language for {Illiac IV}",
15652 journal = j-CACM,
15655 pages = "157--164",
15659 ISSN = "0001-0782",
15662 …rammer explicitly to specify the parallelism of his algorithm in terms of 64-word vectors. This pa…
15663 acknowledgement = ack-nhfb,
15664 …classcodes = "C5400 (Analogue and digital computers and systems); C6140B (Machine-oriented langu…
15666 corpsource = "Univ. of Illinois, Urbana-Champaign, IL, USA",
15675 journal = j-CACM,
15678 pages = "165--172",
15682 ISSN = "0001-0782",
15685 …ally. The number of comparisons used to select the $i$-th smallest of $n$ numbers is $n + \min(i,n…
15686 acknowledgement = ack-nhfb,
15697 …title = "{ACM} Algorithm 489: The Algorithm {SELECT} -- for Finding the $i$th Smallest of $…
15698 journal = j-CACM,
15701 pages = "173--173",
15705 ISSN = "0001-0782",
15708 acknowledgement = ack-nhfb,
15718 journal = j-CACM,
15721 pages = "177--179",
15725 ISSN = "0001-0782",
15732 acknowledgement = ack-nhfb,
15744 journal = j-CACM,
15747 pages = "179--180",
15751 ISSN = "0001-0782",
15758 acknowledgement = ack-nhfb,
15769 title = "Corrigendum: {``Perturbations of eigenvalues of non-normal matrices''}",
15770 journal = j-CACM,
15777 ISSN = "0001-0782",
15783 acknowledgement = ack-nhfb,
15789 journal = j-CACM,
15792 pages = "181--183",
15796 ISSN = "0001-0782",
15800 acknowledgement = ack-nhfb,
15805 …keywords = "cigarette smoker's problem; co-operating processes; computer operating systems; co…
15811 title = "Computer Networks in Higher Education: Socio-Economic-Political Factors",
15812 journal = j-CACM,
15815 pages = "193--199",
15819 ISSN = "0001-0782",
15822 …-73. Five major and 18 minor networks were identified. The five major networks included: the ARPA …
15823 acknowledgement = ack-nhfb,
15824 …l computers and systems); C7110 (Educational administration); C7810C (Computer-aided instruction)",
15828 …ruction; computer networking; computer networks; computer systems, digital --- Time Sharing; data …
15835 journal = j-CACM,
15838 pages = "200--202",
15842 ISSN = "0001-0782",
15845 acknowledgement = ack-nhfb,
15855 journal = j-CACM,
15858 pages = "202--202",
15862 ISSN = "0001-0782",
15869 title = "On Maintenance of the Opportunity List for Class-Teacher Timetable Problems",
15870 journal = j-CACM,
15873 pages = "203--208",
15877 ISSN = "0001-0782",
15883 …abstract = "One of the principal components of procedures for the solution of class-teacher ti…
15884 acknowledgement = ack-nhfb,
15896 journal = j-CACM,
15899 pages = "209--216",
15903 ISSN = "0001-0782",
15907 acknowledgement = ack-nhfb,
15912 …keywords = "algorithms; computer graphics; computer-aided design; image processing; many faced…
15919 journal = j-CACM,
15922 pages = "216--217",
15926 ISSN = "0001-0782",
15929 …taining at least the square of one of the component primes have full-period integer-coefficient qu…
15930 acknowledgement = ack-nhfb,
15942 journal = j-CACM,
15945 pages = "218--220",
15949 ISSN = "0001-0782",
15956 acknowledgement = ack-nhfb,
15968 journal = j-CACM,
15971 pages = "221--222",
15975 ISSN = "0001-0782",
15979 acknowledgement = ack-nhfb,
15991 journal = j-CACM,
15994 pages = "223--230",
15998 ISSN = "0001-0782",
16002 …-order tree structure for event notices, and another uses an indexed linear list. The algorithms a…
16003 acknowledgement = ack-nhfb,
16020 journal = j-CACM,
16023 pages = "240--240",
16027 ISSN = "0001-0782",
16037 journal = j-CACM,
16040 pages = "240--241",
16044 ISSN = "0001-0782",
16053 journal = j-CACM,
16056 pages = "251--252",
16060 ISSN = "0001-0782",
16064 acknowledgement = ack-nhfb,
16069 …keywords = "bounded workspace; computer programming; computer programming languages --- List P…
16076 journal = j-CACM,
16079 pages = "253--263",
16083 ISSN = "0001-0782",
16086 … and machine timing and blocking specifications identified as having a first-order effect on perfo…
16087 acknowledgement = ack-nhfb,
16099 journal = j-CACM,
16102 pages = "264--274",
16106 ISSN = "0001-0782",
16110 acknowledgement = ack-nhfb,
16115 …keywords = "artificial intelligence; automata theory --- Computational Linguistics; computatio…
16122 journal = j-CACM,
16125 pages = "275--276 (or 275--275??)",
16129 ISSN = "0001-0782",
16131 acknowledgement = ack-nhfb,
16141 journal = j-CACM,
16144 pages = "278--279",
16148 ISSN = "0001-0782",
16153 acknowledgement = ack-nhfb,
16164 journal = j-CACM,
16167 pages = "279--279",
16171 ISSN = "0001-0782",
16173 acknowledgement = ack-nhfb,
16183 title = "A problem-list of public policy issues concerning computers and health care",
16184 journal = j-CACM,
16187 pages = "279--280",
16191 ISSN = "0001-0782",
16193 acknowledgement = ack-nhfb,
16203 journal = j-CACM,
16206 pages = "280--280",
16210 ISSN = "0001-0782",
16216 acknowledgement = ack-nhfb,
16222 journal = j-CACM,
16225 pages = "281--285",
16229 ISSN = "0001-0782",
16232 …, duration, and shape. The algorithm is of sufficient speed to allow on-line real-time processing.…
16233 acknowledgement = ack-nhfb,
16238 …--- Electrocardiography; context-free grammars; duration; electrocardiogram; electrocardiography; …
16245 journal = j-CACM,
16248 pages = "286--297",
16252 ISSN = "0001-0782",
16255 …urce management. These space planning tasks usually involve manipulating two-dimensional represent…
16256 acknowledgement = ack-nhfb,
16261 …-aided design; design; engineering; equipment layout; furniture layouts; heuristic; heuristic prob…
16268 journal = j-CACM,
16271 pages = "303--303",
16275 ISSN = "0001-0782",
16285 journal = j-CACM,
16288 pages = "310--310",
16292 ISSN = "0001-0782",
16294 acknowledgement = ack-nhfb,
16304 journal = j-CACM,
16307 pages = "311--317",
16311 ISSN = "0001-0782",
16314 …ter generated images of three-dimensional scenes depends on the shading technique used to paint th…
16315 acknowledgement = ack-nhfb,
16327 journal = j-CACM,
16330 pages = "318--322",
16334 ISSN = "0001-0782",
16338 acknowledgement = ack-nhfb,
16350 journal = j-CACM,
16353 pages = "323--329",
16357 ISSN = "0001-0782",
16360 …and less efficient at high levels. A simple mathematical model for the trade-off in the relative r…
16361 acknowledgement = ack-nhfb,
16364 corpsource = "Carnegie-Mellon Univ., Pittsburg, PA, USA",
16373 journal = j-CACM,
16376 pages = "330--331",
16380 ISSN = "0001-0782",
16384 acknowledgement = ack-nhfb,
16396 journal = j-CACM,
16399 pages = "331--332",
16403 ISSN = "0001-0782",
16407 acknowledgement = ack-nhfb,
16419 journal = j-CACM,
16422 pages = "333--340",
16426 ISSN = "0001-0782",
16433 acknowledgement = ack-nhfb,
16438 …--- Finite Automata; bibliographic search; computational complexity.; efficient; finite state mach…
16445 journal = j-CACM,
16448 pages = "341--343",
16452 ISSN = "0001-0782",
16459 acknowledgement = ack-nhfb,
16472 journal = j-CACM,
16475 pages = "344--346",
16479 ISSN = "0001-0782",
16483 acknowledgement = ack-nhfb,
16488 … handling; decimal arithmetic; digital arithmetic; mathematical techniques --- Digital Arithmetic;…
16495 journal = j-CACM,
16498 pages = "347--350 (or 347--349??)",
16502 ISSN = "0001-0782",
16508 acknowledgement = ack-nhfb,
16518 title = "Improved Event-Scanning Mechanisms for Discrete Event Simulation",
16519 journal = j-CACM,
16522 pages = "350--353",
16526 ISSN = "0001-0782",
16529 …-world'' applications have occasionally earned the reputation of eating up hours of computer time.…
16530 acknowledgement = ack-nhfb,
16547 title = "Ill-Chosen Use of ``Event''",
16548 journal = j-CACM,
16551 pages = "360--360",
16555 ISSN = "0001-0782",
16557 acknowledgement = ack-nhfb,
16563 journal = j-CACM,
16566 pages = "371--377",
16570 ISSN = "0001-0782",
16573 …abstract = "A step-by-step approach to model the dynamic behavior and evaluate the performance…
16574 acknowledgement = ack-nhfb,
16586 journal = j-CACM,
16589 pages = "377--389",
16593 ISSN = "0001-0782",
16597 acknowledgement = ack-nhfb,
16609 journal = j-CACM,
16612 pages = "390--400",
16616 ISSN = "0001-0782",
16620 acknowledgement = ack-nhfb,
16632 journal = j-CACM,
16635 pages = "401--408",
16639 ISSN = "0001-0782",
16643 acknowledgement = ack-nhfb,
16654 title = "Determining the Minimum-Area Encasing Rectangle for an Arbitrary Closed Curve",
16655 journal = j-CACM,
16658 pages = "409--413",
16662 ISSN = "0001-0782",
16668 …-perimeter convex polygon that encloses the given curve and then selecting the rectangle of minimu…
16669 acknowledgement = ack-nhfb,
16674 …keywords = "enclosed curve; minimum-area encasing rectangle; optimization; optimum layout; opt…
16682 journal = j-CACM,
16685 pages = "413--415",
16689 ISSN = "0001-0782",
16693 acknowledgement = ack-nhfb,
16705 journal = j-CACM,
16708 pages = "416--418",
16712 ISSN = "0001-0782",
16714 acknowledgement = ack-nhfb,
16723 …title = "On the External Storage Fragmentation Produced by First-Fit and Best-Fit Allocatio…
16724 journal = j-CACM,
16727 pages = "433--440",
16731 ISSN = "0001-0782",
16734 …-known storage-allocation strategies, first-fit and best-fit. For exponential and hyperexponential…
16735 acknowledgement = ack-nhfb,
16747 journal = j-CACM,
16750 pages = "441--452",
16754 ISSN = "0001-0782",
16760 …criptions are considered. These methods involve the use of ambiguous context-free grammars togethe…
16761 acknowledgement = ack-nhfb,
16766 …ous grammars; computer programming languages; context free grammars; context-free grammars; LL par…
16773 journal = j-CACM,
16776 pages = "453--457",
16780 ISSN = "0001-0782",
16786 …abstract = "So-called ``guarded commands'' are introduced as a building block for alternative …
16787 acknowledgement = ack-nhfb,
16793 …anguages; constructs; correctness proof; derivation; guarded commands; k-guarded-commands; nondete…
16800 journal = j-CACM,
16803 pages = "458--458",
16807 ISSN = "0001-0782",
16810 acknowledgement = ack-nhfb,
16829 journal = j-CACM,
16832 pages = "459--462",
16836 ISSN = "0001-0782",
16839 …ve programming systems often contain help commands to give the programmer on-line instruction rega…
16840 acknowledgement = ack-nhfb,
16846 … languages; sharing programs; systems commands; time sharing systems; time-; time-sharing systems",
16853 journal = j-CACM,
16856 pages = "462--462",
16860 ISSN = "0001-0782",
16868 journal = j-CACM,
16871 pages = "462--462",
16875 ISSN = "0001-0782",
16883 journal = j-CACM,
16886 pages = "463--463",
16890 ISSN = "0001-0782",
16892 acknowledgement = ack-nhfb,
16902 journal = j-CACM,
16905 pages = "464--471",
16909 ISSN = "0001-0782",
16915 …btained by the application of these theorems are compared with that of query-inverted file organiz…
16916 acknowledgement = ack-nhfb,
16927 title = "Multiple Byte Processing with Full-Word Instructions",
16928 journal = j-CACM,
16931 pages = "471--475",
16935 ISSN = "0001-0782",
16938 …ich allows parallel processing of packed data items using only ordinary full-word computer instruc…
16939 acknowledgement = ack-nhfb,
16944 …racters; byte processing; character processing; data processing; datum; full-word instructions; pa…
16951 journal = j-CACM,
16954 pages = "476--480",
16958 ISSN = "0001-0782",
16961 …ombining of decision rules. This method is logically equivalent to the Quine-McCluskey method for …
16962 acknowledgement = ack-nhfb,
16974 journal = j-CACM,
16977 pages = "495--508",
16981 ISSN = "0001-0782",
16985 …d and discussed. \par The simple case of two processors, one performing LISP-like list operations …
16986 acknowledgement = ack-nhfb,
16998 journal = j-CACM,
17001 pages = "509--517",
17005 ISSN = "0001-0782",
17008 …-d tree, where k is the dimensionality of the search space) as a data structure for storage of inf…
17009 acknowledgement = ack-nhfb,
17014 …-addressable storage; data structures; efficient; homogeneous splitting; information; information …
17021 journal = j-CACM,
17024 pages = "517--523",
17028 ISSN = "0001-0782",
17032 acknowledgement = ack-nhfb,
17044 journal = j-CACM,
17047 pages = "524--527",
17051 ISSN = "0001-0782",
17055 acknowledgement = ack-nhfb,
17064 …anisation; input/output; modelling; operational; optimization; probability --- Queueing Theory; pr…
17073 journal = j-CACM,
17076 pages = "528--539",
17080 ISSN = "0001-0782",
17086 …-form expressions for their execution behavior. This paper discusses the mechanization of such ana…
17087 acknowledgement = ack-nhfb,
17099 journal = j-CACM,
17102 pages = "551--557",
17106 ISSN = "0001-0782",
17110 acknowledgement = ack-nhfb,
17116 review = "ACM CR 7604-??",
17123 journal = j-CACM,
17126 pages = "557--567",
17130 ISSN = "0001-0782",
17135 acknowledgement = ack-nhfb,
17140 … languages; convert; data; data conversion; data handling; data processing --- Data Structures; da…
17145 author = "John Miles Smith and Philip Yen-Tang Chang",
17147 journal = j-CACM,
17150 pages = "568--579",
17154 ISSN = "0001-0782",
17158 acknowledgement = ack-nhfb,
17170 journal = j-CACM,
17173 pages = "580--588",
17177 ISSN = "0001-0782",
17181 … professionals. The objective of the language is to provide a simple, easy-to-learn means of expre…
17182 acknowledgement = ack-nhfb,
17195 journal = j-CACM,
17198 pages = "588--591",
17202 ISSN = "0001-0782",
17206 acknowledgement = ack-nhfb,
17211 …keywords = "Batcher's algorithm; computer systems programming --- Sorting; computer systems, d…
17218 journal = j-CACM,
17221 pages = "592--593",
17225 ISSN = "0001-0782",
17229 acknowledgement = ack-nhfb,
17238 …s rule; load dependent service rate; multinomial sums; operations research --- Computer Applicatio…
17247 journal = j-CACM,
17250 pages = "613--620",
17254 ISSN = "0001-0782",
17258 acknowledgement = ack-nhfb,
17271 journal = j-CACM,
17274 pages = "621--628",
17278 ISSN = "0001-0782",
17281 … published in/as: in Douque74 (IFIP TC-2), 1974. Also published in/as: ACM SIGPLAN-SIGIR 1974, Nan…
17282 …alled SQUARE, intended for use in ad hoc, interactive problem solving by non-computer specialists.…
17283 acknowledgement = ack-nhfb,
17295 journal = j-CACM,
17298 pages = "629--639",
17302 ISSN = "0001-0782",
17305 …-then-else and while-do is discussed. Several recent ideas on control structures are then explored…
17306 acknowledgement = ack-nhfb,
17318 journal = j-CACM,
17321 pages = "639--650 (or 639--649??)",
17325 ISSN = "0001-0782",
17328 …r describes a recovery scheme for syntax errors which provides automatically-generated high qualit…
17329 acknowledgement = ack-nhfb,
17341 journal = j-CACM,
17344 pages = "651--656",
17348 ISSN = "0001-0782",
17351 …eviously open combinatorial problems, the computation of new terms in a well-known series, and the…
17352 acknowledgement = ack-nhfb,
17357 …t search; depth-first search; difference-preserving codes; exhaustive; exhaustive search; graph co…
17364 journal = j-CACM,
17367 pages = "656--657",
17371 ISSN = "0001-0782",
17378 acknowledgement = ack-nhfb,
17390 journal = j-CACM,
17393 pages = "676--683",
17397 ISSN = "0001-0782",
17403 …n programming. The development of natural languages toward flexionless, word-order based language …
17404 acknowledgement = ack-nhfb,
17416 journal = j-CACM,
17419 pages = "683--696",
17423 ISSN = "0001-0782",
17427 acknowledgement = ack-nhfb,
17439 journal = j-CACM,
17442 pages = "697--706",
17446 ISSN = "0001-0782",
17453 …mars are an extension of context-free grammars devised by Knuth as a mechanism for including the s…
17454 acknowledgement = ack-nhfb,
17459 …l complexity; computer programming languages; context free grammars; context-free grammars; determ…
17466 journal = j-CACM,
17469 pages = "707--716",
17473 ISSN = "0001-0782",
17480 …-free grammar is a member of some easily parsed subclass of grammars such as the LR(k) grammars is…
17481 acknowledgement = ack-nhfb,
17487 …keywords = "computational complexity; context free grammar; context-free grammars; LR(k) gramm…
17494 journal = j-CACM,
17497 pages = "716--716",
17501 ISSN = "0001-0782",
17504 …e number of exits from program loops. Consequently a restriction to one-entry one-exit control str…
17505 acknowledgement = ack-nhfb,
17508 …ow; depth-first search; flow graph; function spaces; global flow analysis; go-to-less programming;…
17515 journal = j-CACM,
17518 pages = "717--721",
17522 ISSN = "0001-0782",
17530 acknowledgement = ack-nhfb,
17542 journal = j-CACM,
17545 pages = "722--728",
17549 ISSN = "0001-0782",
17552 …-theoretically oriented language of very high level whose repertoire of semantic objects includes …
17553 acknowledgement = ack-nhfb,
17558 …mming; computer programming languages; data flow analysis; data processing --- Data Structures; da…
17565 journal = j-CACM,
17568 pages = "3--13",
17572 ISSN = "0001-0782",
17576 acknowledgement = ack-nhfb,
17586 …keywords = "ARPANET; communication line; computer networks; computer systems, digital --- Time…
17595 journal = j-CACM,
17598 pages = "13--18 (or 13--17??)",
17602 ISSN = "0001-0782",
17606 acknowledgement = ack-nhfb,
17618 journal = j-CACM,
17621 pages = "18--22",
17625 ISSN = "0001-0782",
17628 …abstract = "Two analytic models of a store-and-forward communications network are constructed,…
17629 acknowledgement = ack-nhfb,
17630 …annote = "Two analytic models of a store-and-forward communications network are constructed,…
17635 …g algorithm; adaptive routing; quadratic routing; alternate routing; store-and-forward; computer n…
17638 …ratic adaptive routing; quadratic routing; routing; routing algorithms; store-and-forward network",
17646 title = "Performance of Height-Balanced Trees",
17647 journal = j-CACM,
17650 pages = "23--28",
17654 ISSN = "0001-0782",
17657 …esents the results of simulations that investigate the performance of height-balanced (HB left bra…
17658 acknowledgement = ack-nhfb,
17662 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
17672 journal = j-CACM,
17675 pages = "29--33",
17679 ISSN = "0001-0782",
17682 …ems must be reflected in the reference code framework is shown through a set-theoretic information…
17683 acknowledgement = ack-nhfb,
17695 title = "Study of Errors, Error-Proneness, and Error Diagnosis in {Cobol}",
17696 journal = j-CACM,
17699 pages = "33--37",
17703 ISSN = "0001-0782",
17706 …-oriented compilers, improvement of teaching, and changes in programming language. Cobol was studi…
17707 acknowledgement = ack-nhfb,
17719 journal = j-CACM,
17725 ISSN = "0001-0782",
17730 acknowledgement = ack-nhfb,
17736 journal = j-CACM,
17739 pages = "55--62",
17743 ISSN = "0001-0782",
17749 …adapting the attribute grammar of a given programming language to the left-to-right evaluation sch…
17750 acknowledgement = ack-nhfb,
17755 …s; computer programming languages; context free grammar; context-free grammars; context-free langu…
17761 title = "On Self-Organizing Sequential Search Heuristics",
17762 journal = j-CACM,
17765 pages = "63--67",
17769 ISSN = "0001-0782",
17776 acknowledgement = ack-nhfb,
17789 journal = j-CACM,
17792 pages = "68--72",
17796 ISSN = "0001-0782",
17799 …mentation of M. B. Wells' algorithm and Erlich's implementation of the Johnson-Trotter algorithm.",
17800 acknowledgement = ack-nhfb,
17812 journal = j-CACM,
17815 pages = "73--83",
17819 ISSN = "0001-0782",
17822 …presented as a shortest path problem on a graph and can be solved using well-known graph search al…
17823 acknowledgement = ack-nhfb,
17824 …classcodes = "B0260 (Optimisation techniques); B6140C (Optical information, image and video sign…
17835 journal = j-CACM,
17838 pages = "84--95",
17842 ISSN = "0001-0782",
17846 acknowledgement = ack-nhfb,
17858 journal = j-CACM,
17861 pages = "96--97",
17865 ISSN = "0001-0782",
17873 acknowledgement = ack-nhfb,
17885 journal = j-CACM,
17888 pages = "98--101",
17892 ISSN = "0001-0782",
17899 acknowledgement = ack-nhfb,
17911 journal = j-CACM,
17914 pages = "113--126",
17918 ISSN = "0001-0782",
17919 MRclass = "68-01",
17922 acknowledgement = ack-nhfb,
17924 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
17932 journal = j-CACM,
17935 pages = "127--136",
17939 ISSN = "0001-0782",
17945 …y join, with toll, service, and waiting charges is formulated here as a semi-Markov decision proce…
17946 acknowledgement = ack-nhfb,
17951 …ions research; optimal joining policy; price; priority queues; probability --- Queueing Theory; re…
17958 journal = j-CACM,
17961 pages = "137--147 (or 137--146??)",
17965 ISSN = "0001-0782",
17968 …en which determines all the definitions which can possibly ``reach'' each mode of the control flow…
17969 acknowledgement = ack-nhfb,
17981 journal = j-CACM,
17984 pages = "148--159",
17988 ISSN = "0001-0782",
17991 …nternal behavior of users' programs which interact with it. A model for user-database interaction …
17992 acknowledgement = ack-nhfb,
18001 journal = j-CACM,
18004 pages = "148--159",
18008 ISSN = "0001-0782",
18010 acknowledgement = ack-nhfb,
18020 journal = j-CACM,
18023 pages = "171--174",
18027 ISSN = "0001-0782",
18029 acknowledgement = ack-nhfb,
18039 journal = j-CACM,
18042 pages = "175--181",
18046 ISSN = "0001-0782",
18050 acknowledgement = ack-nhfb,
18062 journal = j-CACM,
18065 pages = "182--187",
18069 ISSN = "0001-0782",
18070 MRclass = "50-04 50D15 68A05",
18076 acknowledgement = ack-nhfb,
18088 journal = j-CACM,
18095 ISSN = "0001-0782",
18101 acknowledgement = ack-nhfb,
18107 journal = j-CACM,
18110 pages = "188--206",
18114 ISSN = "0001-0782",
18120 acknowledgement = ack-nhfb,
18132 journal = j-CACM,
18135 pages = "236--243",
18139 ISSN = "0001-0782",
18147 acknowledgement = ack-nhfb,
18159 journal = j-CACM,
18162 pages = "243--250",
18166 ISSN = "0001-0782",
18169 …-11\slash 45 is being proved. This paper describes the technique used to carry out the first step …
18170 acknowledgement = ack-nhfb,
18175 …keywords = "computer operating systems; computer systems, digital --- Time Sharing; correctnes…
18182 journal = j-CACM,
18185 pages = "251--265",
18189 ISSN = "0001-0782",
18193 acknowledgement = ack-nhfb,
18198 …ting system; operating systems (computers); protection; security of data; sharing programs; time-",
18205 journal = j-CACM,
18208 pages = "266--272",
18212 ISSN = "0001-0782",
18215 … run-time modules at the lowest system level. The system is expected to produce several family mem…
18216 acknowledgement = ack-nhfb,
18219 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
18228 journal = j-CACM,
18231 pages = "273--279 (or 273--278??)",
18235 ISSN = "0001-0782",
18239 acknowledgement = ack-nhfb,
18244 …puter metatheory; computer operating systems; computer systems programming --- Multiprogramming; c…
18251 journal = j-CACM,
18254 pages = "279--285",
18258 ISSN = "0001-0782",
18266 acknowledgement = ack-nhfb,
18278 journal = j-CACM,
18281 pages = "285--294",
18285 ISSN = "0001-0782",
18289 acknowledgement = ack-nhfb,
18300 title = "{VMIN} --- an Optimal Variable-Space Page Replacement Algorithm",
18301 journal = j-CACM,
18304 pages = "295--297",
18308 ISSN = "0001-0782",
18312 acknowledgement = ack-nhfb,
18317 …keywords = "computer operating systems; computer systems programming --- Supervisory and Execu…
18322 title = "Analysis of the {PFF} Replacement Algorithm via a {Semi-Markov} Model",
18323 journal = j-CACM,
18326 pages = "298--304",
18330 ISSN = "0001-0782",
18337 …-Markov model. Using these models, such parameters as the inter-page-fault interval distribution, …
18338 acknowledgement = ack-nhfb,
18343 …keywords = "behaviour; computer operating systems; computer systems programming --- Supervisor…
18350 journal = j-CACM,
18353 pages = "311--313",
18357 ISSN = "0001-0782",
18359 acknowledgement = ack-nhfb,
18369 journal = j-CACM,
18372 pages = "314--326",
18376 ISSN = "0001-0782",
18380 acknowledgement = ack-nhfb,
18386 …--- Utility Programs; data management; data processing; database management systems; file organisa…
18393 journal = j-CACM,
18396 pages = "327--334",
18400 ISSN = "0001-0782",
18404 acknowledgement = ack-nhfb,
18416 journal = j-CACM,
18419 pages = "335--338",
18423 ISSN = "0001-0782",
18427 acknowledgement = ack-nhfb,
18439 journal = j-CACM,
18442 pages = "338--342",
18446 ISSN = "0001-0782",
18449 …s, can replace some header cells, and enhance the famous exclusive-or trick to double-link lists.",
18450 acknowledgement = ack-nhfb,
18455 …keywords = "circular link; computer programming --- Subroutines; computer programming language…
18462 journal = j-CACM,
18465 pages = "343--351",
18469 ISSN = "0001-0782",
18472 …numeration of all possible decision trees using a technique such as branch-and-bound. The new appr…
18473 acknowledgement = ack-nhfb,
18478 …ision tables; decision trees; dynamic programming; mathematical techniques --- Combinatorial Mathe…
18485 journal = j-CACM,
18488 pages = "352--354 (or 353--354??)",
18492 ISSN = "0001-0782",
18496 acknowledgement = ack-nhfb,
18499 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
18501 …omplexity; computer programming --- Subroutines; computer programming languages; constant workspac…
18508 journal = j-CACM,
18511 pages = "354--354",
18515 ISSN = "0001-0782",
18524 journal = j-CACM,
18527 pages = "355--356",
18531 ISSN = "0001-0782",
18534 acknowledgement = ack-nhfb,
18544 journal = j-CACM,
18547 pages = "369--370",
18551 ISSN = "0001-0782",
18555 acknowledgement = ack-nhfb,
18567 journal = j-CACM,
18570 pages = "371--384",
18574 ISSN = "0001-0782",
18580 …allel computation are presented: an abstract conceptual model and a parallel-program model. The fo…
18581 acknowledgement = ack-nhfb,
18586 …keywords = "assertions; computer metatheory --- Programming Theory; computer systems, digital;…
18593 journal = j-CACM,
18596 pages = "385--394",
18600 ISSN = "0001-0782",
18607 acknowledgement = ack-nhfb,
18612 …keywords = "computer metatheory --- Formal Logic; computer programming languages; debugging; E…
18619 journal = j-CACM,
18622 pages = "395--404",
18626 ISSN = "0001-0782",
18630 acknowledgement = ack-nhfb,
18635 …munication; computer networks; computer systems, digital --- Real Time Operation; computers --- Da…
18640 author = "Cheng-Wen Cheng and Jonas Rabin",
18642 journal = j-CACM,
18645 pages = "404--406",
18649 ISSN = "0001-0782",
18653 acknowledgement = ack-nhfb,
18658 …keywords = "computer systems programming; data processing --- Security of Data; decision rules…
18664 title = "Sampling from the {Gamma-distribution} on a computer",
18665 journal = j-CACM,
18668 pages = "407--409",
18672 ISSN = "0001-0782",
18679 acknowledgement = ack-nhfb,
18687 …istribution; gamma variates; operations research; probability; probability --- Random Processes; r…
18696 journal = j-CACM,
18699 pages = "409--415",
18703 ISSN = "0001-0782",
18709 …-trie, to be used in information retrieval systems. It has the same underlying m-ary tree structur…
18710 acknowledgement = ack-nhfb,
18715 …keywords = "data processing --- Data Structures; data storage, digital; data structure; data s…
18722 journal = j-CACM,
18725 pages = "416--417",
18729 ISSN = "0001-0782",
18733 acknowledgement = ack-nhfb,
18738 …ting systems; computer systems programming --- Supervisory and Executive Programs; data storage, m…
18745 journal = j-CACM,
18748 pages = "417--418",
18752 ISSN = "0001-0782",
18755 acknowledgement = ack-nhfb,
18770 journal = j-CACM,
18773 pages = "430--436",
18777 ISSN = "0001-0782",
18781 acknowledgement = ack-nhfb,
18793 journal = j-CACM,
18796 pages = "437--453",
18800 ISSN = "0001-0782",
18807 acknowledgement = ack-nhfb,
18812 …--- Context Free Languages; computer metatheory; computer programming languages --- Analysis; cont…
18818 title = "Designing Surfaces in {3-D}",
18819 journal = j-CACM,
18822 pages = "454--460",
18826 ISSN = "0001-0782",
18832 …-aided design of free-form surfaces in three dimensions is described. The surfaces are represented…
18833 acknowledgement = ack-nhfb,
18838 …er peripheral equipment --- Light Pens; computer systems, digital --- Real Time Operation; compute…
18845 journal = j-CACM,
18848 pages = "461--471",
18852 ISSN = "0001-0782",
18859 acknowledgement = ack-nhfb,
18864 … "(computers); automata theory --- Turing Machines; computability and decidability; computer o…
18871 title = "An Insertion Technique for One-Sided Height-Balanced Trees",
18872 journal = j-CACM,
18875 pages = "471--473",
18879 ISSN = "0001-0782",
18882 …abstract = "A restriction on height-balanced binary trees is presented. It is seen that this r…
18883 acknowledgement = ack-nhfb,
18894 …title = "Corrigendum: {``Analysis of the PFF replacement algorithm via a semi-Markov model'…
18895 journal = j-CACM,
18901 ISSN = "0001-0782",
18906 acknowledgement = ack-nhfb,
18912 journal = j-CACM,
18915 pages = "??--??",
18919 ISSN = "0001-0782",
18923 … "Cannot find this corrigendum in 1976--1977 issues, or on Compendex database, or in ACM Computi…
18929 journal = j-CACM,
18932 pages = "491--500",
18936 ISSN = "0001-0782",
18942 …-shared with them. Algorithms for recovering discarded list structures in this manner are presente…
18943 acknowledgement = ack-nhfb,
18949 … "computer programming --- Subroutines; computer programming languages --- lisp; computer systems …
18956 journal = j-CACM,
18959 pages = "501--508",
18963 ISSN = "0001-0782",
18969 …-case, minimum number of comparisons complexity V//i (n) of the i-th selection problem is consider…
18970 acknowledgement = ack-nhfb,
18982 journal = j-CACM,
18985 pages = "509--513",
18989 ISSN = "0001-0782",
18995 …ree are associated with weighting functions over the vocabulary of a context-free grammar. An algo…
18996 acknowledgement = ack-nhfb,
19001 …y; combinatorial optimisation; computer programming --- Subroutines; context free grammars; contex…
19008 journal = j-CACM,
19011 pages = "514--516",
19015 ISSN = "0001-0782",
19019 acknowledgement = ack-nhfb,
19031 journal = j-CACM,
19034 pages = "517--521",
19038 ISSN = "0001-0782",
19044 …abstract = "Algorithms are presented to generate the n-bit binary reflected Gray code and code…
19045 acknowledgement = ack-nhfb,
19048 corpsource = "Dept. of Computer Sci., Univ. of Illinois, Urbana-Champaign, IL, USA",
19050 … combinations; combinatorial computing; compositions; computer programming --- Subroutines; fixed …
19057 journal = j-CACM,
19060 pages = "522--526",
19064 ISSN = "0001-0782",
19067 … longer useful or accessible. A reference count scheme for reclaiming non-self-referential structu…
19068 acknowledgement = ack-nhfb,
19071 …comment = "Transaction-based reference counting; interesting blend of marking and ref-countin…
19074 …s space; computer operating systems --- Storage Allocation; computer programming; computer program…
19081 journal = j-CACM,
19084 pages = "526--529",
19088 ISSN = "0001-0782",
19093 acknowledgement = ack-nhfb,
19098 …keywords = "computer programming; context tree; context trees; data processing --- Data Struct…
19105 journal = j-CACM,
19108 pages = "542--547",
19112 ISSN = "0001-0782",
19116 acknowledgement = ack-nhfb,
19129 journal = j-CACM,
19132 pages = "547--554",
19136 ISSN = "0001-0782",
19140 acknowledgement = ack-nhfb,
19145 …e; hierarchical data structures; image processing; mathematical techniques --- Combinatorial Mathe…
19152 journal = j-CACM,
19155 pages = "555--563",
19159 ISSN = "0001-0782",
19165 …-dimensional objects, with surfaces made up of patches of quadric surfaces, is described. The emph…
19166 acknowledgement = ack-nhfb,
19171 …ves and surfaces; graphics; hidden; intersections; mathematical techniques --- Function Evaluation…
19178 journal = j-CACM,
19181 pages = "564--569",
19185 ISSN = "0001-0782",
19189 acknowledgement = ack-nhfb,
19194 … key frame animation; motion analysis and motion dynamics; motion pictures --- Animation; skeleton…
19201 journal = j-CACM,
19204 pages = "570--576",
19208 ISSN = "0001-0782",
19211 …in the physical sciences, although they are not intended to solve highly ill-conditioned problems …
19212 acknowledgement = ack-nhfb,
19217 … discriminant analysis; factor analysis; graphics; mathematical statistics --- Computer Applicatio…
19221 @Article{Duong-Kien:1976:IMA,
19222 author = "C. Duong-Kien and H.-J. Hoffmann and D. Muth",
19224 journal = j-CACM,
19227 pages = "576--577",
19231 ISSN = "0001-0782",
19236 acknowledgement = ack-nhfb,
19246 journal = j-CACM,
19249 pages = "578--581",
19253 ISSN = "0001-0782",
19257 acknowledgement = ack-nhfb,
19269 journal = j-CACM,
19272 pages = "595--600",
19276 ISSN = "0001-0782",
19278 acknowledgement = ack-nhfb,
19288 journal = j-CACM,
19291 pages = "601--608",
19295 ISSN = "0001-0782",
19299 acknowledgement = ack-nhfb,
19304 … = "COBOL; computer programming --- Structured Programming; computer programming languages; co…
19311 journal = j-CACM,
19314 pages = "609--616",
19318 ISSN = "0001-0782",
19322 acknowledgement = ack-nhfb,
19325 corpsource = "Univ. of Illinois, Urbana-Champaign, IL, USA",
19327 …--- Program Compilers; computer programming languages --- Procedure Orientation; computer science …
19334 journal = j-CACM,
19337 pages = "617--623 (or 617--622??)",
19341 ISSN = "0001-0782",
19345 acknowledgement = ack-nhfb,
19350 …gorithms; computer programming --- Subroutines; data file compaction; data processing; decoder; en…
19357 journal = j-CACM,
19360 pages = "624--633",
19364 ISSN = "0001-0782",
19372 acknowledgement = ack-nhfb,
19373 …-formed (they obtain and release all locks required to avoid conflicts) and 2-phase (they don't ob…
19378 …keywords = "computer operating systems --- Scheduling; computer systems programming --- Multip…
19385 journal = j-CACM,
19388 pages = "634--642",
19392 ISSN = "0001-0782",
19396 acknowledgement = ack-nhfb,
19401 …keywords = "accessing; cost; data base systems --- Optimization; data processing --- File Orga…
19407 title = "High-Level Binding with Low-Level Linkers",
19408 journal = j-CACM,
19411 pages = "642--644",
19415 ISSN = "0001-0782",
19418 …enforce agreement between complex data types in separately compiled modules. The scheme is designe…
19419 acknowledgement = ack-nhfb,
19430 title = "Roster of Programming Languages for 1974--75",
19431 journal = j-CACM,
19434 pages = "655--669",
19438 ISSN = "0001-0782",
19441 …-level languages which have been developed or reported in the United States; have been implemented…
19442 acknowledgement = ack-nhfb,
19454 journal = j-CACM,
19457 pages = "670--673",
19461 ISSN = "0001-0782",
19465 acknowledgement = ack-nhfb,
19470 …keywords = "computer engineering research; computer science research; computers --- Research; …
19476 title = "Computer-Aided Analysis and Design of Information Systems",
19477 journal = j-CACM,
19480 pages = "674--687",
19484 ISSN = "0001-0782",
19487 …-aided analysis for the design and development of an integrated financial management system by the…
19488 acknowledgement = ack-nhfb,
19493 …--- Computer Aided Design; computer-aided analysis; data base systems --- Computer Aided Design; d…
19500 journal = j-CACM,
19503 pages = "688--695",
19507 ISSN = "0001-0782",
19510 …-driven waveform analysis system has been applied with good results to these pulse waves to detect…
19511 acknowledgement = ack-nhfb,
19512 …classcodes = "B6140C (Optical information, image and video signal processing); C1120 (Mathematic…
19515 …ory --- Context Free Languages; biomedical engineering --- Computer Aided Diagnosis; cardiovascula…
19522 journal = j-CACM,
19525 pages = "2--12",
19529 ISSN = "0001-0782",
19532 … Top-down program design is implemented through the use of structured flowcharts, disciplined spec…
19533 acknowledgement = ack-nhfb,
19541 …--- Programming Theory; computer programming; computer programming languages --- Cobol; flowchart;…
19550 journal = j-CACM,
19553 pages = "13--21",
19557 ISSN = "0001-0782",
19561 acknowledgement = ack-nhfb,
19566 …ricula; computer science education; computers; curricula; education; education --- Bibliographies",
19573 journal = j-CACM,
19576 pages = "22--31 (or 22--30??)",
19580 ISSN = "0001-0782",
19583 … and each request requires information from one or more variable length data-items. The file syste…
19584 acknowledgement = ack-nhfb,
19589 …orage, digital --- Mathematical Models; file design; file organisation; file partitioning; file sy…
19596 journal = j-CACM,
19599 pages = "31--36 (or 31--35??)",
19603 ISSN = "0001-0782",
19607 acknowledgement = ack-nhfb,
19612 …mming; retrieval; secondary keys; sorting; systems science and cybernetics --- Artificial Intellig…
19619 journal = j-CACM,
19622 pages = "36--44",
19626 ISSN = "0001-0782",
19630 acknowledgement = ack-nhfb,
19635 …t; ALGOL; ALGOL 60; computer operating systems --- Storage Allocation; computer programming langua…
19642 journal = j-CACM,
19645 pages = "49--50",
19649 ISSN = "0001-0782",
19656 journal = j-CACM,
19659 pages = "63--77",
19663 ISSN = "0001-0782",
19667 acknowledgement = ack-nhfb,
19678 journal = j-CACM,
19681 pages = "78--87",
19685 ISSN = "0001-0782",
19688 …ation physically nearby in memory. The use of such regularities in the space-efficient representat…
19689 acknowledgement = ack-nhfb,
19692 comment = "Great paper; evidence pro CDR-coding, con fancy CONS",
19693 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
19695 …keywords = "computer programming languages; data processing --- Data Structures; empirical stu…
19702 journal = j-CACM,
19705 pages = "87--93",
19709 ISSN = "0001-0782",
19716 acknowledgement = ack-nhfb,
19720 corpsource = "Univ. of Illinois, Urbana-Champaign, IL, USA",
19722 …onvex hull algorithm; divide-and-conquer; finite sets of points; structural analysis --- Computer …
19728 title = "Transient-Free Working-Set Statistics",
19729 journal = j-CACM,
19732 pages = "93--99",
19736 ISSN = "0001-0782",
19742 …-average working-set size and transient-free missing-page rate for a finite sample of a reference …
19743 acknowledgement = ack-nhfb,
19756 journal = j-CACM,
19759 pages = "100--106",
19763 ISSN = "0001-0782",
19767 acknowledgement = ack-nhfb,
19772 …n; arcs; circle drawing; circular; computer graphics; computer programming --- Subroutines; dot ge…
19779 journal = j-CACM,
19782 pages = "107--112",
19786 ISSN = "0001-0782",
19789 …-conditioned in some cases. In attempting to solve these linear programming models, using IBM's MP…
19790 acknowledgement = ack-nhfb,
19795 …ing; mathematical programming, linear; MPS package; phenomena; probability --- Queueing Theory; qu…
19802 journal = j-CACM,
19805 pages = "113--115",
19809 ISSN = "0001-0782",
19811 acknowledgement = ack-nhfb,
19821 journal = j-CACM,
19824 pages = "127--135",
19828 ISSN = "0001-0782",
19831 …eased by smoothing the key-to-address transformation, and by adding shadow buckets to an open chai…
19832 acknowledgement = ack-nhfb,
19837 …a processing --- File Organization; data storage, digital; file loading; file organisation; improv…
19844 journal = j-CACM,
19847 pages = "135--142",
19851 ISSN = "0001-0782",
19858 acknowledgement = ack-nhfb,
19863 …eval system evaluation; information retrieval systems; information science --- Indexing; performan…
19870 journal = j-CACM,
19873 pages = "143--153",
19877 ISSN = "0001-0782",
19880 …r lives? The paper also discusses the problem of detecting desirable but non-existing instructions…
19881 acknowledgement = ack-nhfb,
19884 corpsource = "Carnegie-Mellon Univ., Pittsburg, PA, USA",
19886 …re; computer programming languages --- Machine Orientation; computer selection and evaluation; com…
19893 journal = j-CACM,
19896 pages = "153--165",
19900 ISSN = "0001-0782",
19907 acknowledgement = ack-nhfb,
19912 …--- Storage Allocation; computer systems, digital; distribution; interactive computer; job swap ti…
19918 title = "Representation of Many-Sided Polygons and Polygonal Lines for Rapid Processing",
19919 journal = j-CACM,
19922 pages = "166--171",
19926 ISSN = "0001-0782",
19929 …y inclusion. A fast algorithm for testing the inclusion of a point in a many-sided polygon is give…
19930 acknowledgement = ack-nhfb,
19935 …omputer programming --- Subroutines; data processing --- Natural Sciences Applications; image proc…
19943 journal = j-CACM,
19946 pages = "171--176",
19950 ISSN = "0001-0782",
19956 …rected graphs, such as the computation of precedence relations for a context-free grammar, can be …
19957 acknowledgement = ack-nhfb,
19962 … --- Grammars; computational complexity; computations; computer metatheory --- Programming Theory;…
19969 journal = j-CACM,
19972 pages = "177--185",
19976 ISSN = "0001-0782",
19979 …ent attitudes about their computer-based information systems is investigated. Development and main…
19980 acknowledgement = ack-nhfb,
19990 author = "Israel Borovits and Philip Ein-Dor",
19992 journal = j-CACM,
19995 pages = "185--191",
19999 ISSN = "0001-0782",
20003 acknowledgement = ack-nhfb,
20006 corpsource = "Tel-Aviv Univ., Tel-Aviv, Israel",
20015 title = "A comparison of next-fit, first-fit, and best-fit",
20016 journal = j-CACM,
20019 pages = "191--192",
20023 ISSN = "0001-0782",
20025 acknowledgement = ack-nhfb,
20035 journal = j-CACM,
20038 pages = "192--196 (or 192--194??)",
20042 ISSN = "0001-0782",
20045 …ecedence functions have been used and extensively studied as aids for syntax-directed compiling. I…
20046 acknowledgement = ack-nhfb,
20051 …keywords = "computer metatheory --- Programming Theory; computer operating systems; computer p…
20058 journal = j-CACM,
20061 pages = "209--222",
20065 ISSN = "0001-0782",
20068 mrreviewer = "Andrea Maggiolo-Schettini",
20071 …t it can often be used to prove a loop's correctness directly from its input-output specification …
20072 acknowledgement = ack-nhfb,
20077 …keywords = "computer metatheory --- Programming Theory; computer programming; computer program…
20084 journal = j-CACM,
20087 pages = "223--229",
20091 ISSN = "0001-0782",
20095 acknowledgement = ack-nhfb,
20096 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
20100 …keywords = "editing; graphs; image processing; local analysis; mathematical techniques --- Gra…
20107 journal = j-CACM,
20110 pages = "230--245",
20114 ISSN = "0001-0782",
20117 …report is presented of on-going research efforts concerning human decision-making under uncertaint…
20118 acknowledgement = ack-nhfb,
20123 …keywords = "artificial intelligence; data processing --- Psychology Applications; decision the…
20130 journal = j-CACM,
20133 pages = "245--254",
20137 ISSN = "0001-0782",
20140 …ctures modeled after the structure of VSAM --- similar to B-trees but biased toward sequential pro…
20141 acknowledgement = ack-nhfb,
20146 …keywords = "compressed; costs; data processing --- Data Handling; data storage, digital; desig…
20152 title = "Stage Hypothesis and the {S}-Curve: Some Contradictory Evidence",
20153 journal = j-CACM,
20156 pages = "254--259",
20160 ISSN = "0001-0782",
20163 …-shaped budget curve of R. Nolan's stage model of computer development in an organization (Comm AC…
20164 acknowledgement = ack-nhfb,
20169 …ve; computer development; data; data processing; DP management; management --- Applications; proce…
20176 journal = j-CACM,
20179 pages = "260--261",
20183 ISSN = "0001-0782",
20186 acknowledgement = ack-nhfb,
20197 journal = j-CACM,
20200 pages = "261--262",
20204 ISSN = "0001-0782",
20206 acknowledgement = ack-nhfb,
20216 journal = j-CACM,
20219 pages = "262--263",
20223 ISSN = "0001-0782",
20225 acknowledgement = ack-nhfb,
20234 title = "Sorting on a Mesh-Connected Parallel Computer",
20235 journal = j-CACM,
20238 pages = "263--271",
20242 ISSN = "0001-0782",
20248 …-connected processor array that require O (n) routing and comparison steps. The best previous algo…
20249 acknowledgement = ack-nhfb,
20252 corpsource = "Carnegie-Mellon Univ., Pittsburgh, PA, USA",
20254 …keywords = "computer programming --- Subroutines; computer systems programming --- Sorting; co…
20262 journal = j-CACM,
20265 pages = "271--283",
20269 ISSN = "0001-0782",
20275 …rms of levels of abstraction, each level of which can be described by a self-contained nonprocedur…
20276 acknowledgement = ack-nhfb,
20281 …--- Programming Theory; computer programming; correctness; hierarchically structured programs; pro…
20288 journal = j-CACM,
20291 pages = "301--309",
20295 ISSN = "0001-0782",
20299 acknowledgement = ack-nhfb,
20312 journal = j-CACM,
20315 pages = "310--315",
20319 ISSN = "0001-0782",
20323 acknowledgement = ack-nhfb,
20331 …n terval; mathematical statistics; operations research --- Computer Applications; probability --- …
20340 journal = j-CACM,
20343 pages = "315--322",
20347 ISSN = "0001-0782",
20351 acknowledgement = ack-nhfb,
20356 …rogramming --- Subroutines; computers --- Data Communication Systems; data base systems --- Optimi…
20361 author = "J.-L. Baer and B. Schwab",
20362 title = "A Comparison of Tree-Balancing Algorithms",
20363 journal = j-CACM,
20366 pages = "322--330",
20370 ISSN = "0001-0782",
20373 …-height-balance (i.e. AVL and extensions), weight-balance (i.e. BB and WB), and total restructurin…
20374 acknowledgement = ack-nhfb,
20380 …--- Subroutines; data processing; information retrieval systems; information storage and retrieval…
20387 journal = j-CACM,
20390 pages = "331--339",
20394 ISSN = "0001-0782",
20397 …etrieves two-dimensional line drawings consisting of points, lines, rectangles, and triangles. The…
20398 acknowledgement = ack-nhfb,
20403 … graphics; computer systems, digital --- Parallel Processing; content-addressable storage; data st…
20409 title = "Choice of Reference Points in Best-Match File Searching",
20410 journal = j-CACM,
20413 pages = "339--343",
20417 ISSN = "0001-0782",
20420 …abstract = "Improvements to the exhaustive search method of best-match file searching have pre…
20421 acknowledgement = ack-nhfb,
20426 …keywords = "best match; choice; computer programming --- Subroutines; data processing; file or…
20433 journal = j-CACM,
20436 pages = "344--347",
20440 ISSN = "0001-0782",
20447 acknowledgement = ack-nhfb,
20452 …ns; computer programming --- Subroutines; computer systems, digital --- On Line Systems; data base…
20459 journal = j-CACM,
20462 pages = "347--350",
20466 ISSN = "0001-0782",
20472 …abstract = "Storage and response-time requirements are contradictory in nature, and in any rea…
20473 acknowledgement = ack-nhfb,
20476 corpsource = "Contahal Ltd., Tel-Aviv, Israel",
20485 journal = j-CACM,
20488 pages = "350--353",
20492 ISSN = "0001-0782",
20498 …g the longest common subsequence of two sequence of length n have had a best-case running time of …
20499 acknowledgement = ack-nhfb,
20502 …e longest common subsequence of two sequences of length $n$ have had a best--case running time of …
20505 …keywords = "algorithm theory; computer programming --- Subroutines; data processing; fast algo…
20511 title = "Production and Employment of {Ph.D.}'s in Computer Science --- 1976",
20512 journal = j-CACM,
20515 pages = "370--372",
20519 ISSN = "0001-0782",
20522 …-76. Data include profiles of graduate students and of faculty at 60 Ph. D. --- producing departme…
20523 acknowledgement = ack-nhfb,
20535 journal = j-CACM,
20538 pages = "373--381",
20542 ISSN = "0001-0782",
20546 acknowledgement = ack-nhfb,
20558 journal = j-CACM,
20561 pages = "382--384",
20565 ISSN = "0001-0782",
20568 acknowledgement = ack-nhfb,
20578 journal = j-CACM,
20581 pages = "385--396",
20585 ISSN = "0001-0782",
20588 …--- nonprogrammers --- can describe and execute their applications on a computer. The user of SBA …
20589 acknowledgement = ack-nhfb,
20594 …ss automation; by Example; computer programming languages; data processing --- Data Structures; da…
20601 journal = j-CACM,
20604 pages = "396--404",
20608 ISSN = "0001-0782",
20611 … specification of abstract data types. Among the examples presented is a top-down development of a…
20612 acknowledgement = ack-nhfb,
20617 …--- Reliability; computer programming languages; data processing --- Data Structures; data structu…
20624 journal = j-CACM,
20627 pages = "405--413",
20631 ISSN = "0001-0782",
20634 …-definedness,'' specifies aggregation abstractions. A top-down methodology for database design is …
20635 acknowledgement = ack-nhfb,
20640 …keywords = "computer programming languages; data aggregates; data base systems --- Design; dat…
20647 title = "Some Ideas on Data Types in High-Level Languages",
20648 journal = j-CACM,
20651 pages = "414--420",
20655 ISSN = "0001-0782",
20659 acknowledgement = ack-nhfb,
20664 …keywords = "computer meta theory --- Algorithmic Languages; computer programming languages; da…
20671 journal = j-CACM,
20674 pages = "421--431",
20678 ISSN = "0001-0782",
20682 acknowledgement = ack-nhfb,
20687 …keywords = "algorithms; buddy systems; computer operating systems; computer programming --- Su…
20694 journal = j-CACM,
20697 pages = "431--433",
20701 ISSN = "0001-0782",
20704 …tion system in use and uses only operations likely to be available in a high-level language. The d…
20705 acknowledgement = ack-nhfb,
20710 …keywords = "bounded storage algorithm; computer programming --- Subroutines; computer programs…
20717 journal = j-CACM,
20720 pages = "434--439",
20724 ISSN = "0001-0782",
20728 acknowledgement = ack-nhfb,
20733 …keywords = "automata theory --- Recursive Functions; computer programming; computer systems pr…
20739 …title = "Functions Realizable with Word-Parallel Logical and Two's-Complement Addition Inst…
20740 journal = j-CACM,
20743 pages = "439--441",
20747 ISSN = "0001-0782",
20752 … that does not use shifting instructions or branching instructions. The sign-propagation device an…
20753 acknowledgement = ack-nhfb,
20758 …keywords = "addition instructions; computer architecture --- Microprogramming; computer metath…
20765 journal = j-CACM,
20768 pages = "461--468",
20772 ISSN = "0001-0782",
20776 acknowledgement = ack-nhfb,
20781 …er systems, digital --- Fast Response Capability; dynamic prediction; mathematical models; respons…
20788 journal = j-CACM,
20791 pages = "469--477",
20795 ISSN = "0001-0782",
20798 …-invariant algorithms, which include most of the commonly implemented ones. For time-invariant alg…
20799 acknowledgement = ack-nhfb,
20807 …--- Scheduling; computer programming --- Subroutines; computer systems programming; implementation…
20816 journal = j-CACM,
20819 pages = "477--485",
20823 ISSN = "0001-0782",
20830 acknowledgement = ack-nhfb,
20831 annote = "(VBI-001559)",
20838 …mputer networks; computer programming --- Subroutines; computer systems, digital --- Multiprocessi…
20846 title = "A terminal-oriented communication system",
20847 journal = j-CACM,
20850 pages = "486--494",
20854 ISSN = "0001-0782",
20857 …-duplex communication between a time-shared computer and its terminals. The system consists of a c…
20858 acknowledgement = ack-nhfb,
20863 …--- Subroutines; computers --- Data Communication Systems; data communication systems; detection a…
20870 journal = j-CACM,
20873 pages = "495--499",
20877 ISSN = "0001-0782",
20880 …-editing, Analysis, and Retrieval, is in many ways comparable to interactive bibliographical searc…
20881 acknowledgement = ack-nhfb,
20886 …s, digital; computers, miniature --- Applications; conversational computing; CRT with local memory…
20893 journal = j-CACM,
20896 pages = "500--503",
20900 ISSN = "0001-0782",
20904 acknowledgement = ack-nhfb,
20909 …keywords = "alternative; computer operating systems --- Scheduling; computer programming --- S…
20916 journal = j-CACM,
20919 pages = "504--513",
20923 ISSN = "0001-0782",
20926 … of binding each storage object to some class. This paper presents a compile-time mechanism that c…
20927 acknowledgement = ack-nhfb,
20932 …keywords = "certification mechanism; compilers; computer operating systems --- Program Compile…
20939 journal = j-CACM,
20942 pages = "513--518",
20946 ISSN = "0001-0782",
20950 acknowledgement = ack-nhfb,
20955 …; compile time; computer operating systems; computer programming languages --- List Processing; fl…
20962 journal = j-CACM,
20965 pages = "519--526",
20969 ISSN = "0001-0782",
20972 …rograms carried out. The proofs are particularly easy to follow and straight-forward to produce be…
20973 acknowledgement = ack-nhfb,
20978 …keywords = "computer metatheory --- Algorithmic Languages; computer programming --- Reliabilit…
20984 title = "An {Algol-based} implementation of {SNOBOL} 4 patterns",
20985 journal = j-CACM,
20988 pages = "527--529",
20992 ISSN = "0001-0782",
20995 …-consuming process. This paper describes an alternative approach in which SNOBOL4 patterns are com…
20996 acknowledgement = ack-nhfb,
21001 …keywords = "ALGOL; compiled; computer operating systems --- Program Compilers; computer progra…
21008 journal = j-CACM,
21011 pages = "540--553",
21015 ISSN = "0001-0782",
21018 …--- primarily its implementors --- are discussed, and some implications for Mesa and similar progr…
21019 acknowledgement = ack-nhfb,
21024 …mming; data processing --- Data Structures; data structuring; defining; equivalence algorithm; mes…
21031 journal = j-CACM,
21034 pages = "553--564",
21038 ISSN = "0001-0782",
21042 acknowledgement = ack-nhfb,
21045 …corpsource = "Dept. of Computer Sci., Carnegie-Mellon Univ., Schenley Park, Pittsburgh, PA, USA",
21054 journal = j-CACM,
21057 pages = "564--576",
21061 ISSN = "0001-0782",
21064 …note = "Also published in/as: In ``Readings in Object-Oriented Database Systems'' edited b…
21065 … realization that three kinds of abstractions --- procedural, control, and especially data abstrac…
21066 acknowledgement = ack-nhfb,
21077 title = "Toward a Discipline of Real-Time Programming",
21078 journal = j-CACM,
21081 pages = "577--583",
21085 ISSN = "0001-0782",
21088 …-time programming. By adhering to a strict programming discipline and by using a suitable high-lev…
21089 acknowledgement = ack-nhfb,
21101 journal = j-CACM,
21104 pages = "584--595",
21108 ISSN = "0001-0782",
21112 acknowledgement = ack-nhfb,
21124 journal = j-CACM,
21127 pages = "596--602",
21131 ISSN = "0001-0782",
21134 …formance is quite insensitive to skewed distributions, and second, its worst-case complexity is O(…
21135 acknowledgement = ack-nhfb,
21141 …keywords = "algorithm; computer programming --- Subroutines; data processing; data structure; …
21148 journal = j-CACM,
21151 pages = "603--604",
21155 ISSN = "0001-0782",
21160 acknowledgement = ack-nhfb,
21170 journal = j-CACM,
21173 pages = "604--605",
21177 ISSN = "0001-0782",
21179 acknowledgement = ack-nhfb,
21189 journal = j-CACM,
21192 pages = "625--633",
21196 ISSN = "0001-0782",
21199 mrreviewer = "Claus-Peter Schnorr",
21204 acknowledgement = ack-nhfb,
21216 journal = j-CACM,
21219 pages = "634--641",
21223 ISSN = "0001-0782",
21229 …-level program features involves one with infinite objects and forces one to pass through several …
21230 acknowledgement = ack-nhfb,
21235 …keywords = "automata theory --- Computability and Decidability; computability and decidability…
21242 journal = j-CACM,
21245 pages = "642--645",
21249 ISSN = "0001-0782",
21253 acknowledgement = ack-nhfb,
21265 journal = j-CACM,
21268 pages = "647--654",
21272 ISSN = "0001-0782",
21275 …n approximate algorithmic solution is proposed. The algorithm depends on run-time statistics about…
21276 acknowledgement = ack-nhfb,
21281 …omputational linguistics; computer operating systems; computer programming --- Structured Programm…
21288 journal = j-CACM,
21291 pages = "655--663",
21295 ISSN = "0001-0782",
21299 acknowledgement = ack-nhfb,
21304 …sociative memory; computer systems programming --- Multiprogramming; configuration insensitivity; …
21311 journal = j-CACM,
21314 pages = "664--669",
21318 ISSN = "0001-0782",
21319 MRclass = "68A20 (10A25 10-04)",
21324 …hout preprocessing. Use of preprocessing techniques involving space-time and additive-multiplicati…
21325 acknowledgement = ack-nhfb,
21330 …keywords = "computational complexity; computer programming --- Subroutines; generation of prim…
21336 title = "Pagination of {B*}-Trees with Variable-Length Records",
21337 journal = j-CACM,
21340 pages = "670--674",
21344 ISSN = "0001-0782",
21347 …abstract = "A strategy is presented for pagination of B*-trees with variable-length records. I…
21348 acknowledgement = ack-nhfb,
21353 …base systems; data processing --- Data Handling; data searching; information retrieval systems; ma…
21361 journal = j-CACM,
21364 pages = "693--702",
21368 ISSN = "0001-0782",
21374 …-sectional contours. This surface, to be composed of triangular tiles, is constructed by separatel…
21375 acknowledgement = ack-nhfb,
21376 … "Also in Computer Graphics (Special issue of SIGGRAPH '77, preliminary papers), pp. 11--24.",
21386 author = "Sheng-Chuan C. Wu and John F. Abel and Donald P. Greenberg",
21388 journal = j-CACM,
21391 pages = "703--712",
21395 ISSN = "0001-0782",
21398 …-dimensional surfaces. The method is a synthesis of spline theory and algorithms, an interactive m…
21399 acknowledgement = ack-nhfb,
21400 …--10. An interactive computer graphics method has been developed for the rapid generation of arbit…
21404 …descriptors = "Graphics; two-dimensional plot; three-dimensional plot; method; process interactio…
21412 title = "High-Level Data Flow Analysis",
21413 journal = j-CACM,
21416 pages = "712--724",
21420 ISSN = "0001-0782",
21423 …-level in termediate text, high-level data flow analysis deals with programs essentially at source…
21424 acknowledgement = ack-nhfb,
21429 …--- Structural Programming; computer programming languages; control flow graph; data flow analysis…
21436 title = "Two-Level Control Structure for Nondeterministic Programming",
21437 journal = j-CACM,
21440 pages = "725--730",
21444 ISSN = "0001-0782",
21447 …y to coordinate the available alternatives. Examples are given in term of ND-Lisp, an extension of…
21448 acknowledgement = ack-nhfb,
21460 journal = j-CACM,
21463 pages = "731--741",
21467 ISSN = "0001-0782",
21473 acknowledgement = ack-nhfb,
21485 journal = j-CACM,
21488 pages = "741--745",
21492 ISSN = "0001-0782",
21495 … system. When each process specifies its future needs by a flowchart of need-defined steps, a glob…
21496 acknowledgement = ack-nhfb,
21501 …stems; deadlock avoidance; multiprogramming; operating system; probability --- Game Theory; proces…
21507 title = "Programmer's Workbench --- a Machine for Software Development",
21508 journal = j-CACM,
21511 pages = "746--753",
21515 ISSN = "0001-0782",
21519 acknowledgement = ack-nhfb,
21531 journal = j-CACM,
21534 pages = "754--761",
21538 ISSN = "0001-0782",
21541 …eaved memory are drawn from previous work and are used for comparison. Trace-driven simulations ar…
21542 acknowledgement = ack-nhfb,
21554 journal = j-CACM,
21557 pages = "762--772",
21561 ISSN = "0001-0782",
21566 acknowledgement = ack-nhfb,
21569 …comment = "The Boyer-Moore string matching algorithm is, in the worst case, linear in the len…
21572 … = "algorithm; Boyer-Moore; character string; computer operating systems; computer programming…
21579 journal = j-CACM,
21582 pages = "788--794",
21586 ISSN = "0001-0782",
21588 acknowledgement = ack-nhfb,
21598 journal = j-CACM,
21601 pages = "795--798",
21605 ISSN = "0001-0782",
21609 acknowledgement = ack-nhfb,
21620 title = "The Aliasing Problem in Computer-Generated Shaded Images",
21621 journal = j-CACM,
21624 pages = "799--805",
21628 ISSN = "0001-0782",
21631 …r evaluating filters is presented, the application of prefiltering to hidden-surface algorithms is…
21632 acknowledgement = ack-nhfb,
21637 …descriptors = "Method; graphics; three-dimensional plot; display; filter theory; sampling; aliasi…
21646 journal = j-CACM,
21649 pages = "806--811",
21653 ISSN = "0001-0782",
21660 acknowledgement = ack-nhfb,
21671 title = "Anomalous Behavior of the Fifty-Percent Rule in Dynamic Memory Allocation",
21672 journal = j-CACM,
21675 pages = "812--820",
21679 ISSN = "0001-0782",
21682 …-to-allocated-block ratio can differ considerably and in both directions from the predictions of t…
21683 acknowledgement = ack-nhfb,
21695 journal = j-CACM,
21698 pages = "820--822",
21702 ISSN = "0001-0782",
21704 acknowledgement = ack-nhfb,
21705 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
21714 journal = j-CACM,
21717 pages = "822--823",
21721 ISSN = "0001-0782",
21723 acknowledgement = ack-nhfb,
21732 title = "A note on reflection-free permutation enumeration",
21733 journal = j-CACM,
21736 pages = "823--823",
21740 ISSN = "0001-0782",
21742 acknowledgement = ack-nhfb,
21752 journal = j-CACM,
21755 pages = "824--831",
21759 ISSN = "0001-0782",
21764 acknowledgement = ack-nhfb,
21765 …- In a certain year The four-digit year 1923 In or after a certain year The year and a hyphen 1960…
21774 journal = j-CACM,
21777 pages = "832--840",
21781 ISSN = "0001-0782",
21785 acknowledgement = ack-nhfb,
21797 journal = j-CACM,
21800 pages = "841--850",
21804 ISSN = "0001-0782",
21812 acknowledgement = ack-nhfb,
21824 journal = j-CACM,
21827 pages = "850--856",
21831 ISSN = "0001-0782",
21835 acknowledgement = ack-nhfb,
21847 journal = j-CACM,
21850 pages = "856--863",
21854 ISSN = "0001-0782",
21861 acknowledgement = ack-nhfb,
21873 journal = j-CACM,
21876 pages = "864--873",
21880 ISSN = "0001-0782",
21883 …out any free list) performed surprisingly well. Algorithms employing power-of-two block sizes had …
21884 acknowledgement = ack-nhfb,
21889 …keywords = "algorithms; computer operating systems --- Storage Allocation; computer simulation…
21896 journal = j-CACM,
21899 pages = "874--878",
21903 ISSN = "0001-0782",
21907 …e considered. An encoding scheme is described which produces a single, order-preserving string fro…
21908 acknowledgement = ack-nhfb,
21909 annote = "Coding for SYSTEM R multi-field indexes.",
21914 …keywords = "character; codes, symbolic; encoding method; indexing; information science --- Inf…
21921 journal = j-CACM,
21924 pages = "878--882",
21928 ISSN = "0001-0782",
21934 acknowledgement = ack-nhfb,
21944 journal = j-CACM,
21947 pages = "902--906",
21951 ISSN = "0001-0782",
21953 acknowledgement = ack-nhfb,
21963 journal = j-CACM,
21966 pages = "906--913",
21970 ISSN = "0001-0782",
21974 acknowledgement = ack-nhfb,
21986 journal = j-CACM,
21989 pages = "914--920",
21993 ISSN = "0001-0782",
21997 acknowledgement = ack-nhfb,
22010 journal = j-CACM,
22013 pages = "921--930",
22017 ISSN = "0001-0782",
22024 acknowledgement = ack-nhfb,
22034 journal = j-CACM,
22037 pages = "931--935",
22041 ISSN = "0001-0782",
22045 acknowledgement = ack-nhfb,
22058 journal = j-CACM,
22061 pages = "936--944",
22065 ISSN = "0001-0782",
22068 …-oriented assessment of computer performance, instead of the more frequently used in ternal system…
22069 acknowledgement = ack-nhfb,
22070 …-oriented assessment of computer performance, instead of the more frequently used internal system …
22075 descriptors = "Man-machine interaction; performance measure; measurement; method; survey;",
22078 …service; computer systems, digital; external; external measurement; figure-of-merit.; in teractive…
22087 journal = j-CACM,
22090 pages = "945--956",
22094 ISSN = "0001-0782",
22096 acknowledgement = ack-nhfb,
22106 journal = j-CACM,
22109 pages = "161--175",
22113 ISSN = "0001-0782",
22121 journal = j-CACM,
22124 pages = "4--12",
22128 ISSN = "0001-0782",
22130 acknowledgement = ack-nhfb,
22140 journal = j-CACM,
22143 pages = "13--24",
22147 ISSN = "0001-0782",
22150 …of features conducive to the production of efficient compiled code from high-level language source…
22151 acknowledgement = ack-nhfb,
22163 journal = j-CACM,
22166 pages = "25--43",
22170 ISSN = "0001-0782",
22173 …-scale mainframe computer systems. Beginning with the 1107 in 1962, the 1100 series has progressed…
22174 acknowledgement = ack-nhfb,
22186 journal = j-CACM,
22189 pages = "44--63",
22193 ISSN = "0001-0782",
22196 …-10, evolved from the PDP-6 (circa 1963) over five generations of implementations to presently inc…
22197 acknowledgement = ack-nhfb,
22202 …Csystem 10; operating system; operating systems (computers); sharing systems; time sharing; time-",
22208 title = "The {CRAY-1} Computer System",
22209 journal = j-CACM,
22212 pages = "63--72",
22216 ISSN = "0001-0782",
22219 …-1, discusses the evolution of its architecture, and gives an account of some of the problems that…
22220 acknowledgement = ack-nhfb,
22221 …-1. This paper is reproduced in Kuhn and Padua's (1981, IEEE) survey ``Tutorial on Parallel Proces…
22226 …ems, digital; CRAY-1 computer system; existing classic architecture; ginsberg biblio: bhibbard enm…
22233 journal = j-CACM,
22236 pages = "73--96",
22240 ISSN = "0001-0782",
22243 acknowledgement = ack-nhfb,
22253 journal = j-CACM,
22256 pages = "115--119",
22260 ISSN = "0001-0782",
22262 acknowledgement = ack-nhfb,
22271 title = "A Method for Obtaining Digital Signatures and Public-Key Cryptosystems",
22272 journal = j-CACM,
22275 pages = "120--126",
22279 ISSN = "0001-0782",
22285 …note = "The basics of trap-door functions and the famous RSA public key cryptosystem are p…
22287 acknowledgement = ack-nhfb,
22292 …r programming; cryptography; cryptosystems; data handling; data processing --- Security of Data; d…
22299 journal = j-CACM,
22302 pages = "127--134",
22306 ISSN = "0001-0782",
22309 …-removal techniques on something more complex than Knuth's ``sturdy toddler'' and to obtain measur…
22310 acknowledgement = ack-nhfb,
22322 journal = j-CACM,
22325 pages = "135--139",
22329 ISSN = "0001-0782",
22335 …izing the number of complete subgraphs. A relationship between this edge-clique-cover problem and …
22336 acknowledgement = ack-nhfb,
22347 title = "{B}-Trees Re-Examined",
22348 journal = j-CACM,
22351 pages = "139--143",
22355 ISSN = "0001-0782",
22358 note = "Also published in/as: UCB, Elec. Res. Lab, No.ERL-M528, July 1975.",
22359 …abstract = "The B-tree and its variants have, with increasing frequency, been proposed as a ba…
22360 acknowledgement = ack-nhfb,
22367 …keywords = "(mathematics); B-tree; data structures; database; database management systems; dir…
22374 journal = j-CACM,
22377 pages = "144--152",
22381 ISSN = "0001-0782",
22385 acknowledgement = ack-nhfb,
22402 journal = j-CACM,
22405 pages = "152--158",
22409 ISSN = "0001-0782",
22416 acknowledgement = ack-nhfb,
22428 journal = j-CACM,
22431 pages = "159--172",
22435 ISSN = "0001-0782",
22441 …-assertion method, involves documenting the program with assertions that must be true at some time…
22442 acknowledgement = ack-nhfb,
22448 …keywords = "assertions; continuously operating programs; intermittent-assertion method; progra…
22455 journal = j-CACM,
22458 pages = "172--176",
22462 ISSN = "0001-0782",
22466 acknowledgement = ack-nhfb,
22467 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
22478 journal = j-CACM,
22484 ISSN = "0001-0782",
22489 acknowledgement = ack-nhfb,
22495 journal = j-CACM,
22498 pages = "197--205",
22502 ISSN = "0001-0782",
22506 acknowledgement = ack-nhfb,
22518 journal = j-CACM,
22521 pages = "206--218",
22525 ISSN = "0001-0782",
22528 …se by top management in most US local governments. What exists is management-oriented computing, i…
22529 acknowledgement = ack-nhfb,
22541 journal = j-CACM,
22544 pages = "219--225",
22548 ISSN = "0001-0782",
22550 acknowledgement = ack-nhfb,
22559 title = "Insertions and Deletions in One-Sided Height-Balanced Trees",
22560 journal = j-CACM,
22563 pages = "226--227",
22567 ISSN = "0001-0782",
22573 …abstract = "D. S. Hischberg has established that insertions into one-sided height-balanced tre…
22574 acknowledgement = ack-nhfb,
22587 journal = j-CACM,
22590 pages = "228--231",
22594 ISSN = "0001-0782",
22601 acknowledgement = ack-nhfb,
22613 journal = j-CACM,
22616 pages = "232--236",
22620 ISSN = "0001-0782",
22627 acknowledgement = ack-nhfb,
22632 …keywords = "anomalous behaviour; computer operating systems; computer programming --- Subrouti…
22639 journal = j-CACM,
22642 pages = "237--246",
22646 ISSN = "0001-0782",
22649 …-less language, a machine architecture specifically designed for structured programs is proposed. …
22650 acknowledgement = ack-nhfb,
22662 journal = j-CACM,
22665 pages = "259--263",
22669 ISSN = "0001-0782",
22675 …ght brace, and an initial segment of the natural numbers are placed in one-to-one correspondence. …
22676 acknowledgement = ack-nhfb,
22688 journal = j-CACM,
22691 pages = "264--268",
22695 ISSN = "0001-0782",
22699 acknowledgement = ack-nhfb,
22710 title = "Optimal Conversion of Extended-Entry Decision Tables with General Cost Criteria",
22711 journal = j-CACM,
22714 pages = "269--279",
22718 ISSN = "0001-0782",
22725 acknowledgement = ack-nhfb,
22737 journal = j-CACM,
22740 pages = "280--294",
22744 ISSN = "0001-0782",
22748 …-time list processing system is one in which the time required by the elementary list operations (…
22749 acknowledgement = ack-nhfb,
22761 journal = j-CACM,
22764 pages = "294--299",
22768 ISSN = "0001-0782",
22772 acknowledgement = ack-nhfb,
22783 title = "Assembling Code for machines with Span-Dependent Instructions",
22784 journal = j-CACM,
22787 pages = "300--308",
22791 ISSN = "0001-0782",
22797 acknowledgement = ack-nhfb,
22807 journal = j-CACM,
22810 pages = "309--315",
22814 ISSN = "0001-0782",
22821 acknowledgement = ack-nhfb,
22824 corpsource = "Univ. de Paris-Sud, Orsay, France",
22833 journal = j-CACM,
22836 pages = "315--317",
22840 ISSN = "0001-0782",
22845 acknowledgement = ack-nhfb,
22855 journal = j-CACM,
22858 pages = "317--322",
22862 ISSN = "0001-0782",
22868 acknowledgement = ack-nhfb,
22885 journal = j-CACM,
22888 pages = "351--357",
22892 ISSN = "0001-0782",
22895 …rithm, the fastest previous linear-time algorithm for the same problem. Its speed comes mainly fro…
22896 acknowledgement = ack-nhfb,
22908 journal = j-CACM,
22911 pages = "358--367",
22915 ISSN = "0001-0782",
22918 …cords in a bank's data base. The approach can be used to extend any strongly-typed language, but i…
22919 acknowledgement = ack-nhfb,
22922 corpsource = "Carnegie-Mellon Univ., Pittsburg, PA, USA",
22931 journal = j-CACM,
22934 pages = "368--375",
22938 ISSN = "0001-0782",
22945 acknowledgement = ack-nhfb,
22957 journal = j-CACM,
22960 pages = "376--385",
22964 ISSN = "0001-0782",
22968 acknowledgement = ack-nhfb,
22973 …utomatic programming; automatically; computer programming; data processing --- Data Structures; da…
22980 journal = j-CACM,
22983 pages = "385--391",
22987 ISSN = "0001-0782",
22991 acknowledgement = ack-nhfb,
23003 journal = j-CACM,
23006 pages = "392--400",
23010 ISSN = "0001-0782",
23013 …-language level. In addition, argument binding is under the control of the programmer, permitting …
23014 acknowledgement = ack-nhfb,
23023 @Article{Hayes-Roth:1978:IMT,
23024 author = "Frederick Hayes-Roth and John McDermott",
23026 journal = j-CACM,
23029 pages = "401--411",
23033 ISSN = "0001-0782",
23036 …or more exemplars. Three tasks solved by a program that uses an interference-matching algorithm ar…
23037 acknowledgement = ack-nhfb,
23042 …on; abstractions; artificial intelligence; complexity; computer metatheory --- Programming Theory;…
23049 journal = j-CACM,
23052 pages = "411--418",
23056 ISSN = "0001-0782",
23062 …an be thought of as generalizations of optimality conditions based on primal-dual complementarity …
23063 acknowledgement = ack-nhfb,
23075 journal = j-CACM,
23078 pages = "419--422",
23082 ISSN = "0001-0782",
23089 acknowledgement = ack-nhfb,
23098 keywords = "computer programming; mathematical statistics --- Random Number Generation",
23107 title = "Optimal Shift Strategy for a Block-Transfer {CCD} Memory",
23108 journal = j-CACM,
23111 pages = "423--425",
23115 ISSN = "0001-0782",
23119 acknowledgement = ack-nhfb,
23124 …keywords = "best shift strategy; block transfer CCD memory; charge-coupled device circuits; co…
23130 title = "An Optimal Method for Deletion in One-Sided Height-Balanced Trees",
23131 journal = j-CACM,
23134 pages = "441--445",
23138 ISSN = "0001-0782",
23144 …abstract = "A one-sided height-balanced tree is a binary tree in which every mode's right subt…
23145 acknowledgement = ack-nhfb,
23157 journal = j-CACM,
23160 pages = "445--447",
23164 ISSN = "0001-0782",
23168 acknowledgement = ack-nhfb,
23180 journal = j-CACM,
23183 pages = "448--458",
23187 ISSN = "0001-0782",
23193 …-formulas. The variables in these formulas represent not only the length of the input string but a…
23194 acknowledgement = ack-nhfb,
23206 journal = j-CACM,
23209 pages = "459--465",
23213 ISSN = "0001-0782",
23217 acknowledgement = ack-nhfb,
23220 corpsource = "Univ. of Illinois, Urbana-Champaign, IL, USA",
23229 journal = j-CACM,
23232 pages = "466--471",
23236 ISSN = "0001-0782",
23239 … of the total systems and programming resources consumed range as high as 75-80 percent in each ca…
23240 acknowledgement = ack-nhfb,
23252 journal = j-CACM,
23255 pages = "472--483",
23259 ISSN = "0001-0782",
23262 …ogramming specifications. The five programmer characteristics are experience-related and are also …
23263 acknowledgement = ack-nhfb,
23274 …title = "Automated Welfare Client-Tracking and Service Integration: the Political Economy o…
23275 journal = j-CACM,
23278 pages = "484--493",
23282 ISSN = "0001-0782",
23285 …-tracking system on the clients, caseworkers, administrators, and operations of the welfare agenci…
23286 acknowledgement = ack-nhfb,
23298 journal = j-CACM,
23301 pages = "493--499",
23305 ISSN = "0001-0782",
23311 …abstract = "A mathematical model of a transaction-oriented system under intermittent failures …
23312 acknowledgement = ack-nhfb,
23315 corpsource = "Univ. Paris-Sud, Orsay, France",
23323 title = "General Equations for Idealized {CPU-I/O} Overlap Configurations",
23324 journal = j-CACM,
23327 pages = "500--507",
23331 ISSN = "0001-0782",
23337 …rtitions, CPU and I/O devices under different conditions in an idealized CPU-I/O overlap model of …
23338 acknowledgement = ack-nhfb,
23343 …-output programs; main storage partitions; multiprogrammed computer systems; multiprogramming; ove…
23350 journal = j-CACM,
23353 pages = "526--539",
23357 ISSN = "0001-0782",
23361 acknowledgement = ack-nhfb,
23365 corpsource = "Univ. of Illinois, Urbana-Champaign, IL, USA",
23375 journal = j-CACM,
23378 pages = "540--544",
23382 ISSN = "0001-0782",
23389 acknowledgement = ack-nhfb,
23400 …title = "An ${O}(n)$ Algorithm for Determining a Near-Optimal Computation Order of Matrix C…
23401 journal = j-CACM,
23404 pages = "544--549",
23408 ISSN = "0001-0782",
23415 acknowledgement = ack-nhfb,
23426 title = "Interpolation Search --- {A} Log Log {N} Search",
23427 journal = j-CACM,
23430 pages = "550--553",
23434 ISSN = "0001-0782",
23441 acknowledgement = ack-nhfb,
23444 corpsource = "Bar-Ilan Univ., Ramat-Gan, Israel",
23453 journal = j-CACM,
23456 pages = "554--557",
23460 ISSN = "0001-0782",
23466 …abstract = "Presentation of pseudochaining as a new collision-resolution method. Pseudochainin…
23467 acknowledgement = ack-nhfb,
23479 journal = j-CACM,
23482 pages = "558--565",
23486 ISSN = "0001-0782",
23490 acknowledgement = ack-nhfb,
23502 journal = j-CACM,
23505 pages = "565--569",
23509 ISSN = "0001-0782",
23512 … elegant model for shallow binding in Lisp 1.5 is presented in which context-switching is an envir…
23513 acknowledgement = ack-nhfb,
23525 journal = j-CACM,
23528 pages = "570--582",
23532 ISSN = "0001-0782",
23536 acknowledgement = ack-nhfb,
23549 journal = j-CACM,
23552 pages = "583--585",
23556 ISSN = "0001-0782",
23557 MRclass = "02-04 02B10",
23563 acknowledgement = ack-nhfb,
23574 title = "Analysis of the Availability of Computer Systems Using Computer-Aided Algebra",
23575 journal = j-CACM,
23578 pages = "586--591",
23582 ISSN = "0001-0782",
23588 …-aided algebraic manipulation techniques. A major purpose of this paper is to demonstrate that the…
23589 acknowledgement = ack-nhfb,
23594 …ter systems; computer systems, digital; manipulation; Markov processes; real-time systems; reliabi…
23600 title = "{B-Trees} Re-examined",
23601 journal = j-CACM,
23604 pages = "594--594",
23608 ISSN = "0001-0782",
23616 journal = j-CACM,
23619 pages = "613--641",
23623 ISSN = "0001-0782",
23626 …ed Reprints on Dataflow and Reduction Architectures'' ed. S. S. Thakkar, IEEE, 1987, pp. 215-243.",
23627 …most basic level cause them to be both fat and weak: their primitive word-at-a-time style of progr…
23628 acknowledgement = ack-nhfb,
23629 …e both fat and weak: their primitive word-at-a-time style of programming inherited from their comm…
23642 journal = j-CACM,
23645 pages = "642--657",
23649 ISSN = "0001-0782",
23651 acknowledgement = ack-nhfb,
23661 journal = j-CACM,
23664 pages = "657--661",
23668 ISSN = "0001-0782",
23674 …abstract = "A parallel bucket-sort algorithm is presented that requires time O(log n) and the …
23675 acknowledgement = ack-nhfb,
23678 …comment = "``A parallel bucket--sort algorithm is presented that requires time $O(\log n)$ an…
23681 …keywords = "bucket sort algorithm; computer programming --- Subroutines; computer systems prog…
23687 title = "A Time- and Space-Efficient Garbage Compaction Algorithm",
23688 journal = j-CACM,
23691 pages = "662--665",
23695 ISSN = "0001-0782",
23698 … list, emanating from the pointed-to location, passing through the pointing locations, and termina…
23699 acknowledgement = ack-nhfb,
23704 …keywords = "computer operating systems --- Storage Allocation; computer programming; encoding;…
23711 journal = j-CACM,
23714 pages = "666--677",
23718 ISSN = "0001-0782",
23723 acknowledgement = ack-nhfb,
23724 … expanded into an excellent book detailed by Hoare and published by Prentice-Hall. This paper is r…
23729 …ed command; guarded commands; hcc; input; iterative arrays; k-concurrency; k-csp; k-guarded-comman…
23735 …title = "Feedback Coupled Resource Allocation Policies in the Multiprogramming-Multiprocess…
23736 journal = j-CACM,
23739 pages = "678--686",
23743 ISSN = "0001-0782",
23746 …-driven scheduling systems for multiprogrammed-multiprocessor computer systems are presented. The …
23747 acknowledgement = ack-nhfb,
23758 …title = "Self-Assessment Procedure {V}: a self-assessment procedure dealing with database s…
23759 journal = j-CACM,
23762 pages = "687--693",
23766 ISSN = "0001-0782",
23773 …title = "An algorithm using symbolic techniques for the {Bel-Petrov} classification of grav…
23774 journal = j-CACM,
23777 pages = "715--717",
23781 ISSN = "0001-0782",
23783 acknowledgement = ack-nhfb,
23785 corpsource = "HRB-Singer Inc., State College, PA, USA",
23793 journal = j-CACM,
23796 pages = "718--723",
23800 ISSN = "0001-0782",
23803 …-event simulation and analytic techniques are combined to produce efficient yet accurate system mo…
23804 acknowledgement = ack-nhfb,
23816 journal = j-CACM,
23819 pages = "724--736",
23823 ISSN = "0001-0782",
23827 acknowledgement = ack-nhfb,
23839 journal = j-CACM,
23842 pages = "737--749",
23846 ISSN = "0001-0782",
23850 acknowledgement = ack-nhfb,
23855 …keywords = "computer operating systems; computer systems, digital --- Time Sharing; data proce…
23862 journal = j-CACM,
23865 pages = "750--759",
23869 ISSN = "0001-0782",
23872 …-set concept is extended for programs that reference segments of different sizes. The generalized …
23873 acknowledgement = ack-nhfb,
23886 journal = j-CACM,
23889 pages = "760--768",
23893 ISSN = "0001-0782",
23896 … code walkthrough\slash inspection method was as effective as other computer-based methods in find…
23897 acknowledgement = ack-nhfb,
23909 journal = j-CACM,
23912 pages = "769--776",
23916 ISSN = "0001-0782",
23921 acknowledgement = ack-nhfb,
23931 journal = j-CACM,
23934 pages = "777--785",
23938 ISSN = "0001-0782",
23941 …-manipulation system is presented consisting of two parts. The first part addresses the familiar p…
23942 acknowledgement = ack-nhfb,
23950 …keywords = "computer programming --- Subroutines; digital simulation; discrete simulations; ev…
23961 journal = j-CACM,
23964 pages = "786--787",
23968 ISSN = "0001-0782",
23970 acknowledgement = ack-nhfb,
23980 journal = j-CACM,
23983 pages = "788--790",
23987 ISSN = "0001-0782",
23990 …-oriented device, it is generally preferable to plot a contour map in raster-scan order (rather th…
23991 acknowledgement = ack-nhfb,
24003 journal = j-CACM,
24006 pages = "790--791",
24010 ISSN = "0001-0782",
24012 acknowledgement = ack-nhfb,
24022 journal = j-CACM,
24025 pages = "806--820",
24029 ISSN = "0001-0782",
24033 acknowledgement = ack-nhfb,
24034 annote = "I-O and OPEN statements.",
24046 journal = j-CACM,
24049 pages = "821--831",
24053 ISSN = "0001-0782",
24057 acknowledgement = ack-nhfb,
24064 …keywords = "computer systems programming; computer systems, digital --- Multiprocessing; inter…
24071 journal = j-CACM,
24074 pages = "831--834",
24078 ISSN = "0001-0782",
24082 acknowledgement = ack-nhfb,
24093 author = "Shi-Kuo Chang and Yin-Wah Wong",
24095 journal = j-CACM,
24098 pages = "835--840",
24102 ISSN = "0001-0782",
24105 …ied by k2). If the monotone property is dropped, then the problem becomes NP-complete, even if it …
24106 acknowledgement = ack-nhfb,
24118 journal = j-CACM,
24121 pages = "840--842",
24125 ISSN = "0001-0782",
24127 bibsource = "Compendex database; ftp://ftp.ira.uka.de/pub/bibliography/Misc/bin-packing.bib",
24128 …ted error can be rather precisely controlled. An example is given in which 8-bit counters (bytes) …
24129 acknowledgement = ack-nhfb,
24141 journal = j-CACM,
24144 pages = "842--846",
24148 ISSN = "0001-0782",
24152 acknowledgement = ack-nhfb,
24162 journal = j-CACM,
24165 pages = "847--857",
24169 ISSN = "0001-0782",
24174 acknowledgement = ack-nhfb,
24186 journal = j-CACM,
24189 pages = "857--865",
24193 ISSN = "0001-0782",
24196 …-solution optimal packings. The displacements are depth-limited approximations to an enumerative (…
24197 acknowledgement = ack-nhfb,
24208 title = "Cold-Start Vs. Warm-Start Miss Ratios",
24209 journal = j-CACM,
24212 pages = "866--872",
24216 ISSN = "0001-0782",
24219 …-level computer storage hierarchy, miss ratio measurements are often made from a ``cold start'', t…
24220 acknowledgement = ack-nhfb,
24225 …keywords = "computer operating systems; computer systems programming --- Multiprogramming; mem…
24233 journal = j-CACM,
24236 pages = "873--875",
24240 ISSN = "0001-0782",
24243 acknowledgement = ack-nhfb,
24258 journal = j-CACM,
24261 pages = "889--895",
24265 ISSN = "0001-0782",
24268 …trol of a game administrator and can be varied to simulate a variety of real-world situations (I/O…
24269 acknowledgement = ack-nhfb,
24281 journal = j-CACM,
24284 pages = "897--904",
24288 ISSN = "0001-0782",
24292 acknowledgement = ack-nhfb,
24304 journal = j-CACM,
24307 pages = "904--913",
24311 ISSN = "0001-0782",
24314 …-memory subsystem of the IBM 360\slash 191 is described. The results of evaluating some alternativ…
24315 acknowledgement = ack-nhfb,
24327 journal = j-CACM,
24330 pages = "914--924",
24334 ISSN = "0001-0782",
24338 acknowledgement = ack-nhfb,
24349 title = "Computer Generation of Gamma Random Variables --- {II}",
24350 journal = j-CACM,
24353 pages = "925--928",
24357 ISSN = "0001-0782",
24360 acknowledgement = ack-nhfb,
24374 title = "Simple Recovery-Only Procedure for Simple Precedence Parsers",
24375 journal = j-CACM,
24378 pages = "928--930",
24382 ISSN = "0001-0782",
24386 acknowledgement = ack-nhfb,
24398 journal = j-CACM,
24401 pages = "931--933",
24405 ISSN = "0001-0782",
24409 acknowledgement = ack-nhfb,
24412 …guous function; conditional expression; conditional forms; functional; if-then-else; infinite stru…
24419 journal = j-CACM,
24422 pages = "934--941",
24426 ISSN = "0001-0782",
24429 …-time applications controlled by microcomputer networks with distributed storage. The paper gives …
24430 acknowledgement = ack-nhfb,
24436 …pressions; guarded command; guarded regions; input/output; k-boolean-guards; k-shortest-job-next; …
24443 journal = j-CACM,
24446 pages = "941--947",
24450 ISSN = "0001-0782",
24457 acknowledgement = ack-nhfb,
24462 …rganisation; height balance; IP0 trees; IPk trees; mathematical techniques --- Trees; node inserti…
24469 journal = j-CACM,
24472 pages = "947--958",
24476 ISSN = "0001-0782",
24482 …it tree is a binary search tree each node of which contains two key values --- a node value which …
24483 acknowledgement = ack-nhfb,
24488 …sation; frequently occurring keys; lexical median; mathematical techniques --- Trees; median split…
24495 journal = j-CACM,
24498 pages = "958--958",
24502 ISSN = "0001-0782",
24510 journal = j-CACM,
24513 pages = "958--966",
24517 ISSN = "0001-0782",
24524 acknowledgement = ack-nhfb,
24535 title = "On-the-Fly Garbage Collection: An Exercise in Cooperation",
24536 journal = j-CACM,
24539 pages = "966--975",
24543 ISSN = "0001-0782",
24548 acknowledgement = ack-nhfb,
24562 journal = j-CACM,
24568 ISSN = "0001-0782",
24573 acknowledgement = ack-nhfb,
24579 journal = j-CACM,
24582 pages = "993--999",
24586 ISSN = "0001-0782",
24589 … verification and document integrity guarantee. Both conventional and public-key encryption algori…
24590 acknowledgement = ack-nhfb,
24595 …keywords = "authenticated communication; computer networks; data processing --- Security of Da…
24602 journal = j-CACM,
24605 pages = "999--1003",
24609 ISSN = "0001-0782",
24616 acknowledgement = ack-nhfb,
24628 journal = j-CACM,
24631 pages = "1004--1007",
24635 ISSN = "0001-0782",
24639 acknowledgement = ack-nhfb,
24651 journal = j-CACM,
24654 pages = "1008--1015",
24658 ISSN = "0001-0782",
24662 acknowledgement = ack-nhfb,
24674 journal = j-CACM,
24677 pages = "1016--1025",
24681 ISSN = "0001-0782",
24684 …t = "An algorithm to detect logical errors in a limited-entry decision table and in loop-free …
24685 acknowledgement = ack-nhfb,
24697 journal = j-CACM,
24700 pages = "1025--1039",
24704 ISSN = "0001-0782",
24709 …-and-bound. The former technique is quite effective, but its time and space requirements are indep…
24710 acknowledgement = ack-nhfb,
24722 journal = j-CACM,
24725 pages = "1040--1048",
24729 ISSN = "0001-0782",
24732 …-and-forward packet switching computer network include (1) transmission of separately addressed pa…
24733 acknowledgement = ack-nhfb,
24745 journal = j-CACM,
24748 pages = "1048--1064",
24752 ISSN = "0001-0782",
24758 …-independent formal specification of a data type. An example is given which shows how to employ al…
24759 acknowledgement = ack-nhfb,
24771 journal = j-CACM,
24774 pages = "1064--1075",
24778 ISSN = "0001-0782",
24782 acknowledgement = ack-nhfb,
24793 title = "Multidimensional Divide-and-Conquer",
24794 journal = j-CACM,
24797 pages = "214--228",
24801 ISSN = "0001-0782",
24808 journal = j-CACM,
24811 pages = "3--9",
24815 ISSN = "0001-0782",
24818 …nwanted interferences, but the two-dimensional, static drafting medium does not always show interf…
24819 acknowledgement = ack-nhfb,
24824 …llision detection graphics; components; computer graphics; data processing --- Manufacturing Appli…
24831 journal = j-CACM,
24834 pages = "10--20",
24838 ISSN = "0001-0782",
24841 …' uses to ``nonroutine'' efforts, such as resource allocation or computer-aided-dispatch systems w…
24842 acknowledgement = ack-nhfb,
24847 …; computer aided dispatch; computer technology; computers; data processing --- Governmental Applic…
24854 journal = j-CACM,
24857 pages = "21--25",
24861 ISSN = "0001-0782",
24867 acknowledgement = ack-nhfb,
24872 …keywords = "algorithms; bubble memory; computer programming --- Subroutines; data block shift;…
24879 journal = j-CACM,
24882 pages = "25--34",
24886 ISSN = "0001-0782",
24890 acknowledgement = ack-nhfb,
24891 annote = "(VBI-000696)",
24899 …keywords = "computer systems programming --- Multiprogramming; computer systems, digital; CPU …
24907 title = "An event-driven compiling technique",
24908 journal = j-CACM,
24911 pages = "34--42",
24915 ISSN = "0001-0782",
24918 …-pass compilation process. These difficulties occur when an entity cannot be processed because of …
24919 acknowledgement = ack-nhfb,
24924 …keywords = "ALGOL 68 compiler; compilation; computer operating systems --- Program Compilers; …
24931 journal = j-CACM,
24934 pages = "43--54",
24938 ISSN = "0001-0782",
24942 acknowledgement = ack-nhfb,
24953 title = "Production and employment of {Ph.D.s} in computer science --- 1977 and 1978",
24954 journal = j-CACM,
24957 pages = "75--76",
24961 ISSN = "0001-0782",
24963 acknowledgement = ack-nhfb,
24973 journal = j-CACM,
24976 pages = "77--78",
24980 ISSN = "0001-0782",
24982 acknowledgement = ack-nhfb,
24992 journal = j-CACM,
24995 pages = "79--96",
24999 ISSN = "0001-0782",
25004 …esting level of arrays and new operators to assist in the construction of data-driven algorithms.",
25005 acknowledgement = ack-nhfb,
25017 journal = j-CACM,
25020 pages = "96--103",
25024 ISSN = "0001-0782",
25031 acknowledgement = ack-nhfb,
25043 journal = j-CACM,
25046 pages = "104--105",
25050 ISSN = "0001-0782",
25053 acknowledgement = ack-nhfb,
25062 title = "{Thoth}, a Portable Real-Time Operating System",
25063 journal = j-CACM,
25066 pages = "105--115",
25070 ISSN = "0001-0782",
25073 …-time operating system which is designed to be portable over a large set of machines. It is curren…
25074 acknowledgement = ack-nhfb,
25086 journal = j-CACM,
25089 pages = "115--123",
25093 ISSN = "0001-0782",
25097 acknowledgement = ack-nhfb,
25110 journal = j-CACM,
25113 pages = "124--130",
25117 ISSN = "0001-0782",
25122 … direct-access storage device in which storage space is limited. Records are added to the files ei…
25123 acknowledgement = ack-nhfb,
25134 …lum '78: Recommendations for the Undergraduate Program in Computer Science --- {A} Report of the {…
25135 journal = j-CACM,
25138 pages = "147--166",
25142 ISSN = "0001-0782",
25145 acknowledgement = ack-nhfb,
25146 …lum Committee on Computer Science. CS 5: Introduction to File Processing (3-0-3) Prerequisite: CS …
25156 journal = j-CACM,
25159 pages = "166--177",
25163 ISSN = "0001-0782",
25166 …-ranging character of floating-point numbers with a uniformity of state distributions that give FO…
25167 acknowledgement = ack-nhfb,
25179 journal = j-CACM,
25182 pages = "178--183",
25186 ISSN = "0001-0782",
25189 …abstract = "In two-class pattern recognition, it is a standard technique to have an algorithm …
25190 acknowledgement = ack-nhfb,
25191 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
25202 journal = j-CACM,
25205 pages = "184--192",
25209 ISSN = "0001-0782",
25212 …representation of clauses, we provide a theorem-prover with a potentially useful indexing scheme a…
25213 acknowledgement = ack-nhfb,
25225 journal = j-CACM,
25228 pages = "193--207",
25232 ISSN = "0001-0782",
25236 acknowledgement = ack-nhfb,
25248 journal = j-CACM,
25251 pages = "207--207",
25255 ISSN = "0001-0782",
25262 title = "Detection of Three-Dimensional Patterns of Atoms in Chemical Structures",
25263 journal = j-CACM,
25266 pages = "219--224",
25270 ISSN = "0001-0782",
25273 …-dimensional pattern of objects within a larger structure is presented. The search technique prese…
25274 acknowledgement = ack-nhfb,
25279 …--- X-Ray Analysis; drug products; information science --- Information Retrieval; pattern recognit…
25286 journal = j-CACM,
25289 pages = "225--233",
25293 ISSN = "0001-0782",
25296 … Single measures of price-performance such as ``Grosch's Law'' are shown to be so oversimplified a…
25297 acknowledgement = ack-nhfb,
25310 journal = j-CACM,
25313 pages = "233--245",
25317 ISSN = "0001-0782",
25320 …e major costs of using an information system from the perspective of the end-user. The model is in…
25321 acknowledgement = ack-nhfb,
25333 journal = j-CACM,
25336 pages = "245--251",
25340 ISSN = "0001-0782",
25346 acknowledgement = ack-nhfb,
25358 journal = j-CACM,
25361 pages = "251--256",
25365 ISSN = "0001-0782",
25371 …phs. Finally an exact method is given which performs better than the Randall-Brown algorithm and i…
25372 acknowledgement = ack-nhfb,
25378 …ues; colouring; graph; graph colouring; heuristic; mathematical techniques --- Graph Theory; maxim…
25385 journal = j-CACM,
25388 pages = "271--280",
25392 ISSN = "0001-0782",
25396 acknowledgement = ack-nhfb,
25407 …title = "An Improved Algorithm for Decentralized Extrema-Finding in Circular Configurations…
25408 journal = j-CACM,
25411 pages = "281--283",
25415 ISSN = "0001-0782",
25420 acknowledgement = ack-nhfb,
25425 … circular configurations; computer operating systems; computer programming --- Subroutines; decent…
25427 …xxtitle = "An improved algorithm for decentralized extrema-finding in circular configurations…
25433 journal = j-CACM,
25436 pages = "283--289",
25440 ISSN = "0001-0782",
25443 …nd not always successful. There appears to be some conflict between computer-using organizations a…
25444 acknowledgement = ack-nhfb,
25456 journal = j-CACM,
25459 pages = "290--299",
25463 ISSN = "0001-0782",
25468 …onal restriction, images, pointwise extension of relations, ordering, single-point variation of fu…
25469 acknowledgement = ack-nhfb,
25481 title = "Model for and Discussion of Multi-Interpreter Systems",
25482 journal = j-CACM,
25485 pages = "299--309",
25489 ISSN = "0001-0782",
25492 …abstract = "A multi-interpreter system is a system in which programs execute by virtue of bein…
25493 acknowledgement = ack-nhfb,
25504 title = "An implementation of structured walk-throughs in teaching {COBAL} programming",
25505 journal = j-CACM,
25508 pages = "335--340",
25512 ISSN = "0001-0782",
25514 acknowledgement = ack-nhfb,
25517 … computer science education; multiple covariance; programming; structured walk-throughs; teaching",
25524 journal = j-CACM,
25527 pages = "341--345",
25531 ISSN = "0001-0782",
25533 acknowledgement = ack-nhfb,
25543 journal = j-CACM,
25546 pages = "345--353",
25550 ISSN = "0001-0782",
25553 … dataset, key order for each computation, and access method for each dataset-computation pair. Alt…
25554 acknowledgement = ack-nhfb,
25566 journal = j-CACM,
25569 pages = "353--368",
25573 ISSN = "0001-0782",
25577 acknowledgement = ack-nhfb,
25589 journal = j-CACM,
25592 pages = "368--368",
25596 ISSN = "0001-0782",
25605 journal = j-CACM,
25608 pages = "368--375",
25612 ISSN = "0001-0782",
25615 …-order property is defined for bodies bounded by smooth-curved faces. The property is shown to be …
25616 acknowledgement = ack-nhfb,
25617 …classcodes = "B6140C (Optical information, image and video signal processing); C1250 (Pattern re…
25621 …; pictures; recognition; reconstruction; reconstruction of objects and three-dimensional graphics;…
25627 journal = j-CACM,
25630 pages = "391--401",
25634 ISSN = "0001-0782",
25637 acknowledgement = ack-nhfb,
25646 title = "An Optimal Real-Time Algorithm for Planar Convex Hulls",
25647 journal = j-CACM,
25650 pages = "402--405",
25654 ISSN = "0001-0782",
25659 …abstract = "An algorithm is described for the construction in real-time of the convex hull of …
25660 acknowledgement = ack-nhfb,
25673 journal = j-CACM,
25676 pages = "405--415",
25680 ISSN = "0001-0782",
25685 …-(or column-)oriented form. An efficient method for accomplishing this reorganization is given. Th…
25686 acknowledgement = ack-nhfb,
25697 title = "The Control of Response Times in Multi-Class Systems by Memory Allocation",
25698 journal = j-CACM,
25701 pages = "415--424",
25705 ISSN = "0001-0782",
25709 acknowledgement = ack-nhfb,
25727 journal = j-CACM,
25730 pages = "424--436",
25734 ISSN = "0001-0782",
25737 acknowledgement = ack-nhfb,
25746 …title = "Self-Assessment Procedure {VI}: a self-assessment procedure dealing with queueing …
25747 journal = j-CACM,
25750 pages = "449--454",
25754 ISSN = "0001-0782",
25767 journal = j-CACM,
25770 pages = "455--460",
25774 ISSN = "0001-0782",
25777 acknowledgement = ack-nhfb,
25787 journal = j-CACM,
25790 pages = "461--464",
25794 ISSN = "0001-0782",
25800 acknowledgement = ack-nhfb,
25810 journal = j-CACM,
25813 pages = "465--476",
25817 ISSN = "0001-0782",
25822 acknowledgement = ack-nhfb,
25832 journal = j-CACM,
25835 pages = "476--482",
25839 ISSN = "0001-0782",
25843 acknowledgement = ack-nhfb,
25853 journal = j-CACM,
25856 pages = "483--483",
25860 ISSN = "0001-0782",
25863 acknowledgement = ack-nhfb,
25877 …title = "Rejuvenating Experimental Computer Science --- {A} Report to the {National Science…
25878 journal = j-CACM,
25881 pages = "497--502",
25885 ISSN = "0001-0782",
25887 …-authors of the report are: Gordon Bell, Digital Equipment Corporation; Bernard A. Galler, Univers…
25888 acknowledgement = ack-nhfb,
25898 journal = j-CACM,
25901 pages = "503--504",
25905 ISSN = "0001-0782",
25911 …title = "On Improving the Worse Case Running Time of the {Boyer-Moore} String Matching Algo…
25912 journal = j-CACM,
25915 pages = "505--508",
25919 ISSN = "0001-0782",
25925 acknowledgement = ack-nhfb,
25928 corpsource = "Tel-Aviv Univ., Tel-Aviv, Israel",
25934 author = "Kari-Jouko R{\"a}ih{\"a} and Stuart H. Zweben",
25935 title = "An Optimal Insertion Algorithm for One-Sided Height-Balanced Binary Search Trees",
25936 journal = j-CACM,
25939 pages = "508--512",
25943 ISSN = "0001-0782",
25948 …abstract = "An algorithm for inserting an element into a one-sided height-balanced (OSHB) bina…
25949 acknowledgement = ack-nhfb,
25950 …annote = "An algorithm for inserting an element into a one-sided height-balanced (OSHB) bina…
25956 …s; data handling; height balanced; height-balanced trees; Insertion; insertion algorithm; one; one…
25964 title = "Progressive acyclic digraphs --- a tool for database integrity",
25965 journal = j-CACM,
25968 pages = "513--518",
25972 ISSN = "0001-0782",
25976 acknowledgement = ack-nhfb,
25986 journal = j-CACM,
25989 pages = "518--525",
25993 ISSN = "0001-0782",
25996 acknowledgement = ack-nhfb,
26007 journal = j-CACM,
26010 pages = "526--531",
26014 ISSN = "0001-0782",
26017 …on of (unweighted) sampled data are analyzed. Two of the algorithms are well-known in the statisti…
26018 acknowledgement = ack-nhfb,
26034 journal = j-CACM,
26037 pages = "532--535",
26041 ISSN = "0001-0782",
26045 acknowledgement = ack-nhfb,
26061 …an expressions in an online query system'' [Comm. ACM, 20, 1977, no. 5, 344--347, MR 55 \#9627] by…
26062 journal = j-CACM,
26065 pages = "549--550",
26069 ISSN = "0001-0782",
26074 acknowledgement = ack-nhfb,
26075 classcodes = "C6120 (File organisation); C7250L (Non-bibliographic retrieval systems)",
26083 …an expressions in an online query system'' [Comm. ACM, 20, 1977, no. 5, 344--347, MR 55 \#9627] by…
26084 journal = j-CACM,
26087 pages = "550--553",
26091 ISSN = "0001-0782",
26096 acknowledgement = ack-nhfb,
26097 classcodes = "C7250L (Non-bibliographic retrieval systems)",
26106 journal = j-CACM,
26113 ISSN = "0001-0782",
26116 acknowledgement = ack-nhfb,
26122 journal = j-CACM,
26125 pages = "554--556",
26129 ISSN = "0001-0782",
26133 acknowledgement = ack-nhfb,
26143 journal = j-CACM,
26146 pages = "557--559",
26150 ISSN = "0001-0782",
26152 acknowledgement = ack-nhfb,
26159 @Article{Lozano-Perez:1979:APC,
26160 author = "Tom{\'a}s Lozano-P{\'e}rez and Michael A. Wesley",
26161 title = "An Algorithm for Planning Collision-Free Paths Among Polyhedral Obstacles",
26162 journal = j-CACM,
26165 pages = "560--570",
26169 ISSN = "0001-0782",
26172 acknowledgement = ack-nhfb,
26175 …anning; polyhedral obstacles; representation of objects; safe; solids; three-dimensional graphics;…
26183 journal = j-CACM,
26190 ISSN = "0001-0782",
26198 journal = j-CACM,
26201 pages = "589--593",
26205 ISSN = "0001-0782",
26207 acknowledgement = ack-nhfb,
26216 title = "Password Security --- {A} Case History",
26217 journal = j-CACM,
26220 pages = "594--597",
26224 ISSN = "0001-0782",
26227 acknowledgement = ack-nhfb,
26238 journal = j-CACM,
26241 pages = "598--605",
26245 ISSN = "0001-0782",
26248 acknowledgement = ack-nhfb,
26259 journal = j-CACM,
26262 pages = "606--611",
26266 ISSN = "0001-0782",
26271 acknowledgement = ack-nhfb,
26281 journal = j-CACM,
26284 pages = "612--613",
26288 ISSN = "0001-0782",
26293 acknowledgement = ack-nhfb,
26305 journal = j-CACM,
26308 pages = "644--647",
26312 ISSN = "0001-0782",
26314 acknowledgement = ack-nhfb,
26324 journal = j-CACM,
26327 pages = "648--654",
26331 ISSN = "0001-0782",
26333 acknowledgement = ack-nhfb,
26343 journal = j-CACM,
26346 pages = "654--660",
26350 ISSN = "0001-0782",
26352 acknowledgement = ack-nhfb,
26355 …keywords = "back-up requirements; business crimes; economics; EFTs; EFTS; electronic funds tra…
26362 journal = j-CACM,
26365 pages = "660--671",
26369 ISSN = "0001-0782",
26371 acknowledgement = ack-nhfb,
26381 journal = j-CACM,
26384 pages = "711--721",
26388 ISSN = "0001-0782",
26401 journal = j-CACM,
26404 pages = "680--693",
26408 ISSN = "0001-0782",
26415 title = "Fast Hashing of Variable-Length Text Strings",
26416 journal = j-CACM,
26419 pages = "677--680",
26423 ISSN = "0001-0782",
26426 …abstract = "Tailored to variable-length text strings, this hashing function uses very little a…
26427 acknowledgement = ack-nhfb,
26430 review = "ACM CR 9012-0958",
26436 journal = j-CACM,
26439 pages = "132--142",
26443 ISSN = "0001-0782",
26446 acknowledgement = ack-nhfb,
26452 journal = j-CACM,
26459 ISSN = "0001-0782",
26467 journal = j-CACM,
26470 pages = "118--119",
26474 ISSN = "0001-0782",
26477 acknowledgement = ack-nhfb,
26483 journal = j-CACM,
26486 pages = "118--120",
26490 ISSN = "0001-0782",
26492 …ion of Pearson's hashing algorithm \cite{Pearson:1990:FHV} that supports non-character data. See a…
26493 acknowledgement = ack-nhfb,
26497 % Cross-referenced entries come last.
26502 journal = j-CACM,
26509 ISSN = "0001-0782",
26512 acknowledgement = ack-nhfb,
26518 journal = j-COMP-SURV,
26521 pages = "261--301",
26525 ISSN = "0360-0300",
26527 …-Hall, 1977), 140--194; {\sl Classics in Software Engineering}, Edward Nash Yourdon, ed.\ (New Yor…
26528 acknowledgement = ack-nhfb,
26534 journal = j-J-ACM,
26537 pages = "172--202",
26541 ISSN = "0004-5411",
26544 …-case time bound of 0(e log e) function operations. It is also shown that in programming terms, th…
26545 acknowledgement = ack-nhfb,
26554 journal = j-MANAGEMENT-SCIENCE,
26556 pages = "451--463",
26559 ISSN = "0025-1909",
26566 journal = j-SIAM-J-COMPUT,
26569 pages = "323--350",
26573 ISSN = "0097-5397",
26579 author = "A. L. Tharp and K.-C. Tai",
26581 journal = j-SPE,
26584 pages = "35--44",
26588 ISSN = "0038-0644",
26591 acknowledgement = ack-nhfb,
26597 journal = j-TOMS,
26600 pages = "282--284",
26604 ISSN = "0098-3500",
26607 acknowledgement = ack-nhfb,
26613 journal = j-TOMS,
26616 pages = "285--285",
26620 ISSN = "0098-3500",
26623 acknowledgement = ack-nhfb,
26628 …title = "Remark on {``Algorithm 483: Masked Three-Dimensional Plot Program with Rotations […
26629 journal = j-TOMS,
26632 pages = "285--285",
26636 ISSN = "0098-3500",
26639 acknowledgement = ack-nhfb,
26645 journal = j-TOMS,
26648 pages = "108--108",
26652 ISSN = "0098-3500",
26655 acknowledgement = ack-nhfb,
26661 journal = j-TOMS,
26664 pages = "109--110",
26668 ISSN = "0098-3500",
26671 acknowledgement = ack-nhfb,
26677 journal = j-TOMS,
26680 pages = "110--111",
26684 ISSN = "0098-3500",
26687 acknowledgement = ack-nhfb,
26692 …title = "Remark on {``Algorithm 487: Exact Cumulative Distribution of the Kolmogorov-Smirno…
26693 journal = j-TOMS,
26696 pages = "111--111",
26700 ISSN = "0098-3500",
26703 acknowledgement = ack-nhfb,
26709 journal = j-TOMS,
26712 pages = "112--112",
26716 ISSN = "0098-3500",
26719 acknowledgement = ack-nhfb,
26725 journal = j-TOMS,
26728 pages = "207--208",
26732 ISSN = "0098-3500",
26735 acknowledgement = ack-nhfb,
26741 journal = j-TOMS,
26744 pages = "208--208",
26748 ISSN = "0098-3500",
26751 acknowledgement = ack-nhfb,
26757 journal = j-TOMS,
26760 pages = "300--301",
26764 ISSN = "0098-3500",
26767 acknowledgement = ack-nhfb,
26772 …title = "Remark on {``Algorithm 489: The Algorithm SELECT --- for Finding the $i$th Smalles…
26773 journal = j-TOMS,
26776 pages = "301--304",
26780 ISSN = "0098-3500",
26783 acknowledgement = ack-nhfb,
26789 journal = j-TOMS,
26792 pages = "392--393",
26796 ISSN = "0098-3500",
26799 acknowledgement = ack-nhfb,
26804 title = "Remark on {``Algorithm 299: Chi-Squared Integral [S15]''}",
26805 journal = j-TOMS,
26808 pages = "393--395",
26812 ISSN = "0098-3500",
26815 acknowledgement = ack-nhfb,
26821 journal = j-TOMS,
26824 pages = "395--396",
26828 ISSN = "0098-3500",
26831 acknowledgement = ack-nhfb,
26836 title = "Algorithm 513: Analysis of In-Situ Transposition [{F1}]",
26837 journal = j-TOMS,
26840 pages = "104--110",
26844 ISSN = "0098-3500",
26846 acknowledgement = ack-nhfb,
26852 journal = j-TOMS,
26855 pages = "111--111",
26859 ISSN = "0098-3500",
26862 acknowledgement = ack-nhfb,
26868 journal = j-TOMS,
26871 pages = "204--250",
26875 ISSN = "0098-3500",
26878 acknowledgement = ack-nhfb,
26884 journal = j-TOMS,
26887 pages = "303--303",
26891 ISSN = "0098-3500",
26894 acknowledgement = ack-nhfb,
26900 journal = j-TOMS,
26903 pages = "303--303",
26907 ISSN = "0098-3500",
26910 acknowledgement = ack-nhfb,
26916 journal = j-TOMS,
26919 pages = "95--95",
26923 ISSN = "0098-3500",
26926 acknowledgement = ack-nhfb,
26932 journal = j-TOMS,
26935 pages = "295--295",
26939 ISSN = "0098-3500",
26942 acknowledgement = ack-nhfb,
26948 journal = j-TOMS,
26951 pages = "295--295",
26955 ISSN = "0098-3500",
26958 acknowledgement = ack-nhfb,
26964 journal = j-TOMS,
26967 pages = "296--304",
26971 ISSN = "0098-3500",
26974 acknowledgement = ack-nhfb,
26979 …title = "Remark on {``Algorithm 395: Student's $t$-Distribution''} and Remark on {``Algorit…
26980 journal = j-TOMS,
26983 pages = "238--239",
26987 ISSN = "0098-3500",
26990 acknowledgement = ack-nhfb,
26995 title = "Remark on {``Algorithm 424: Clenshaw-Curtis Quadrature [O1]''}",
26996 journal = j-TOMS,
26999 pages = "240--240",
27003 ISSN = "0098-3500",
27006 acknowledgement = ack-nhfb,
27012 journal = j-TOMS,
27015 pages = "241--241",
27019 ISSN = "0098-3500",
27022 acknowledgement = ack-nhfb,
27027 …title = "Remark on {``Algorithm 513: Analysis of In-Situ Transposition [F1]''} and Remark o…
27028 journal = j-TOMS,
27031 pages = "520--520",
27035 ISSN = "0098-3500",
27038 acknowledgement = ack-nhfb,
27044 journal = j-TOMS,
27047 pages = "521--523",
27051 ISSN = "0098-3500",
27054 acknowledgement = ack-nhfb,
27060 journal = j-TOMS,
27063 pages = "456--457",
27067 ISSN = "0098-3500",
27070 acknowledgement = ack-nhfb,
27075 title = "Remark on {``Algorithm 395: Student's $t$-Distribution''}",
27076 journal = j-TOMS,
27079 pages = "247--249",
27083 ISSN = "0098-3500",
27086 acknowledgement = ack-nhfb,
27091 title = "Remark on {``Algorithm 396: Student's $t$-Quantiles''}",
27092 journal = j-TOMS,
27095 pages = "250--251",
27099 ISSN = "0098-3500",
27102 acknowledgement = ack-nhfb,
27107 title = "Remark on {``Algorithm 299: Chi-Squared Integral''}",
27108 journal = j-TOMS,
27111 pages = "185--185",
27115 ISSN = "0098-3500",
27118 acknowledgement = ack-nhfb,
27124 journal = j-TOMS,
27127 pages = "441--443",
27131 ISSN = "0098-3500",
27134 acknowledgement = ack-nhfb,
27138 title = "{ANSI Fortran X3.9-1966}",
27139 organization = pub-ANSI,
27140 address = pub-ANSI:adr,
27141 pages = "??--??",
27157 …cted and compared. When the classification process operates on independently-drawn samples of $n$ …
27158 acknowledgement = ack-nhfb,
27166 title = "The graph-colouring problem",
27169 pages = "211--235",
27178 publisher = pub-AW,
27179 address = pub-AW:adr,
27182 ISBN = "0-201-03803-X",
27185 acknowledgement = ack-nhfb,
27187 …s such as hashing (pp.506--568), search tree construction(pp.406--505), and some notes on disk per…
27188 …descriptor = "Algorithmus, B-baum, Baum, Binaer-baum, Gestreute Speicherung, Hash-verfahren, Mis…
27193 … der Universit{\"a}t M{\"u}nster}. ({English} title: Implementation of a One-Step Compiler for the…
27202 acknowledgement = ack-nhfb,
27209 publisher = pub-SUCSLI,
27210 address = pub-SUCSLI:adr,
27213 ISBN = "0-937073-80-6 (paperback), 0-937073-81-4 (hardcover)",
27219 acknowledgement = ack-nhfb,