Journal: Communications of the ACM

Volume 31, Issue 9

1048 -- 1063James H. Fetzer. Program Verification: The Very Idea
1064 -- 1079John M. Carroll, Amy P. Aaronson. Learning by Doing with Simulated Intelligent Help
1080 -- 1089Wilfred J. Hansen, Christina Haas. Reading and Writing with Computers: A Framework for Explaining Differences in Performance
1090 -- 1097Surya B. Yadav, Ralph R. Bravoco, Akemi T. Chatfield, T. M. Rajkumar. Comparison of Analysis Techniques for Information Requirement Determination
1098 -- 1115Alan M. Davis. A Comparison of Techniques for the Specification of External System Behavior
1116 -- 1127Alok Aggarwal, Jeffrey Scott Vitter. The Input/Output Complexity of Sorting and Related Problems
1128 -- 1138Robert Courts. Improving Locality of Reference in a Garbage-Collecting Memory Management System

Volume 31, Issue 8

948 -- 951Edward A. Fox. ACM Press Database and Electronic Products - New Services for the Information Age
956 -- 964Judith 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
977 -- 982Norman P. Archer, M. W. L. Chan, S. J. Huang, R. T. Liu. A Chinese-English Microcomputer System
984 -- 991David Gries, Dorothy Marsh. The 1986-1987 Taulbee Survey
992 -- 995Monty Newborn, Danny Kopec. Results of ACM s Eighteenth Computer Chess Championship
996 -- 1007Douglas W. Jones. Application of Splay Trees to Data Compression
1008 -- 1013Dilip V. Sarwate. Computation of Cyclic Redundancy Checks via Table Look-Up
1014 -- 1017Larry Press. Benchmarks for LAN Performance Evaluation

Volume 31, Issue 7

816 -- 819John B. Smith, Stephen F. Weiss. Hypertext: Introduction to the Special Issue
820 -- 835Robert M. Akscyn, Donald L. McCracken, Elise A. Yoder. KMS: A Distributed Hypermedia System for Managing Knowledge in Organizations
836 -- 852Frank G. Halasz. Reflections on NoteCards: Seven Issues for the Next Generation of Hypermedia Systems
856 -- 861Brad Campbell, Joseph M. Goodman. HAM: A General Purpose Hypertext Abstract Machine
862 -- 870Pankaj K. Garg. Abstraction Mechanisms in Hypertext
871 -- 879Darrell R. Raymond, Frank Wm. Tompa. Hypertext and the Oxford English Dictionary
880 -- 886Mark E. Frisse. Searching for Information in a Hypertext Medical Handbook
887 -- 895Andries van Dam. Hypertext 87: Keynote Address
896 -- 910Jason L. Frand, Ephraim R. McLean, Julia A. Britt. Fourth Annual UCLA Survey of Business School Computer Usage
912 -- 917James L. Poirot, Harriet G. Taylor, Cathleen A. Norris. Retraining Teachers to Teach High School Computer Science

Volume 31, Issue 6

628 -- 629Paul W. Abrahams. The Strategic Defense Initiative - President s Letter
638 -- 646Bartlett 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
648 -- 661Michael J. Callahan, David Hoffman, James T. Hoffman. Computer Graphics Tools for the Study of Minimal Surfaces
662 -- 667Richard G. Hamlet. Special Section on Software Testing
668 -- 675Elaine J. Weyuker. The Evaluation of Program-Based Software Test Data Adequacy Criteria
676 -- 686Thomas J. Ostrand, Marc J. Balcer. The Category-Partition Method for Specifying and Generating Functional Tests
687 -- 695David Gelperin, Bill Hetzel. The Growth of Software Testing
696 -- 702Scott B. Guthery. Self-Timing Programs and the Quantum Scheduler
704 -- 718Daniel R. Dolk. Model Management and Structured Modeling: The Role of an Information Resource Dictionary System
719 -- 741Karen Appleby, Mats Carlsson, Seif Haridi, Dan Sahlin. Garbage Collection for Prolog Based on WAM
742 -- 0Pierre L Ecuyer. Efficient and Portable Combined Random Number Generators
752 -- 763Sukhamay Kundu. The Equivalence of the Subregion Representation and the Wall Representation for a Certain Class of Rectangular Dissections
764 -- 774Sirkka L. Jarvenpaa, Gary W. Dickson. Graphics and Managerial Decision Making: Research Based Guidlines

Volume 31, Issue 5

484 -- 497Clifford Stoll. Stalking the Wily Hacker
498 -- 512Roger A. Clarke. Information Technology and Dataveillance
514 -- 530David Harel. On Visual Formalisms
532 -- 533John L. Gustafson. Reevaluating Amdahl s Law
534 -- 541James M. Cupello, David J. Mishelevich. Managing Prototype Knowledge/Expert System Projects
542 -- 550Sid L. Huff, Malcolm Munro, Barbara H. Martin. Growth Stages of End User Computing
552 -- 561Suzanne Rivard, Sid L. Huff. Factors of Success for End-User Computing
562 -- 570Narayan S. Umanath, Richard W. Scamell. An Experimental Evaluation of the Impact of Data Display Format on Recall Performance
572 -- 578Andrew W. Appel, Guy J. Jacobson. The World s Fastest Scrabble Program
579 -- 585Thomas E. Gerasch. An Insertion Algorithm for a Minimal Internal Path Length Binary Search Tree
586 -- 594Michael J. Ginzberg, Jack J. Baroudi. MIS Careers - A Theoretical Perspective

Volume 31, Issue 4

382 -- 401Robert E. Filman. Reasoning with Worlds and Truth Maintenance in a Knowledge-Based Programming Environment
402 -- 412Christopher Cherniak. Undebuggability and Cognitive Science
414 -- 427Michael R. Blaha, William J. Premerlani, James E. Rumbaugh. Relational Database Design Using an Object-Oriented Methodology
428 -- 439Marilyn M. Mantei, Toby J. Teorey. Cost/Benefit Analysis for Incorporating Human Factors in the Software Lifecycle
440 -- 445Bennett L. Fox, Peter W. Glynn. Computing Poisson Probabilities
446 -- 457Per-Åke Larson. Dynamic Hash Tables

Volume 31, Issue 3

249 -- 0Abraham Peled. Introduction: Turing Award Lecture (on behalf of John Cocke)
250 -- 253John Cocke. The Search for Performance in Scientific Processors (Turing Award Lecture)
255 -- 257Alan Shaw. Special Section on Operating Systems - Introduction
258 -- 273David Notkin, Andrew P. Black, Edward D. Lazowska, Henry M. Levy, Jan Sanislo, John Zahorjan. Interconnecting Heterogeneous Computer Systems
274 -- 287Stuart R. Faulk, David Lorge Parnas. On Synchronization in Hard-Real-Time Systems
288 -- 298David K. Gifford, Roger M. Needham, Michael D. Schroeder. The Cedar System
300 -- 312Barbara Liskov. Distributed Programming in Argus
314 -- 333David R. Cheriton. The V Distributed System
334 -- 341John C. Munson. Self-Assessment Procedure XVIII: A Self-Assessment Procedure Dealing with the Fundamentals of Data Communications
342 -- 347Jan L. Guynes. Impact of System Response Time on State Anxiety
348 -- 352Bing-Chao Huang, Michael A. Langston. Practical In-Place Merging

Volume 31, Issue 2

110 -- 121Karen A. Frenkel. The Art and Science of Visualizing Data
122 -- 129Donald P. Greenberg. Coons Award Lecture
130 -- 134Paul S. Heckbert. Ray Tracing Jell-0 Brand Gelatin
136 -- 151Clifford A. Pickover. Pattern Formation and Chaos in Networks
152 -- 169Stephen I. Gallant. Connectionist Expert Systems
170 -- 187Jerome A. Feldman, Mark A. Fanty, Nigel H. Goddard, Kenton J. Lynne. Computing with Structured Connectionist Networks
188 -- 200Brian A. Nejmeh. Npath: A Measure of Execution Path Complexity and Its Applications
202 -- 215Gerard Salton, Chris Buckley. Parallel Text Search Methods
216 -- 222Voratas Kachitvichyanukul, Bruce W. Schmeiser. Binomial Random Variate Generation

Volume 31, Issue 12

1376 -- 1385Christopher J. Van Wyk, Eric Hamilton, Don Colner. Expanding Generalized Regular Expressions
1410 -- 1423Richard C. Holt, James R. Cordy. The Turing Programming Language
1424 -- 1437Tore Risch, René Reboh, Peter E. Hart, Richard O. Duda. A Functional Approach to Integrating Database and Expert Systems
1438 -- 1454Starr Roxanne Hiltz. Productivity Enhancement from Computer-Mediated Communication: A System Contingency Approach
1456 -- 1466Feng-Yan Kuo, Jahangir Karimi. User Interface Design from a Real Time Perspective
1467 -- 1473Niv Ahituv, Magid Igbaria. A Model for Predicting and Evaluating Computer Resource Consumption
1474 -- 1482Gautam Mitra, Mehrdad Tamiz, Joseph Yadegar. Experimental Investigation of an Interior Search Method Within a Simplex Framework
1483 -- 1502Michael Lebowitz. The Use of Memory in Text Processing

Volume 31, Issue 11

1256 -- 1258Ben Shneiderman, John M. Carroll. Ecological Studies of Professional Programmers (Introduction to the Special Section)
1259 -- 1267Elliot Soloway, Jeannine Pinto, Stanley Letovsky, David Littman, Robin Lampert. Designing Documentation to Compensate for Delocalized Plans
1268 -- 1287Bill Curtis, Herb Krasner, Neil Iscoe. A Field Study of the Software Design Process for Large Systems
1288 -- 1298Mary Beth Rosson, Susanne Maaß, Wendy A. Kellogg. The Designer As User: Building Requirements for Design Tools From Design Practice
1300 -- 1313Udi Manber. Using Induction to Design Algorithms
1314 -- 1324Paul C. K. Kwok. A Thinning Algorithm by Contour Generation
1326 -- 1329Clifford A. Pickover. A Note on Chaos and Halley s Method
1330 -- 1337Joachim H. Ahrens, Ulrich Dieter. Efficient Table-Free Sampling Methods for the Exponential, Cauchy, and Normal Distributions
1338 -- 1342Alon Itai, Yoav Raz. The Number of Buffers Required for Sequential Processing of a Disk File
1343 -- 1354James R. Driscoll, Harold N. Gabow, Ruth Shrairman, Robert Endre Tarjan. Relaxed Heaps: An Alternative to Fibonacci Heaps with Applications to Parallel Computation

Volume 31, Issue 10

1176 -- 1183Karen A. Frenkel. Computers and Elections
1184 -- 1191Roy G. Saltman. Accuracy, Integrity and Security in Computerized Vote-Tallying
1192 -- 1201Stephen K. Park, Keith W. Miller. Random Number Generators: Good Ones Are Hard to Find
1202 -- 1206James E. Smith. Characterizing Computer Performance with a Single Number
1208 -- 1218Michael D. Gordon. Probabilistic and Genetic Algorithms in Document Retrieval
1220 -- 1227Randy Brown. Calendar Queues: A Fast 0(1) Priority Queue Implementation for the Simulation Event Set Problem
1228 -- 1232David Rubinstein, Jeffrey Shallit, Mario Szegedy. A Subset Coloring Algorithm and Its Applications to Computer Graphics

Volume 31, Issue 1

10 -- 25Graem A. Ringwood. Parlog86 and the Dining Logicans
26 -- 36Jacques Cohen. A View of the Origins and Development of Prolog
38 -- 43Robert A. Kowalski. The Early Years of Logic Programming
44 -- 55Judy Kay, Piers Lauder. A Fair Share Scheduler
56 -- 66Jack W. Stott, Jeffrey E. Kottemann. Anatomy of a Compact User Interface Development Tool
68 -- 77Ron Weber. Computer Technology and Jobs: An Impact Assessment Model
78 -- 83Yehuda Kahane, Seev Neumann, Charles S. Tapiero. Computer Backup Pools, Disaster Recovery, and Default Risk