A Protection Model and Its Implementation in a Dataflow System.
A Program Testing Assistant.
Pracniques: Designing Computer System Messages.
Algorithms for Computing the Volume and Other Integral Properties of Solids. II. A Family of Algorithms Based on Representation Conversion and Cellular Approximation.
U.S. Computer Export Control Policies: Value Conflicts and Policy Choices.
Algorithms for Computing the Volume and Other Integral Properties of Solids. I. Known Methods and Open Issues.
Efficient Parallel Algorithms for Some Graph Problems.
Designing a Bloom Filter for Differential File Access.
File Archival Techniques Using Data Compression.