Near-perfect Hashing of Large Word Sets.
A Parallel Version of Cook and Kim's Algorithm for Presorted Lists.
Automated Software Management Based on Structural Models.
TGMS: An Object-oriented System for Programming Geometry.
Microcomputers vs. Mainframe Simulations: a Case Study.