Communications of the ACM (CACM), Volume 31, 1988

Volume 31, Number 1, January 1988

• Graem A. Ringwood: Parlog86 and the Dining Logicans. 10-25 BibTeX
• Jacques Cohen: A View of the Origins and Development of Prolog. 26-36 BibTeX
• Robert A. Kowalski: The Early Years of Logic Programming. 38-43 BibTeX

• Judy Kay, Piers Lauder: A Fair Share Scheduler. 44-55 BibTeX
• Jack W. Stott, Jeffrey E. Kottemann: Anatomy of a Compact User Interface Development Tool. 56-66 BibTeX

• Ron Weber: Computer Technology and Jobs: An Impact Assessment Model. 68-77 BibTeX
• Yehuda Kahane, Seev Neumann, Charles S. Tapiero: Computer Backup Pools, Disaster Recovery, and Default Risk. 78-83 BibTeX

Volume 31, Number 2, February 1988

• Karen A. Frenkel: The Art and Science of Visualizing Data. 110-121 BibTeX
• Donald P. Greenberg: Coons Award Lecture. 122-129 BibTeX , 151
• Paul S. Heckbert: Ray Tracing Jell-0 Brand Gelatin. 130-134 BibTeX
• Clifford A. Pickover: Pattern Formation and Chaos in Networks. 136-151 BibTeX
• Stephen I. Gallant: Connectionist Expert Systems. 152-169 BibTeX
• Jerome A. Feldman, Mark A. Fanty, Nigel H. Goddard, Kenton J. Lynne: Computing with Structured Connectionist Networks. 170-187 BibTeX

• Brian A. Nejmeh: Npath: A Measure of Execution Path Complexity and Its Applications. 188-200 BibTeX , Corrigendum: CACM 31(5): 550 (1988)
• Gerard Salton, Chris Buckley: Parallel Text Search Methods. 202-215 BibTeX

• Voratas Kachitvichyanukul, Bruce W. Schmeiser: Binomial Random Variate Generation. 216-222 BibTeX

Volume 31, Number 3, March 1988

• Abraham Peled: Introduction: Turing Award Lecture (on behalf of John Cocke). 249 BibTeX
• John Cocke: The Search for Performance in Scientific Processors (Turing Award Lecture). 250-253 BibTeX

• Alan Shaw: Special Section on Operating Systems - Introduction. 255-257 BibTeX
• David Notkin, Andrew P. Black, Edward D. Lazowska, Henry M. Levy, Jan Sanislo, John Zahorjan: Interconnecting Heterogeneous Computer Systems. 258-273 BibTeX
• Stuart R. Faulk, David Lorge Parnas: On Synchronization in Hard-Real-Time Systems. 274-287 BibTeX
• David K. Gifford, Roger M. Needham, Michael D. Schroeder: The Cedar System. 288-298 BibTeX
• Barbara Liskov: Distributed Programming in Argus. 300-312 BibTeX
• David R. Cheriton: The V Distributed System. 314-333 BibTeX

• John C. Munson: Self-Assessment Procedure XVIII: A Self-Assessment Procedure Dealing with the Fundamentals of Data Communications. 334-341 BibTeX

• Jan L. Guynes: Impact of System Response Time on State Anxiety. 342-347 BibTeX
• Bing-Chao Huang, Michael A. Langston: Practical In-Place Merging. 348-352 BibTeX

Volume 31, Number 4, April 1988

• Robert E. Filman: Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment. 382-401 BibTeX
• Christopher Cherniak: Undebuggability and Cognitive Science. 402-412 BibTeX

• Michael R. Blaha, William J. Premerlani, James E. Rumbaugh:
  Relational Database Design Using an Object-Oriented Methodology. 414-427
  Electronic Edition BibTeX
• Marilyn M. Mantei, Toby J. Teorey: Cost/Benefit Analysis for Incorporating Human Factors in the Software Lifecycle. 428-439 BibTeX

• Bennett L. Fox, Peter W. Glynn: Computing Poisson Probabilities. 440-445 BibTeX
• Per-Åke Larson:
  Dynamic Hash Tables. 446-457
  Electronic Edition BibTeX

Volume 31, Number 5, May 1988

• Clifford Stoll: Stalking the Wily Hacker. 484-497 BibTeX
• Roger A. Clarke: Information Technology and Dataveillance. 498-512 BibTeX
• David Harel: On Visual Formalisms. 514-530 BibTeX

• John L. Gustafson: Reevaluating Amdahl's Law. 532-533 BibTeX

• James M. Cupello, David J. Mishelevich: Managing Prototype Knowledge/Expert System Projects. 534-541 BibTeX , 550
• Sid L. Huff, Malcolm Munro, Barbara H. Martin: Growth Stages of End User Computing. 542-550 BibTeX

• Suzanne Rivard, Sid L. Huff: Factors of Success for End-User Computing. 552-561 BibTeX
• Narayan S. Umanath, Richard W. Scamell: An Experimental Evaluation of the Impact of Data Display Format on Recall Performance. 562-570 BibTeX
• Andrew W. Appel, Guy J. Jacobson: The World's Fastest Scrabble Program. 572-578 BibTeX
• Thomas E. Gerasch: An Insertion Algorithm for a Minimal Internal Path Length Binary Search Tree. 579-585 BibTeX
• Michael J. Ginzberg, Jack J. Baroudi: MIS Careers - A Theoretical Perspective. 586-594 BibTeX

Volume 31, Number 6, June 1988

• Paul W. Abrahams: The Strategic Defense Initiative - President's Letter. 628-629 BibTeX

• Bartlett W. Mel, Stephen M. Omohundro, Arch D. Robison, Steven Skiena, Kurt H. Thearling, Luke T. Young, Stephen Wolfram: Tablet: Personal Computer in the Year 2000. 638-646 BibTeX
• Michael J. Callahan, David Hoffman, James T. Hoffman: Computer Graphics Tools for the Study of Minimal Surfaces. 648-661 BibTeX

• Richard G. Hamlet: Special Section on Software Testing. 662-667 BibTeX
• Elaine J. Weyuker: The Evaluation of Program-Based Software Test Data Adequacy Criteria. 668-675 BibTeX
• Thomas J. Ostrand, Marc J. Balcer: The Category-Partition Method for Specifying and Generating Functional Tests. 676-686 BibTeX
• David Gelperin, Bill Hetzel: The Growth of Software Testing. 687-695 BibTeX

• Scott B. Guthery: Self-Timing Programs and the Quantum Scheduler. 696-702 BibTeX

• Daniel R. Dolk: Model Management and Structured Modeling: The Role of an Information Resource Dictionary System. 704-718 BibTeX
• Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin: Garbage Collection for Prolog Based on WAM. 719-741 BibTeX
• Pierre L'Ecuyer: Efficient and Portable Combined Random Number Generators. 742-749, 774 BibTeX
• Sukhamay Kundu: The Equivalence of the Subregion Representation and the Wall Representation for a Certain Class of Rectangular Dissections. 752-763 BibTeX
• Sirkka L. Jarvenpaa, Gary W. Dickson: Graphics and Managerial Decision Making: Research Based Guidlines. 764-774 BibTeX

Volume 31, Number 7, July 1988

• John B. Smith, Stephen F. Weiss: Hypertext: Introduction to the Special Issue. 816-819 BibTeX
• Robert M. Akscyn, Donald L. McCracken, Elise A. Yoder: KMS: A Distributed Hypermedia System for Managing Knowledge in Organizations. 820-835 BibTeX
• Frank G. Halasz: Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems. 836-852 BibTeX
• Brad Campbell, Joseph M. Goodman: HAM: A General Purpose Hypertext Abstract Machine. 856-861 BibTeX
• Pankaj K. Garg: Abstraction Mechanisms in Hypertext. 862-870 BibTeX
• Darrell R. Raymond, Frank Wm. Tompa: Hypertext and the Oxford English Dictionary. 871-879 BibTeX
• Mark E. Frisse: Searching for Information in a Hypertext Medical Handbook. 880-886 BibTeX
• Andries van Dam: Hypertext '87: Keynote Address. 887-895 BibTeX

• Jason L. Frand, Ephraim R. McLean, Julia A. Britt: Fourth Annual UCLA Survey of Business School Computer Usage. 896-910 BibTeX
• James L. Poirot, Harriet G. Taylor, Cathleen A. Norris: Retraining Teachers to Teach High School Computer Science. 912-917 BibTeX

Volume 31, Number 8, August 1988

• Edward A. Fox: ACM Press Database and Electronic Products - New Services for the Information Age. 948-951 BibTeX

• Judith D. Wilson, Elizabeth S. Adams, Helene P. Baouendi, William A. Marion, Gayle J. Yaverbaum: Computer Science Education in the People's Republic of China in the late 1980s. 956-964 BibTeX
• Shui F. Lam: An Empirical Study of Computer Capacity Planning in Japan. 965-976 BibTeX
• Norman P. Archer, M. W. L. Chan, S. J. Huang, R. T. Liu: A Chinese-English Microcomputer System. 977-982 BibTeX

• David Gries, Dorothy Marsh: The 1986-1987 Taulbee Survey. 984-991 BibTeX
• Monty Newborn, Danny Kopec: Results of ACM's Eighteenth Computer Chess Championship. 992-995 BibTeX

• Douglas W. Jones: Application of Splay Trees to Data Compression. 996-1007 BibTeX
• Dilip V. Sarwate: Computation of Cyclic Redundancy Checks via Table Look-Up. 1008-1013 BibTeX
• Larry Press: Benchmarks for LAN Performance Evaluation. 1014-1017 BibTeX

Volume 31, Number 9, September 1988

• James H. Fetzer: Program Verification: The Very Idea. 1048-1063 BibTeX
• John M. Carroll, Amy P. Aaronson: Learning by Doing with Simulated Intelligent Help. 1064-1079 BibTeX
• Wilfred J. Hansen, Christina Haas: Reading and Writing with Computers: A Framework for Explaining Differences in Performance. 1080-1089 BibTeX

• Surya B. Yadav, Ralph R. Bravoco, Akemi T. Chatfield, T. M. Rajkumar: Comparison of Analysis Techniques for Information Requirement Determination. 1090-1097 BibTeX
• Alan M. Davis: A Comparison of Techniques for the Specification of External System Behavior. 1098-1115 BibTeX

• Alok Aggarwal, Jeffrey Scott Vitter:
  The Input/Output Complexity of Sorting and Related Problems. 1116-1127
  Electronic Edition BibTeX
• Robert Courts: Improving Locality of Reference in a Garbage-Collecting Memory Management System. 1128-1138 BibTeX

Volume 31, Number 10, October 1988

• Karen A. Frenkel: Computers and Elections. 1176-1183 BibTeX
• Roy G. Saltman: Accuracy, Integrity and Security in Computerized Vote-Tallying. 1184-1191 BibTeX , 1218

• Stephen K. Park, Keith W. Miller: Random Number Generators: Good Ones Are Hard to Find. 1192-1201 BibTeX
• James E. Smith: Characterizing Computer Performance with a Single Number. 1202-1206 BibTeX
• Michael D. Gordon: Probabilistic and Genetic Algorithms in Document Retrieval. 1208-1218 BibTeX

• Randy Brown: Calendar Queues: A Fast 0(1) Priority Queue Implementation for the Simulation Event Set Problem. 1220-1227 BibTeX
• David Rubinstein, Jeffrey Shallit, Mario Szegedy: A Subset Coloring Algorithm and Its Applications to Computer Graphics. 1228-1232 BibTeX

Volume 31, Number 11, November 1988

• Ben Shneiderman, John M. Carroll: Ecological Studies of Professional Programmers (Introduction to the Special Section). 1256-1258 BibTeX
• Elliot Soloway, Jeannine Pinto, Stanley Letovsky, David Littman, Robin Lampert: Designing Documentation to Compensate for Delocalized Plans. 1259-1267 BibTeX
• Bill Curtis, Herb Krasner, Neil Iscoe: A Field Study of the Software Design Process for Large Systems. 1268-1287 BibTeX
• Mary Beth Rosson, Susanne Maaß, Wendy A. Kellogg: The Designer As User: Building Requirements for Design Tools From Design Practice. 1288-1298 BibTeX

• Udi Manber: Using Induction to Design Algorithms. 1300-1313 BibTeX
• Paul C. K. Kwok: A Thinning Algorithm by Contour Generation. 1314-1324 BibTeX

• Clifford A. Pickover: A Note on Chaos and Halley's Method. 1326-1329 BibTeX

• Joachim H. Ahrens, Ulrich Dieter: Efficient Table-Free Sampling Methods for the Exponential, Cauchy, and Normal Distributions. 1330-1337 BibTeX
• Alon Itai, Yoav Raz: The Number of Buffers Required for Sequential Processing of a Disk File. 1338-1342 BibTeX
• James R. Driscoll, Harold N. Gabow, Ruth Shrairman, Robert Endre Tarjan: Relaxed Heaps: An Alternative to Fibonacci Heaps with Applications to Parallel Computation. 1343-1354 BibTeX

Volume 31, Number 12, December 1988

• Christopher J. Van Wyk, Eric Hamilton, Don Colner: Expanding Generalized Regular Expressions. 1376-1385 BibTeX

• Richard C. Holt, James R. Cordy: The Turing Programming Language. 1410-1423 BibTeX
• Tore Risch, René Reboh, Peter E. Hart, Richard O. Duda:
  A Functional Approach to Integrating Database and Expert Systems. 1424-1437
  Electronic Edition BibTeX
• Starr Roxanne Hiltz: Productivity Enhancement from Computer-Mediated Communication: A System Contingency Approach. 1438-1454 BibTeX

• Feng-Yan Kuo, Jahangir Karimi: User Interface Design from a Real Time Perspective. 1456-1466 BibTeX
• Niv Ahituv, Magid Igbaria: A Model for Predicting and Evaluating Computer Resource Consumption. 1467-1473 BibTeX

• Gautam Mitra, Mehrdad Tamiz, Joseph Yadegar: Experimental Investigation of an Interior Search Method Within a Simplex Framework. 1474-1482 BibTeX
• Michael Lebowitz: The Use of Memory in Text Processing. 1483-1502 BibTeX