An Algorithm Using Symbolic Techniques for the Bel-Petrov Classification of Gravitational Fields.
Hybrid Simulation Models of Computer Systems.
Simulations of Dynamic Sequential Search Algorithms.
A Practical Interprocedural Data Flow Analysis Algorithm.
Generalized Working Sets for Segment Reference Strings.
A Model for Verification of Data Security in Operating Systems.
Event Manipulation for Discrete Simulations Requiring Large Numbers of Events.
Real Time Plotting of Approximate Contour Maps.
Right Brother Trees.
A Note on Virtual Memory Indexes.
A Controlled Experiment in Program Testing and Code Walkthroughs/Inspections.