External Links

Journal: Communications of the ACM

Volume 21, Issue 9

715 -- 717R. A. Harris, J. D. Zund. An Algorithm Using Symbolic Techniques for the Bel-Petrov Classification of Gravitational Fields
718 -- 723Herbert D. Schwetman. Hybrid Simulation Models of Computer Systems
724 -- 736Jeffrey M. Barth. A Practical Interprocedural Data Flow Analysis Algorithm
737 -- 749Gerald J. Popek, David A. Farber. A Model for Verification of Data Security in Operating Systems
750 -- 759Peter J. Denning, Donald R. Slutz. Generalized Working Sets for Segment Reference Strings
760 -- 768Glenford J. Myers. A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections
769 -- 776Thomas Ottmann, Hans-Werner Six, Derick Wood. Right Brother Trees
777 -- 785Ernst G. Ulrich. Event Manipulation for Discrete Simulations Requiring Large Numbers of Events
786 -- 787Kurt Maly. A Note on Virtual Memory Indexes
788 -- 790Stephen A. Ward. Real Time Plotting of Approximate Contour Maps
790 -- 791Aaron M. Tenenbaum. Simulations of Dynamic Sequential Search Algorithms
runs on