External Links

Journal: Communications of the ACM

Volume 19, Issue 7

369 -- 370Samuel D. Conte, Maurice H. Halstead. The Technology of Computer Center Management: A Proposed Course for Graduate Professional Programs in Computer Science or in Information Systems
371 -- 384Robert M. Keller. Formal Verification of Parallel Programs
385 -- 394James C. King. Symbolic Execution and Program Testing
395 -- 404Robert Metcalfe, David Boggs. Ethernet: Distributed Packet Switching for Local Computer Networks
404 -- 406Cheng-Wen Cheng, Jonas Rabin. Synthesis of Decision Rules
407 -- 409George S. Fishman. Sampling from the Gamma Distribution on a Computer
409 -- 415Kurt Maly. Compressed Tries
416 -- 417Warren Burton. A Buddy System Variation for Disk Storage Allocation
417 -- 418Gaston H. Gonnet. Heaps Applied to Event Driven Mechanisms
runs on