Lines Matching full:and
51 I. D. Hill and
68 N. Wirth On Multiprogramming, Machine Coding, and
81 structures based on connectivity and
83 Walter Gautschi and
87 A. P. Mullery and
106 R. Griffin and
120 David K. Hsiao and
123 E. von Glaserfeld and
135 D. N. Ness and
136 R. S. Green and
137 W. A. Martin and
140 M. F. Robbins and
157 R. R. Fenichel and
158 J. Weizenbaum and
160 J. R. Slagle and
163 A. Batson and
164 Shy-Ming M. Ju and
171 Robert M. Schwarcz and
172 John F. Burger and
175 A. F. Cardenas and
178 M. J. Levine and
187 D. K. Hsiao and
194 A. J. DeSalvio and
195 J. G. Purdy and
196 J. Rau Creation and Control of Internal Data
200 Rudolf Bayer and
204 J. E. Pomeranz and
212 W. F. Heess, Jr. Comments on a paper by Wallace and Mason 264--265
220 Machine Coding, and Computer
231 W. E. Sasser and
232 D. S. Burdick and
233 D. A. Graham and
240 and the Reference Concept . . . . . . . 308--319
241 S. Crespi-Reghizzi and
243 S. Laflin and
254 C. R. Muthukrishnan and
274 G. W. Stewart ACM Algorithm 384: Eigenvalues and
280 J. P. Chandler and
295 E. G. Coffman, Jr. and
297 Gordon H. Bradley Algorithm and Bound for the Greatest
303 Divisor of $n$ Integers and Multipliers 447--448
304 K. Sattley and
316 G. Nagy and
321 B. S. Brawn and
322 F. G. Gustavson and
324 J. H. Saltzer and
326 J. D. Ichbiah and
331 and Linear Search . . . . . . . . . . . 509--510
332 H. Hubner and
333 H. Kremer and
334 K. O. Linn and
336 H. Hubner and
337 H. Kremer and
338 K. O. Linn and
341 H. Hubner and
342 H. Kremer and
343 K. O. Linn and
358 G. Bracchi and
364 Cleve B. Moler and
374 Robert R. Smith and
381 Leslie Lamport and
392 J. Earley and
398 S. K. Chang and
415 P. LaFata and
421 K. Conrow and
424 James R. Bell and
432 interchange (9 track-200 and 800 CPI,
433 NRZI and 1600 CPI, P.E.) . . . . . . . . 686--692
450 M. V. Mathews and
451 F. R. Moore GROOVE-A program to compose, store, and
455 C. Betourne and
456 J. Boulenger and
457 J. Ferrie and
458 C. Kaiser and
459 S. Krakowiak and
460 J. Mossiere Process management and resource sharing
470 and Eigenvectors of a Real Symmetric
472 E. A. Fuchs and
476 C. C. Pinter On decomposing a Boolean function and
479 Robert A. Wagner Finiteness Assumptions and Intellectual
485 E. Lowry and
487 Carl Hammer Signature Simulation and Certain
492 G. Bracchi and
495 R. A. Broucke Construction of rational and negative
503 M. W. Coleman and
506 C. W. Lucas, Jr. and
523 A. J. Bernstein and
528 J. R. Slagle and
533 J. R. Slagle and
537 J. Rokne and
539 A. M. Dell and
540 R. L. Weil and
549 Z. Manna and
569 V. Y. Lum and
570 P. S. T. Yuen and
574 A. B. Tucker and
576 Organization and Programming . . . . . . 240--250
577 P. A. Talbot and
578 J. W. Carr and
579 R. R. Coulter, Jr. and
582 M. L. Stein and
590 T. William Olle (Chairman) and
595 P. Krolak and
596 W. Felts and
617 W. E. Bosarge, Jr. and
630 J. L. McKenney and
635 Terrence W. Pratt and
637 Processing, and Its Formal Semantics . . 460--467 (or 461--467??)
638 Keith Paton An algorithm for the blocks and cut
641 C. V. Ramamoorthy and
644 D. G. McVitie and
646 D. G. McVitie and
655 symbolic and algebraic manipulation . . ??
666 D. Barton and
667 J. P. Fitch General relativity and the application
676 Sadahiro Isoda and
677 Eiichi Goto and
682 blocks and cutnodes of a graph'' . . . . 592--592
683 Eugene Wong and
692 Ivan Flores and
705 A. E. Oldehoeft and
710 A. G. Nemeth and
713 P. J. Courtois and
714 F. Heymans and
715 D. L. Parnas Concurrent Control with `Readers' and
717 J. N. Lyness and
718 G. Sande ACM Algorithm 413: ENTCAF and ENTCRE:
726 P. Branquart and
727 J. Lewi and
728 M. Sintzoff and
731 past recommendations, status, and needs 709--712
733 I. Aramaki and
734 T. Kawabata and
737 G. H. Golub and
745 R. Gordon and
748 E. L. Amidon and
755 W. A. Wulf and
756 D. B. Russell and
761 J. W. Blumberg and
765 Interpolation Formulas and Mechanical
767 Fran\ccois Bourgeois and
771 F. Bourgeois and
785 A. V. Aho and
786 P. J. Denning and
792 S. C. Johnson and
798 R. H. Bartels and
805 A. M. Lesk Pictorial pattern recognition and the
808 R. O. Duda and
810 detect lines and curves in pictures . . 11--15
811 E. T. Irons and
817 G. I. McCalla and
834 W. A. Martin and
837 A. E. Oldehoeft and
838 M. H. Halstead Maximum computing power and cost factors
840 M. A. Jenkins and
845 J. A. Moorer Music and computer composition . . . . . 104--113
846 Ivan Flores and
849 Richard Gordon and
858 D. G. Bobrow and
859 J. D. Burchfiel and
860 D. L. Murphy and
866 Michael D. Schroeder and
871 Toby J. Teorey and
874 E. G. Coffman, Jr. and
877 Peter J. Denning and
883 R. W. Conway and
884 W. L. Maxwell and
889 N. M. Herbst and
891 recognition and signal processing . . . 231--244
896 E. Horowitz and
897 H. L. Morgan and
898 A. C. Shaw Computers and Society: A Proposed Course
902 C. B. Moler Matrix Computations with Fortran and
918 A. Bensoussan and
919 C. T. Clingen and
920 R. C. Daley The Multics Virtual Memory: Concepts and
927 I. Methodology and experience . . . . . 337--342
930 D. Greenspan and
938 R. L. Hurst and
955 J. Blatny and
956 S. R. Clark and
961 P. Gilbert and
973 I. Pohl A Sorting Problem and Its Complexity . . 462--464
976 H. Niessner Remark on algorithm 343 (Eigenvalues and
986 S. C. Johnson and
992 E. N. Houstis and
993 W. F. Mitchell and
1005 A. P. Ershov Aesthetics and the Human Factor in
1009 Zohar Manna and
1012 J. F. Traub Numerical Mathematics and Computer
1014 David F. Shanno and
1020 A. G. Fraser On the interface between computers and
1026 Saul Rosen Programming Systems and Languages
1028 Jean E. Sammet Programming Languages: History and
1035 J. R. Rice On the present and future of scientific
1041 directions for research and development 648--651
1042 G. M. Sturman Computers and urban society . . . . . . 652--657
1045 F. L. Bauer and
1046 H. Wossner and
1053 A. Borodin and
1054 C. C. Gotlieb Computers and employment . . . . . . . . 695--702
1060 Donald E. Knuth George Forsythe and the development of
1066 Robert E. Helbig and
1067 Patrick K. Orr and
1071 Robert F. Rosin and
1072 Gideon Frieder and
1074 Microprogramming and Emulation . . . . . 748--760
1075 P. H. Oden and
1078 H. J. Bernstein and
1084 Ronald C. Read and
1090 P. W. Purdom Jr. and
1097 K. N. Levitt and
1102 M. Mor and
1108 for Quadratic and Linear Programming
1110 R. H. Bartels and
1115 Hexagonal, and Triangular Arrays . . . . 827--837
1120 D. L. Parnas and
1121 A. N. Habermann and
1123 R. Rubinstein and
1125 K. C. Tan On Foster's Information Storage and
1134 J. H. Ahrens and
1136 Exponential and Normal Distributions . . 873--882
1138 Robert F. Simmons and
1143 W. D. Frazer and
1145 A. P. Ershov Corrigendum: ``Aesthetics and the Human
1147 H. Akima ACM Algorithm 433: Interpolation and
1166 Tables to Optimal and Near-Optimal
1170 John S. Ramberg and
1177 V. Y. Lum and
1183 Murray A. Eisenberg and
1186 S. W. Smoliar Comments on Moorer's Music and computer
1192 J. Richard Phillips and
1194 R. Bayer and
1196 Jay Earley and
1202 D. R. Barr and
1205 John Moore and
1211 Stephen Sherman and
1212 Forest Baskett, III and
1213 J. C. Browne Trace-Driven Modeling and Analysis of
1227 Peter J. Denning and
1238 Yoichi Muraoka and
1241 E. B. James and
1247 S. E. Blount and
1259 G. W. Hill and
1265 R. D. Merrill Representation of Contours and Regions
1267 S. Crespi-Reghizzi and
1268 M. A. Melkanoff and
1271 J. F. Gimpel A Theory of Discrete Patterns and Their
1277 Robert M. Graham and
1278 Gerald J. Clancy, Jr. and
1279 David B. DeVaney A software design and evaluation system 110--116
1282 F. N. Fritsch and
1283 R. E. Shafer and
1290 Richard H. Austing and
1293 Robert A. Wagner Common Phrases and Minimum-Space Text
1295 Y. Feinroth and
1296 E. Franceschini and
1301 Richard W. Conway and
1302 Thomas R. Wilcox Design and Implementation of Diagnostic
1304 H. E. Salzer Gray code and the +or-sign sequence when
1321 A. Hassitt and
1322 J. W. Lageschulte and
1326 H. Kuki and
1329 W. A. Burkhard and
1332 James P. Strong, III and
1335 Juan Rodriguez-Rosell and
1336 Jean-Pierre Dupuy The design, implementation, and
1340 L. C. Ragland and
1342 and multipliers . . . . . . . . . . . . 257--257
1351 P. J. H. King and
1353 Decision Tables and Their Conversion to
1357 D. G. Corneil and
1358 C. C. Gotlieb and
1361 Andrew Mercer and
1366 B. Holmgren and
1367 A. Kolm and
1375 permutations and adjacent transposition
1377 C. H. McMorrow Concerning music and computer
1382 Roger Fajman and
1383 John Borgelt WYLBUR, An Interactive Text Editing and
1386 Resources and Avoiding Deadlocks . . . . 323--329
1392 allocation and accounting . . . . . . . 337--342
1393 E. Gelenbe and
1394 J. C. A. Boekhorst and
1399 Harold S. Stone and
1413 J. Hopcroft and
1416 T. Beyer and
1419 J. Ferguson and
1424 Franz L. Alt and
1433 J. C. Huang A Note on Information Organization and
1435 Edward W. Kozdrowicki and
1438 Erol Gelenbe Distribution of a Program in Primary and
1441 F. Warren McFarlan and
1450 Patrick A. V. Hall Equivalence Between AND/OR Graphs and
1456 I. D. G. Macleod and
1468 David Misunas Petri Nets and Speed Independent Design 474--482 (or 474--481??)
1469 M. MacHura and
1473 C. N. Liu and
1478 J. A. Richardson and
1481 G. Andrejkova and
1491 Zohar Manna and
1492 Stephen Ness and
1495 W. W. Peterson and
1496 T. Kasami and
1498 and Exit Statements . . . . . . . . . . 503--512
1507 S. Ganapathy and
1511 Alfonso F. Cardenas Evaluation and Selection of File
1512 Organization --- A Model and a System 540--548
1516 Geoffrey W. Gates and
1520 Robert E. Barnhill and
1523 D. B. Hunter and
1527 Coen Bron and
1538 H. B. Driessen and
1547 Daniel G. Bobrow and
1548 Ben Wegbreit A Model and Stack Implementation of
1559 P. D. Robers and
1565 Paul E. Saylor and
1569 F. J. Burkowski and
1576 SCALE2, and SCALE3 for Determination of
1585 M. D. Mickunas and
1588 B. W. Jordan, Jr. and
1591 James R. Slagle and
1606 C. Lam and
1609 Peter J. Denning and
1612 Jerome A. Feldman and
1613 James R. Low and
1615 algorithm (and author's reply) . . . . . 703--703
1632 Edgar H. Sibley and
1633 Robert W. Taylor A Data Definition and Mapping Language 750--759
1637 J. G. Herriot and
1647 Michael A. Malcolm and
1650 H. Akima A method of bivariate interpolation and
1653 Norman E. Gibbs and
1658 Interpolation and Smooth Surface Fitting
1660 Ivan E. Sutherland and
1662 P. J. H. King and
1665 decision tables to flowcharts (and
1673 James B. Rothnie, Jr. and
1676 B. W. Jordan, Jr. and
1679 John S. Ramberg and
1690 K. Sreenivasan and
1693 E. Balkovich and
1694 W. Chiu and
1695 L. Presser and
1700 and Descendants . . . . . . . . . . . . 143--152
1702 N. E. Bosten and
1704 R. C. Barrett and
1710 Burnett and Coffman . . . . . . . . . . 165--166
1720 M. A. Franklin and
1725 Graham Smith and
1732 H. C. Lucas, Jr. and
1733 D. B. Montgomery and
1736 Peter Freeman and
1737 Michael A. Malcolm and
1739 Response and Rebuttal . . . . . . . . . 206--207
1740 T. D. Sterling and
1748 R. C. T. Lee and
1749 C. L. Chang and
1751 Algorithm and its Correctness . . . . . 211--217
1752 A. K. Cline Scalar- and planar-valued curve fitting
1771 Digits and Roundoff Errors . . . . . . . 269--271
1772 M. C. Wunderlich and
1775 W. M. Gentleman and
1779 D. E. Gold and
1786 Jacques Cohen and
1789 L. Henschen and
1790 Ross A. Overbeek and
1795 I. Barrodale and
1811 John Adams and
1814 W. Wulf and
1815 E. Cohen and
1816 W. Corwin and
1817 A. Jones and
1818 R. Levin and
1819 C. Pierson and
1822 Ian J. Barton and
1823 Susan E. Creasey and
1824 Michael F. Lynch and
1833 Dennis M. Ritchie and
1835 Samuel H. Fuller Minimal-Total-Processing Time Drum and
1837 J. Bruno and
1838 E. G. Coffman, Jr. and
1841 Jerome H. Saltzer Protection and the Control of
1844 Gerald J. Popek and
1851 Bruce Hahn A New Technique for Compression and
1853 Arthur Evans, Jr. and
1854 William Kantrowitz and
1858 Theodore D. Friedman and
1861 G. A. Neufeld and
1868 Decision Tables: Method and Objectives 456--462
1869 T. Lyche and
1871 Computing Smoothing and Interpolating
1875 John McKay and
1883 … $\int_0^\infty[\exp(-ct)dt/(t)^{1/2}(1+t^2)]$ and Similar Integrals 480--481
1895 Languages and Deterministic Languages 517--519
1900 Modified Bessel Functions ${K}_0(z)$ and
1902 H. D. Eidson and
1916 Kenneth K. Shen and
1919 D. R. Slutz and
1922 Ben Shneiderman and
1924 R. H. Canaday and
1925 R. D. Harrison and
1926 E. L. Ivie and
1927 J. L. Ryder and
1930 A. Charnes and
1931 W. M. Raike and
1932 J. D. Stutz and
1937 H. Koppelaar Certification and remark on algorithm
1939 L. G. Proll A computer routine for quadratic and
1941 J. Klemes and
1946 Bruce Gilchrist and
1964 J. A. Brown and
1983 Thomas L. Adam and
1984 K. M. Chandy and
1990 A. Salazar and
1993 Sherwood C. Chu and
2015 T. Sterling and
2016 V. Lum and
2017 N. Shu and
2025 F. L. Bauer Positivity and Norms . . . . . . . . . . 9--13
2027 G. Peters and
2033 Marvin Marcus and
2035 Magnus R. Hestenes Pseudoinverses and Conjugate Gradients 40--43
2037 Tien Chi Chen and
2040 Werner Liniger Connections Between Accuracy and
2043 Richard J. Hanson Stably Updating Mean and Standard
2051 G. J. Burnett and
2056 Gordon J. VanderBrug and
2057 Jack Minker State-Space, Problem-Reduction, and
2059 Carolyn Kimme and
2060 Dana Ballard and
2067 H. C. Johnston and
2070 Brian W. Kernighan and
2072 D. H. Lawrie and
2073 T. Layman and
2074 D. Baer and
2077 Robert W. Floyd and
2079 R. W. Floyd and
2083 A. M. Erisman and
2095 Jack A. Chambers and
2098 E. S. Ginsberg and
2101 K. K. Shen and
2115 Jean G. Vaucher and
2118 Robert R. Korfhage and
2119 David W. Matula On Salazar and Oakford . . . . . . . . . 240--240
2120 Michael R. Garey and
2121 David S. Johnson On Salazar and Oakford . . . . . . . . . 240--241
2128 Alfonso F. Cardenas Analysis and Performance of Inverted
2130 Yorick Wilks An intelligent analyzer and understander
2134 D. J. Evans and
2139 concerning computers and health care . . 279--280
2147 Robert R. Korfhage and
2148 David W. Matula More on the Salazar and Oakford Paper 303--303
2158 V. Y. Lum and
2159 M. E. Senko and
2160 C. P. Wang and
2163 Alan F. Babich and
2164 John Grason and
2167 Ben Cranston and
2170 Alfred V. Aho and
2177 L. H. Harper and
2178 T. H. Payne and
2179 J. E. Savage and
2183 Donald E. Knuth and
2189 P. J. Courtois Decomposability, Instabilities, and
2192 Naomi Sager and
2195 D. L. Parnas and
2199 H. Freeman and
2203 R. E. Weber and
2211 Produced by First-Fit and Best-Fit
2213 A. V. Aho and
2214 S. C. Johnson and
2217 Edsger W. Dijkstra Guarded Commands, Nondeterminacy and
2219 L. W. Cotton Remark on stably updating mean and
2221 Stuart C. Shapiro and
2226 J. G. Vaucher and
2229 A. J. Smith Comments on a paper by T. C. Chen and I.
2256 Nan C. Shu and
2257 Barron C. Housel and
2260 John Miles Smith and
2263 M. M. Astrahan and
2267 M. Reiser and
2274 G. Salton and
2275 A. Wong and
2278 Raymond F. Boyce and
2279 Donald D. Chamberlin and
2280 W. Frank King, III and
2283 Henry F. Ledgard and
2285 Susan L. Graham and
2287 James R. Bitner and
2289 Lawrence T. Kou and
2297 Languages, and Mathematics . . . . . . . 676--683
2298 John B. Goodenough Exception Handling: Issues and a
2300 Mehdi Jazayeri and
2301 William F. Ogden and
2305 Harry B. Hunt, III and
2306 Thomas G. Szymanski and
2308 Susan L. Graham and
2309 Mark Wegman A fast and usually linear algorithm for
2319 Leonard Kleinrock and
2320 William E. Naylor and
2323 Comparison of FCFS and SSTF Seek
2327 P. L. Karlton and
2328 S. H. Fuller and
2329 R. E. Scroggs and
2332 Charles R. Litecky and
2333 Gordon B. Davis Study of Errors, Error-Proneness, and
2347 to Edge and Contour Detection . . . . . 73--83
2353 Ehud Artzy and
2354 James A. Hinds and
2361 Allen Newell and
2363 Symbols and Search . . . . . . . . . . . 113--126
2364 Jair M. Babad and
2367 F. E. Allen and
2385 Shmuel Katz and
2394 Butler W. Lampson and
2397 A. N. Habermann and
2398 Lawrence Flon and
2399 Lee Cooprider Modularization and Hierarchy in a Family
2402 Susan Owicki and
2405 A. Wayne Madison and
2407 Barton G. Prieve and
2410 Wesley W. Chu and
2417 O. E. Taulbee and
2418 S. D. Conte Production and employment of Ph.D.'s in
2420 Dennis G. Severance and
2423 Forest Baskett and
2426 Gideon Frieder and
2430 Helmut Schumacher and
2443 S. D. Conte and
2450 James C. King Symbolic Execution and Program Testing 385--394
2451 Robert M. Metcalfe and
2454 Cheng-Wen Cheng and
2466 John J. Donovan Tools and Philosophy for Software
2471 Michael A. Harrison and
2472 Walter L. Ruzzo and
2480 Wesley W. Chu and
2492 James R. Bitner and
2493 Gideon Ehrlich and
2495 Reflected Gray Code and Its Applications 517--521
2496 L. Peter Deutsch and
2504 James F. Blinn and
2505 Martin E. Newell Texture and Reflection in Computer
2512 N. Burtnyk and
2516 James W. Frane The BMD and BMDP Series of Statistical
2518 C. Duong-Kien and
2519 H.-J. Hoffmann and
2523 Richard G. Montanelli, Jr. and
2524 Sandra A. Mamrak Status of Women and Minorities in
2532 Henry F. Ledgard and
2534 Thomas R. Wilcox and
2535 Alan M. Davis and
2536 Michael H. Tindall Design and Implementation of a Table
2540 K. P. Eswaran and
2541 J. N. Gray and
2542 R. A. Lorie and
2543 I. L. Traiger The notions of consistency and predicate
2545 K. Maruyama and
2556 Bruce W. Arden The Computer Science and Engineering
2558 J. F. Nunamaker, Jr. and
2559 Benn R. Konsynski, Jr. and
2560 Thomas Ho and
2561 Carl Singer Computer-Aided Analysis and Design of
2563 George Stockman and
2564 Laveen Kanal and
2574 Richard H. Austing and
2575 Bruce H. Barnes and
2578 Jair M. Babad A Record and File Partitioning Model . . 22--31 (or 22--30??)
2579 Albert L. Zobrist and
2581 A. P. Batson and
2582 R. E. Brundage Segment Sizes and Lifetimes in Algol 60
2591 Douglas W. Clark and
2594 F. P. Preparata and
2596 Two and Three Dimensions . . . . . . . . 87--93
2597 M. C. Easton and
2601 Thoddi C. T. Kotiah and
2602 David I. Steinberg Occurrences of Cycling and Other
2612 C. T. Yu and
2617 R. M. Brown and
2618 J. C. Browne and
2619 K. M. Chandy Memory Management and Response Time . . 153--165
2621 and Polygonal Lines for Rapid Processing 166--171
2622 H. B. Hunt, III and
2623 T. G. Szymanski and
2627 Israel Borovits and
2630 C. Bays A comparison of next-fit, first-fit, and
2638 James H. Morris, Jr. and
2640 Steven L. Tanimoto and
2645 K. Maruyama and
2648 Henry C. Lucas, Jr. and
2649 Jimmy A. Sutton Stage Hypothesis and the S-Curve: Some
2657 C. D. Thompson and
2660 Lawrence Robinson and
2667 R. C. Holt and
2668 D. B. Wortman and
2669 D. T. Barnard and
2674 Howard L. Morgan and
2675 K. Dan Levin Optimal Program and Data Locations in
2677 J.-L. Baer and
2680 Neil J. Stillman and
2681 P. Bruce Berra A Comparison of Hardware and Software
2690 James W. Hunt and
2697 Orrin E. Taulbee and
2698 S. D. Conte Production and Employment of Ph.D.'s in
2700 Ben Shneiderman and
2701 Richard Mayer and
2702 Don McKay and
2706 H. F. Ledgard and
2708 Moshe M. Zloof and
2711 John V. Guttag Abstract Data Types and the Development
2713 John Miles Smith and
2715 David Gries and
2718 James L. Peterson and
2724 Logical and Two's-Complement Addition
2732 Manfred Ruschitzka and
2737 Paul G. Heckel and
2739 Ben Ross Schneider, Jr. and
2744 Dorothy E. Denning and
2749 E. A. Ashcroft and
2758 Charles M. Geschke and
2759 James H. Morris, Jr. and
2761 Mary Shaw and
2762 William A. Wulf and
2763 Ralph L. London Abstraction and Verification in Alphard:
2764 Defining and Specifying Iteration and
2766 Barbara Liskov and
2767 Alan Snyder and
2768 Russell Atkinson and
2774 W. R. Franta and
2787 Dana S. Scott Logic and Programming Languages . . . . 634--641
2802 H. Fuchs and
2803 Z. M. Kedem and
2806 Sheng-Chuan C. Wu and
2807 John F. Abel and
2811 C. Montangero and
2812 G. Pacini and
2815 Wilf R. LaLonde Regular Right Part Grammars and Their
2821 Alan Jay Smith Multiprocessor Memory Organization and
2823 Robert S. Boyer and
2831 Rollins Turner and
2836 Leslie Lamport Concurrent Reading and Writing . . . . . 806--811
2839 G. C. Stockman and
2847 Zohar Manna and
2850 Michael Hammer and
2851 W. Gerry Howe and
2852 Vincent J. Kruskal and
2857 John Cocke and
2864 Michael W. Blasgen and
2865 Richard G. Casey and
2867 Sorting and Indexing . . . . . . . . . . 874--878
2868 Enrique Grapa and
2875 A. A. Lopez and
2876 R. Raymond and
2887 Marshall D. Abrams and
2890 J. N. Danziger and
2899 S. H. Lavington The Manchester Mark I and Atlas: a
2901 R. N. Ibbett and
2904 B. R. Borgerson and
2905 M. L. Hanson and
2907 Series: a History, Analysis, and
2909 C. G. Bell and
2910 A. Kotok and
2911 T. N. Hastings and
2914 Richard P. Case and
2920 S. A. Mamrak and
2922 status of minorities and women . . . . . 115--119
2923 R. L. Rivest and
2924 A. Shamir and
2926 Signatures and Public-Key Cryptosystems 120--126
2927 M. A. Auslander and
2929 L. T. Kou and
2930 L. J. Stockmeyer and
2932 Keyword Conflicts and Intersection
2934 Gerald Held and
2938 Gabor T. Herman and
2939 Arnold Lent and
2942 Zohar Manna and
2946 Bruce J. Schachter and
2956 Storage and Retrieval System in Medical
2958 William H. Dutton and
2963 S. Rao Kosaraju Insertions and Deletions in One-Sided
2965 Richard A. DeMillo and
2966 Stanley C. Eisenstat and
2968 M. A. Franklin and
2969 G. Scott Graham and
2978 W. H. Payne and
2995 S. Even and
3006 Anita K. Jones and
3012 Example and Overview . . . . . . . . . . 376--385
3013 Michael Karr and
3016 David R. Hanson and
3018 Frederick Hayes-Roth and
3021 J. M. Fleisher and
3023 Integer Programming and Their
3033 S. H. Zweben and
3036 James R. Driscoll and
3039 Jacques Cohen and
3042 M. Dennis Mickunas and
3044 B. P. Lientz and
3045 E. B. Swanson and
3050 Rob Kling Automated Welfare Client-Tracking and
3053 E. Gelenbe and
3064 Michael L. Fredman and
3070 Yehoshua Perl and
3071 Alon Itai and
3074 Constantine Halatsis and
3076 Leslie Lamport Time, Clocks, and the Ordering of Events
3083 Rahul Chattergy and
3093 and its Algebra of Programs . . . . . . 613--641
3094 R. Kling Value conflicts and social choice in
3098 F. Lockwood Morris A Time- and Space-Efficient Garbage
3101 Richard S. Brice and
3106 Peter Scheuermann and
3114 R. A. Harris and
3122 Gerald J. Popek and
3125 Peter J. Denning and
3129 and Code Walkthroughs/Inspections . . . 760--768
3130 Th. Ottmann and
3131 H. W. Six and
3146 D. Towsley and
3147 K. M. Chandy and
3149 Programs: Application to CPU:I/O and
3153 Shi-Kuo Chang and
3162 Malcolm C. Easton and
3164 W. R. Franta and
3165 Kurt Maly A comparison of heaps and the TL
3173 J. W. Wendorf A Simply Extended and Modified Batch
3175 B. Kumar and
3179 Berthold K. P. Horn and
3186 D. P. Friedman and
3190 Fabrizio Luccio and
3197 Edsger W. Dijkstra and
3198 Leslie Lamport and
3199 A. J. Martin and
3200 C. S. Scholten and
3209 Roger M. Needham and
3212 David Gries and
3215 James L. Peterson and
3216 James R. Bitner and
3218 James C. Wetherbe and
3222 M. Ibramsha and
3225 Alberto Martelli and
3228 Yogen K. Dalal and
3231 John V. Guttag and
3232 Ellis Horowitz and
3233 David R. Musser Abstract Data Types and Software
3235 Jay M. Spitzen and
3236 Karl N. Levitt and
3237 Lawrence Robinson An Example of Hierarchical Design and
3243 J. L. Bentley Multidimensional Divide-and-Conquer . . 214--228
3248 John W. Boyse Interference Detection Among Solids and
3250 Kent W. Colton The impact and use of computer
3252 Gian Carlo Bongiovanni and
3255 Charles H. Sauer and
3256 K. Mani Chandy The Impact of Distributions and
3259 J. P. Banatre and
3260 J. P. Routeau and
3263 and Program Manipulation . . . . . . . . 43--54
3268 O. E. Taulbee and
3269 S. D. Conte Production and employment of Ph.D.s in
3270 computer science --- 1977 and 1978 . . . 75--76
3273 W. E. Gull and
3275 E. Morel and
3278 M. R. Anderson and
3282 David R. Cheriton and
3283 Michael A. Malcolm and
3284 Lawrence S. Melen and
3287 David P. Reed and
3288 Rajendra K. Kanodia Synchronization with Eventcounts and
3290 Haim Mendelson and
3291 Joseph S. Pliskin and
3298 Richard H. Austing and
3299 Bruce H. Barnes and
3300 Della T. Bonnette and
3301 Gerald L. Engel and
3306 Albert D. Edgar and
3311 Amaryllis Deliyanni and
3312 Robert A. Kowalski Logic and Semantic Networks . . . . . . 184--192
3314 Information Storage and Retrieval . . . 193--207
3323 E. G. Cale and
3324 L. L. Gremillion and
3327 Giacomo Bucci and
3330 Richard J. Hanson and
3333 Transformations and Applied to LP
3341 Richard A. De Millo and
3342 Richard J. Lipton and
3343 Alan J. Perlis Social Processes and Proofs of Theorems
3344 and Programs . . . . . . . . . . . . . . 271--280
3345 Ernest Chang and
3352 Michael J. Manthey Model for and Discussion of
3361 S. N. Busenberg and
3364 Steven Alter Model for Automating File and Program
3370 R. Shapira and
3380 Patrick C. Fischer and
3384 J. H. Hine and
3385 I. Mitrani and
3393 J. W. Wong and
3399 D. S. Hirschberg and
3400 A. K. Chandra and
3403 Nachum Dershowitz and
3409 and standard deviation estimates . . . . 483--483
3414 Jerome A. Feldman and
3417 Science Foundation and Others . . . . . 497--502
3418 Daniel D. McCracken, CCP and
3419 Peter J. Denning and
3426 Kari-Jouko Raiha and
3432 G. Nagy and
3435 T. F. Chan and
3437 D. H. D. West Updating mean and variance estimates: an
3447 Ehud Gudes and
3452 M. R. Anderson and
3459 Tomas Lozano-Perez and
3469 R. Morris and
3471 Shmuel Peleg and
3474 Robert Endre Tarjan and
3482 R. H. Long Public protection and education with EFT 648--654
3485 K. L. Kraemer and
3486 K. Colton Policy, values, and EFT research:
3488 J. F. Shoch and
3529 Susan L. Graham and
3530 Mark Wegman A Fast and Usually Linear Algorithm for
3536 R. J. Brown Chromatic scheduling and the chromatic
3542 Donald E. Knuth and
3543 J. H. Morris and
3546 Software --- Practice and Experience
3549 A. L. Tharp and
3576 G. M. White and
3577 S. Goudreau and
3591 Malcolm C. Pike and
3595 and Smooth Curve Fitting Based on Local
3614 Henk Koppelaar and
3621 Esko G. Cate and
3662 $t$-Distribution'' and Remark on
3668 Interpolation and Smooth Surface Fitting
3675 In-Situ Transposition [F1]'' and Remark
3678 A. C. M. van Swieten and
3685 U. Harms and
3686 H. Kollakowski and
3697 I. D. Hill and